Skip to Main content Skip to Navigation
Journal articles

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
Document type :
Journal articles
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00470280
Contributor : Christian Attiogbe <>
Submitted on : Monday, April 5, 2010 - 6:53:46 PM
Last modification on : Thursday, November 19, 2020 - 1:00:26 PM
Long-term archiving on: : Tuesday, September 14, 2010 - 5:01:15 PM

File

TSE-0185-0605.final.pdf
Publisher files allowed on an open archive

Identifiers

Citation

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, Institute of Electrical and Electronics Engineers, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩. ⟨hal-00470280⟩

Share

Metrics

Record views

726

Files downloads

726