Abstract
UML 2 interactions describe system behavior over time in a declarative way. The standard approach to defining their formal semantics enumerates traces of events; other representation formats, like Büchi automata or prime event structures, have been suggested, too. We describe another, more succinct format, interaction structures, which is based on asymmetric event structures. It simplifies the integration of real time, and complex operators like alt and break, and leads to an efficient semantic representation of interactions. We provide the formalism, and a prototypical implementation highlighting the benefits of our approach.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 8th International Conference on System Analysis and Modeling : Models and Reusability |
| Editors | Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher |
| Number of pages | 16 |
| Publication date | 2014 |
| Pages | 110-125 |
| ISBN (Print) | 978-3-319-11742-3 |
| ISBN (Electronic) | 978-3-319-11743-0 |
| DOIs | |
| Publication status | Published - 2014 |
| Event | International Conference on System Analysis and Modeling 2014 - Universitat Politècnica de València, Valencia, Spain Duration: 29 Sept 2014 → 30 Sept 2014 Conference number: 8 http://sdl-forum.org/Events/SAM2014/index.htm |
Conference
| Conference | International Conference on System Analysis and Modeling 2014 |
|---|---|
| Number | 8 |
| Location | Universitat Politècnica de València |
| Country/Territory | Spain |
| City | Valencia |
| Period | 29/09/2014 → 30/09/2014 |
| Other | SAM 2014 is co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014) |
| Internet address |
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 8769 |
| ISSN | 0302-9743 |