Toward Extracting π-calculus from UML Sequence and State Diagrams | Zendy

Katerina Pokozy-Korenblat | Zendy; Corrado Priami | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Toward Extracting π-calculus from UML Sequence and State Diagrams

Author(s) -

Katerina Pokozy-Korenblat,

Corrado Priami

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.09.007

Subject(s) - sequence diagram , sequence (biology) , unified modeling language , computer science , refinement calculus , calculus (dental) , programming language , uml tool , state diagram , state (computer science) , applications of uml , algebra over a field , theoretical computer science , algorithm , mathematics , pure mathematics , medicine , dentistry , software , biology , genetics

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research