From Interaction Overview Diagrams to Temporal Logic

  title={From Interaction Overview Diagrams to Temporal Logic},
  author={Luciano Baresi and Angelo Morzenti and Alfredo Motta and Matteo Rossi},
  booktitle={MoDELS Workshops},
In this paper, we use UML Interaction Overview Diagrams as the basis for a user-friendly, intuitive, modeling notation that is wellsuited for the design of complex, heterogeneous, embedded systems developed by domain experts with little background on modeling softwarebased systems. To allow designers to precisely analyze models written with this notation, we provide (part of) it with a formal semantics based on temporal logic, upon which a fully automated, tool supported, verification technique… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
9 Extracted Citations
18 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-9 of 9 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 18 references

Bouabana - Tebibel . Semantics of the interaction overview diagram

  • T.
  • Proc . of the IEEE International Conference on…
  • 2009

On -calculus semantics as a formal basis for uml activity diagrams

  • V.S.W. Lam
  • International Journal of Software Engineering and…
  • 2008
1 Excerpt

and S

  • M. V. Cengarle, P. Graubmann
  • Wagner. Semantics of UML 2.0 interactions with…
  • 2006
1 Excerpt

Similar Papers

Loading similar papers…