Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version
| dc.contributor.author | Lambers, Leen | |
| dc.contributor.author | Jurack, Stefan | |
| dc.contributor.author | Mehner, Katharina | |
| dc.contributor.author | Runge, Olga | |
| dc.contributor.author | Taentzer, Gabriele | |
| dc.date.accessioned | 2020-06-17T06:54:58Z | |
| dc.date.available | 2020-06-17T06:54:58Z | |
| dc.date.issued | 2008 | |
| dc.description.abstract | In use case-driven approaches to requirements modeling, UML activity diagrams are a wide-spread means for refining the functional view of use cases. Early consistency validation of activity diagrams is therefore desirable but difficult due to the semi-formal nature of activity diagrams. In this paper, we specify well-structured activity diagrams and define activities more precisely by pre- and post- conditions. They can be modeled by interrelated pairs of object diagrams based on a domain class diagram. This activity refinement is based on the theory of graph transformation and paves the ground for a consistency analysis of the required system behavior. A formal semantics for activity diagrams refined by pre- and post-conditions allows us to establish sufficient criteria for consistency. The semi-automatic checking of these criteria is supported by a tool for graph transformation. | en |
| dc.identifier.issn | 1436-9915 | |
| dc.identifier.uri | https://depositonce.tu-berlin.de/handle/11303/11399 | |
| dc.identifier.uri | http://dx.doi.org/10.14279/depositonce-10283 | |
| dc.language.iso | en | |
| dc.relation.hasversion | 10.1007/978-3-540-87875-9_25 | |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
| dc.subject.ddc | 004 Datenverarbeitung; Informatik | |
| dc.subject.other | class diagram | en |
| dc.subject.other | graph transformation | en |
| dc.subject.other | activity block | en |
| dc.subject.other | activity diagram | en |
| dc.subject.other | type graph | en |
| dc.title | Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version | en |
| dc.type | Research Paper | |
| dc.type.version | submittedVersion | en |
| tub.accessrights.dnb | free | |
| tub.affiliation | Fak. 4 Elektrotechnik und Informatik | de |
| tub.affiliation.faculty | Fak. 4 Elektrotechnik und Informatik | de |
| tub.publisher.universityorinstitution | Technische Universität Berlin | |
| tub.series.issuenumber | 2008-11 | |
| tub.series.name | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin |
Files
Original bundle
1 - 1 of 1