Extraction of pi-calculus specifications from UML sequence and state diagrams
Katerina Korenblat, Corrado Priami · Unitn Eprints Research (Università Degli Studi di Trento) · 2003
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.