Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Specifying UML Profile for Dis...

Specifying UML Profile for Distributed Communicating Systems and Communication Protocols

Sari Leppänen, Dubravka Ilic, Qaisar Malik, Tarja Systä, Elena Troubitsyna, Specifying UML Profile for Distributed Communicating Systems and Communication Protocols. In: Gianna Reggio Jean Louis Sourrouille Miroslaw Staron Ludwik Kuzniarz (Ed.), Workshop on Consistency in Model Driven Engineering - C@MODE’05, 31-46, 2005.

Abstract:

Usually development of modern software is tackled from several different viewpoints and in a number of iterations. While specifying various aspects and abstraction levels of the system under construction, we create a set of different models, which should be inter- and intra-consistent. Currently UML is widely used for modeling software-intensive systems. To handle consistency better, UML’s built-in extension mechanism, profile, can be used. In this paper we present a specification of a profile for modeling distributed communication systems and protocols. We identify the general patterns of models created at different stages of Lyra – a rigorous, service-oriented and model-based method for developing industrial telecommunication systems and communicating pro-tocols. The proposed profile with consistency constraints is formalized in the B Method. Formalization in B helps us to ensure intra- and inter-consistency of models created at various phases of Lyra development. Hence it potentially in-creases our confidence in correctness of developed software.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpLeIlMaSyTr05a,
  title = {Specifying UML Profile for Distributed Communicating Systems and Communication Protocols},
  booktitle = {Workshop on Consistency in Model Driven Engineering - C@MODE’05},
  author = {Leppänen, Sari and Ilic, Dubravka and Malik, Qaisar and Systä, Tarja and Troubitsyna, Elena},
  editor = {Ludwik Kuzniarz, Gianna Reggio Jean Louis Sourrouille Miroslaw Staron},
  pages = {31-46},
  year = {2005},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication