Paper Info
Title
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems.
Abstract
Software-intensive systems, for example service robot systems in industry, often consist of multiple reactive components that interact with each other and the environment. Often, the behavior depends on structural properties and relationships among the system and environment components, and reactions of the components in turn may change this structure. Modal Sequence Diagrams (MSDs) are an intuitive and precise formalism for specifying the interaction behavior among reactive components. However, they are not sufficient for specifying structural dynamics. Graph transformation rules (GTRs) provide a powerful approach for specifying structural dynamics. We describe an approach for integrating GTRs with MSDs such that requirements and assumptions on structural changes of system resp. environment objects can be specified. We prototypically implemented this approach by integrating MOD-GRAPH with SCENARIOTOOLS. This allows us not only to specify MSDs and GTRs in Eclipse, but also to simulate the specified behavior via play-out.
Year
DOI
Venue
2014
10.1007/978-3-319-11743-0_9
Lecture Notes in Computer Science
Keywords
Field
DocType
scenario-based specification,reactive systems,embedded systems,automotive,simulation,validation,testing
Graph theory,Sequence diagram,Computer science,Computer network,Theoretical computer science,Graph rewriting,Eclipse,Formalism (philosophy),Reactive system,Modal,Service robot
Conference
Volume
ISSN
Citations 
8769
0302-9743
3
PageRank 
References 
Authors
0.58
13
3
Name
Order
Citations
PageRank
Sabine Winetzhammer1274.06
Joel Greenyer222420.36
Matthias Tichy3104366.30