Partenaires
Rechercher
Navigation
Accueil du site > English > Research Topics > Topic 7 - Safety of Software Development > MACAO team > Research Activities
Research Activities
Conventionally "contemplative", the models tend to become "exploratory", and even "productive" if they are exploited by a well-defined development process. Several initiatives have addressed the benefits of this approach, in particular, CNRS ACE MDA and the research programs Carroll, OpenEmbeDD, TopModel, TopCased, OPEES, and ModelWare, for example. These actions contribute to the definition of new systems engineering technologies where models play a crucial role in the development process.
Model Based Development of Processes
We will continue our work on modeling and enactment of software processes. A particular interest will be put on reuse and restructuring of process models based on process patterns.
Systems Engineering and Components
We wish to stress the paradigm of components, particularly for their interoperability and ability to meet user requirements. We advocate the separation of preoccupations and the treatment of extra-functional characteristics at the model level.
Interoperability of Models and Languages
Systems development needs several formalisms, languages, techniques and environments. This heterogeneity induces the question of interoperability, recurring in computer science.
Model Transformations
Our research on model transformations aims first to increase the possibilities of the formal rewriting of DPoPb graphs and secondly to exploit the pOCL interpreter in a transformation chain.
The NEPTUNE II platform
The team is developing a platform providing services for manipulation of models and UML meta-models, including notably the possibility to statically verify the well-formedness rules of a model via an OCL interpreter.