• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Transformation of Platform Independent Models into Platform Specific Models

Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén, Formal Transformation of Platform Independent Models into Platform Specific Models. In: Jacques Julliand, Olga Kouchnarenko (Eds.), B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings, Lecture Notes in Computer Science 4355, 186–200, Springer-Verlag, 2007.

Abstract:

This paper introduces a method for formal transformation of platform
independent models (PIM) to platform specific models (PSM) in a model
driven architecture (MDA) context. The models are constructed using
state-machines in the Unified Modeling Language (UML). As a formal
framework for reasoning about the models we use Event B. In this paper
we illustrate our method by introducing fault tolerance to the PSM.
Fault tolerance is not considered in the PIM in order to make the
models reusable for different platforms. On the other hand, the PSM
often has to consider platform specific faults. However, fault tolerance
mechanisms cannot usually be introduced as a refinement in the PSM.
We present a model transformation of the PIM in order to preserve
refinement properties in the construction of the PSM. Design patterns
are used for guiding the development. Our method can be beneficial
for developing reliable applications in many different areas, since
both UML and B are used for practical applications.

BibTeX entry:

@INPROCEEDINGS{inpBoNeOlWa07a,
  title = {Formal Transformation of Platform Independent Models into Platform Specific Models},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings},
  author = {Boström, Pontus and Neovius, Mats and Oliver, Ian and Waldén, Marina},
  volume = {4355},
  series = {Lecture Notes in Computer Science},
  editor = {Julliand, Jacques and Kouchnarenko, Olga},
  publisher = {Springer-Verlag},
  pages = {186–200},
  year = {2007},
  keywords = {MDA, Event B, UML, State-machines,  Refinement},
}

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

Publication Forum rating of this publication: level 1

Edit publication