Technical Reports - DIT-03-007
Corrado Priami, Katerina Korenblat
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.