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.
Extraction of pi-calculus specifications from UML sequence and state diagrams / Korenblat, Katerina; Priami, Corrado. - ELETTRONICO. - (2003), pp. 1-17.
Extraction of pi-calculus specifications from UML sequence and state diagrams
Priami, Corrado
2003-01-01
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
03_007.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
427.99 kB
Formato
Adobe PDF
|
427.99 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
