In this paper, we use UML Interaction Overview Diagrams as the basis for a user-friendly, intuitive, modeling notation that is well-suited for the design of complex, heterogeneous, embedded systems developed by domain experts with little background on modeling software-based 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 is built. The modeling and verification technique is presented and discussed through the aid of an example system. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Baresi, L., Morzenti, A., Motta, A., & Rossi, M. (2011). From interaction overview diagrams to temporal logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6627 LNCS, pp. 90–104). https://doi.org/10.1007/978-3-642-21210-9_9
Mendeley helps you to discover research relevant for your work.