Integrating graph transformations and Modal Sequence Diagrams for specifying structurally dynamic reactive systems
Paper in proceeding, 2014

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.

Embedded systems

Testing

Graph theory

Validation

Simulation

Automotive

Structural properties

Scenario-based specifications

Reactive system

Scenario-based specification

Reactive systems

Structural dynamics

Author

S. Winetzhammer

University of Bayreuth

J. Greenyer

University of Hanover

Matthias Tichy

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 8769 126-141
978-3-319-11742-3 (ISBN)

Subject Categories

Information Science

DOI

10.1007/978-3-319-11743-0_9

More information

Latest update

5/24/2024