Object Flow Definition for Refined Activity Diagrams: Long Version

dc.contributor.authorJurack, Stefan
dc.contributor.authorLambers, Leen
dc.contributor.authorMehner, Katharina
dc.contributor.authorTaentzer, Gabriele
dc.contributor.authorWierse, Gerd
dc.date.accessioned2020-06-15T06:34:34Z
dc.date.available2020-06-15T06:34:34Z
dc.date.issued2009
dc.description.abstractActivity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we refine activities by pairs of pre- and post-conditions formulated by interrelated object diagrams. To define a clear semantics for refined activity diagrams with object flow, we use a graph transformation approach. Control flow is formalized by sets of transformation rule sequences, while object flow is described by partial dependencies between transformation rules. The theory of algebraic graph transformation can be used to validate the consistency of control and object flows in refined activity diagrams. This approach is illustrated by a simple service-based on-line university calendar.en
dc.identifier.issn1436-9915
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11366
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10253
dc.language.isoen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.subject.otheractivity diagramsen
dc.subject.othergraph transformationen
dc.subject.otherobject flowen
dc.titleObject Flow Definition for 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.issuenumber2009-01
tub.series.nameForschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin

Files

Original bundle
Now showing 1 - 1 of 1
Loading…
Thumbnail Image
Name:
tr-2009-01.pdf
Size:
554.49 KB
Format:
Adobe Portable Document Format

Collections