A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Software Engineering Année : 2007

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes

Résumé

Separation of concerns or aspects is a way to deal with the increasing complexity of systems. The separate design of models for different aspects also promotes a better reusability level. However, an important issue is then to define means to integrate them into a global model. We present a formal and tool-equipped approach for the integration of dynamic models (behaviors expressed using state diagrams) and static models (formal data types) with the benefit to share advantages of both: graphical user-friendly models for behaviors, formal and abstract models for data types. Integration is achieved in a generic way so that it can deal with both different static specification languages (algebraic specifications, Z, B) and different dynamic specification semantics
Fichier principal
Vignette du fichier
TSE-0185-0605.final.pdf (538.64 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00470280 , version 1 (05-04-2010)

Identifiants

Citer

Christian Attiogbe, Pascal Poizat, Gwen Salaün. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩. ⟨hal-00470280⟩
297 Consultations
312 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More