Towards Rigorous Metamodeling
نویسندگان
چکیده
MDE has provided several significant improvements in the development of complex systems by focusing on more abstract issues than programming. However, improvments are needed on the semantic side in order to reach highlevel certification such as the one currently required for critical embedded systems (which will also probably be required in the near future for Information Systems as application of Basel II kind of agreements). This paper presents different means to specify models semantics at the metamodel level. We will focus on the definition of executable SPEM-based development process models (workflow related models) using an approach defined for the TOPCASED project.
منابع مشابه
Towards a Rigorous Process Modeling with SPEM
Modeling software process is a good way to improve development and thus quality of resulting applications. The OMG proposes the SPEM metamodel to describe software processes. Its concepts are described through class diagrams. Unfortunately, it lacks a formal description of its semantics that makes it hard to use. So, we propose a specialization of SPEM that clarifies it and we use OCL to formal...
متن کاملIntuitive Visualization-Oriented Metamodeling
In this article we present a metamodeling tool that is strictly oriented towards the needs of the working domain expert. The working domain expert longs for intuitive metamodeling features. In particular this concerns rich capabilities for specifying the visual appearance of models. In these efforts we have identified an important design rationale for metamodeling tools that we call visual reif...
متن کاملA Metamodeling Approach to Model Refactoring
The Model Driven Architecture (MDA) initiative formulated by the Object Management Group (OMG) provides a framework for a set of standards supporting a model-centric style of development. MDA is intended to support the use of models as the primary artifacts of software development. It represents an approach for delivering software-intensive systems through the transformation of models – primari...
متن کاملA Rigorous Framework for Model-Driven Development
The model-driven architecture (MDA) is an approach to model-centric software development. The concepts of models, metamodels, and model transformations are at the core of MDA. Model-driven development (MDD) distinguishes different kinds of models: the computation-independent model (CIM), the platform-independent model (PIM), and the platform-specific model (PSM). Model transformation is the pro...
متن کامل