A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes - Archive ouverte HAL Access content directly
Journal Articles IEEE Transactions on Software Engineering Year : 2007

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

Abstract

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
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
292 View
300 Download

Altmetric

Share

Gmail Facebook X LinkedIn More