Formal Transformation of Platform Independent Models into Platform Specific Models in MDA

Pontus Boström, Mats Neovius, Ian Oliver, Marina Walden

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

Abstrakti

This paper introduces a method for formal transformation of platform independent models (PIM) to platform specific models (PSM) in a model driven architecture (MDA) context1. The models are constructed using statemachines in the Unified Modelling Language (UML). As a formal framework for reasoning about the models we use Event B. In this paper we focus on fault tolerance features. 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. In this paper we introduce a model transformation of the PIM in order to preserve refinement properties in the development of the PSM. Design patterns are used for guiding the development. UML is widely used in industry and therefore this development method can be beneficial for developing reliable applications in many different application areas.
AlkuperäiskieliEnglanti
TilaJulkaistu - 2006
OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Julkaisusarja

NimiTUCS Technical Report
Vuosikerta759

Sormenjälki

Sukella tutkimusaiheisiin 'Formal Transformation of Platform Independent Models into Platform Specific Models in MDA'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot