Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version

Simple item page
dc.contributor.authorLambers, Leen
dc.contributor.authorJurack, Stefan
dc.contributor.authorMehner, Katharina
dc.contributor.authorRunge, Olga
dc.contributor.authorTaentzer, Gabriele
dc.date.accessioned2020-06-17T06:54:58Z
dc.date.available2020-06-17T06:54:58Z
dc.date.issued2008
dc.description.abstractIn 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.issn1436-9915
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11399
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10283
dc.language.isoen
dc.relation.hasversion10.1007/978-3-540-87875-9_25
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.subject.otherclass diagramen
dc.subject.othergraph transformationen
dc.subject.otheractivity blocken
dc.subject.otheractivity diagramen
dc.subject.othertype graphen
dc.titleSufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Versionen
dc.typeResearch Paper
dc.type.versionsubmittedVersionen
tub.accessrights.dnbfree
tub.affiliationFak. 4 Elektrotechnik und Informatikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.publisher.universityorinstitutionTechnische Universität Berlin
tub.series.issuenumber2008-11
tub.series.nameForschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
tr-2008-11.pdf
Size:
557.74 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Publications