Extraction of pi-calculus specifications from UML sequence and state diagrams

Korenblat, Katerina and Priami, Corrado (2003) Extraction of pi-calculus specifications from UML sequence and state diagrams. UNSPECIFIED. (Unpublished)

[img]
Preview
 PDF
Download (427Kb) | Preview

    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.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics
    Uncontrolled Keywords: UML, formal analysis, process algebras, sequence diagrams, state diagrams, UML semantics
    Report Number: DIT-03-007
    Repository staff approval on: 14 Feb 2003

    Actions (login required)

    		 View Item