A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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 (behaviours expressed using state diagrams) and static models (formal data types) with the benefit to share advantages of both:doi:10.1109/tse.2007.21 fatcat:xpnzyxnulbfnjjvvi27cusxi34