Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
Proceedings of the 2008 ACM symposium on Applied computing
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Bridging grammarware and modelware
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Trust in MDE components: the DOMINO experiment
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Systematic development of UMLsec design models based on security requirements
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Sharing bad practices in design to improve the use of patterns
Proceedings of the 17th Conference on Pattern Languages of Programs
| Hi-index | 0.00 |
The increasing use of models in specification and design phases makes them first class citizens. Models which had, till now, been used to gain a better grasp of the software to be designed, have been attributed a productive role that has become central to development. This new status of models and meta-models poses the problem of how they are established and especially, how they are validated. So, each activity in a process can be supported by MDE (Model-Driven Engineering) components realizing transformations and verifications. These operations require redefining the OCL type system for taking into account multi-model handling and side-effects. Checking the transformation consists of ensuring that the source models and the targets respect a set of properties that can be verified through transformation contracts. The NEPTUNE platform was designed having this logic as a driving force - allowing the verification of models and of their transformation.