Corrado Priami, Katerina Korenblat

2003

Keywords: UML, formal analysis, process algebras, sequence diagrams, state diagrams, UML semantics

Abstract:We propose an automatic translation of UML specifications made up of sequence and state diagrams into pi-calculus processes. The central point of the proposed translation is the coherence of the two types of diagrams. An implicit result of the paper is also the definition of a formal semantics for UML sequence diagrams.