Issue No. 03 - March (2007 vol. 33)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2007.21
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.
Formal methods, languages, integrated environments, state diagrams, specification techniques, operational semantics, tools.
P. Poizat, C. Attiogb? and G. Sala?, "A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes," in IEEE Transactions on Software Engineering, vol. 33, no. , pp. 157-170, 2007.