Toward extracting π-calculus from UML sequence and state diagrams

13Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free