Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior

dc.contributor.authorErmel, Claudia
dc.contributor.authorGall, Jürgen
dc.contributor.authorLambers, Leen
dc.contributor.authorTaentzer, Gabriele
dc.date.accessioned2020-06-11T06:41:06Z
dc.date.available2020-06-11T06:41:06Z
dc.date.issued2011
dc.description.abstractUML activity diagrams are a common modelling technique to capture behavioral aspects of system models. Usually, pre- and postconditions of activities are described in natural language and are not formally integrated with the static domain model. Hence, early consistency validation of activity models is difficult due to their semi-formal nature. In this paper, we use integrated behavior models that integrate activity diagrams with object rules defining sets of actions in simple activities. We formalize integrated behavior models using typed, attributed graph transformation. It provides a basis for plausibility checking by static conflict and causality detection between specific object rules, taking into account their occurrence within the control flow. This analysis leads to favorable as well as critical signs for consistency of the integrated behavior model. Our approach is supported by ActiGra, an Eclipse plug-in for editing, simulating and analyzing integrated behavior models. It visualizes favorable and critical signs for consistency in a convenient way and uses the well-known graph transformation tool AGG for rule application as well as static conflict and causality detection. We validate our approach by modeling a conference scheduling system.en
dc.identifier.issn1436-9915
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11321
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10206
dc.language.isoen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.subject.othermodeling languageen
dc.subject.otherplausibility checkingen
dc.subject.otherintegrated behavior modelsen
dc.subject.othergraph transformationen
dc.titleModeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavioren
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.issuenumber2011-02
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_2011-02.pdf
Size:
4.02 MB
Format:
Adobe Portable Document Format
Description:
Collections