Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Towards Automated Model-Driven...

Towards Automated Model-Driven Development of Distributed Communicating Systems and Communication Protocols

Dubravka Ilic, Sari Leppänen, Elena Troubitsyna, Linas Laibinis, Towards Automated Model-Driven Development of Distributed Communicating Systems and Communication Protocols. TUCS Technical Reports 829, Turku Centre for Computer Science, 2007.

Abstract:

Model-driven development has gained increasing acceptance in the engineering community. Via abstraction and gradual model transformation, it offers an efficient way to cope with complexity of modern software-intensive systems, typical examples of which are distributed telecommunicating systems and communication protocols. However, variety of models representing the system structure and behaviour from different viewpoints and at different levels of abstraction raise the question of model consistency and their adherence to the predefined architectural rules. In this paper we formalize a development flow of distributed telecommunicating systems and communication protocols as an architectural profile in UML. We specify and formally verify this profile. The profile allows us to check adherence of models to the predefined architectural rules. Furthermore, by formalizing and verifying intra- and inter-consistency rules, we ensure that the models do not contradict to each other. We use the B Method as our formal framework. The presented work establishes a basis for automating model-driven development of telecommunicating systems and communication protocols.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tIlLeTrLa07a,
  title = {Towards Automated Model-Driven Development of Distributed Communicating Systems and Communication Protocols},
  author = {Ilic, Dubravka and Leppänen, Sari and Troubitsyna, Elena and Laibinis, Linas},
  number = {829},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2007},
  keywords = {B Method, consistency of UML models, formal methods, refinement, UML profiles},
  ISBN = {978-952-12-1918-4},
}

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

Edit publication