University of Leicester
Browse
POSem1.pdf (244 kB)

Partial order Semantics of Sequence Diagrams for Mobility.

Download (244 kB)
chapter
posted on 2007-09-21, 10:12 authored by P. Kosiuczenko
There exist different formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, we have introduced the so-called Sequence Diagrams for Mobility (SDM), a graphical notations based on UML Sequence Diagram. This notation has been used in several case studies and proved very useful. In this paper we introduce a formal, partial order based semantics for SDM. We define the notion of run and show how to figure out the system topology from the information contained in a run. We formalize the zoom-out abstraction mechanism introduced in a previous paper and show that its application does not depend on the particular order it is applied. We formalise also the notion of lifeline introduced informally in the previous paper. We integrate our semantics with UML2.0 and show that they fit well together. We explain our approach using series of examples.

History

Citation

Leue, S. Systa, T. (eds) Scenarios: Models, Transformations and Tools, LNCS 3466, pp.212-227.

Published in

Leue

Publisher

Springer

Available date

2007-09-21

Publisher version

http://link.springer.com/chapter/10.1007/11495628_12

Notes

This is the author's draft of a paper published by LNCS and reproduced with kind permission of Springer Science and Business Media. The paper is available at http://www.springerlink.com/content/9ktp13ne6u4ch8nx/?p=d3876ef7b7c747cab3b9cf4f4d0fef45&pi=7

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC