Reference:
Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer, "Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior", in Dimitra Giannakopoulou, Fernando Orejas, Eds., Fundamental Approaches to Software Engineering, vol. 6603 of Lecture Notes in Computer Science, pp. 156-170, Springer Berlin / Heidelberg, 2011.
Abstract:
UML activity diagrams are a wide-spread modelling technique to capture behavioral aspects of system models. Usually, pre- and post-conditions 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.
Links:
@InProceedings{EGLT11,
AUTHOR = {Ermel, Claudia and Gall, Jürgen and Lambers, Leen and Taentzer, Gabriele},
TITLE = {{Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior}},
YEAR = {2011},
BOOKTITLE = {Fundamental Approaches to Software Engineering},
VOLUME = {6603},
PAGES = {156-170},
EDITOR = {Giannakopoulou, Dimitra and Orejas, Fernando},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer Berlin / Heidelberg},
URL = {http://dx.doi.org/10.1007/978-3-642-19811-3_12},
PDF = {uploads/pdf/EGLT11.pdf},
OPTacc_pdf = {},
ABSTRACT = {UML activity diagrams are a wide-spread modelling technique to capture behavioral aspects of system models. Usually, pre- and post-conditions 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.}
}Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser