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. © 2004 Elsevier B.V. All rights reserved.
Pokozy-Korenblat, K., & Priami, C. (2004). Toward extracting π-calculus from UML sequence and state diagrams. In Electronic Notes in Theoretical Computer Science (Vol. 101, pp. 51–72). Elsevier. https://doi.org/10.1016/j.entcs.2004.09.007