Toward Extracting π-calculus from UML Sequence and State Diagrams
Katerina Pokozy-Korenblat, Corrado Priami · Electronic Notes in Theoretical Computer Science · 2004
We propose an automatic translation of UML specifications made up of sequence and state diagrams into π-calculus processes.The central point of the proposed translation is the coherence of the two types of diagrams.We show the feasibility of the approach on case studies.