Korenblat, Katerina and Priami, Corrado (2003) Extraction of pi-calculus specifications from UML sequence and state diagrams. UNSPECIFIED. (Unpublished)
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.
Actions (login required)