Learn More
With the advent of new and more complex software engineering problems and applications, synergies between Search-Based Software Engineering (SBSE) and Model-Driven Engineering (MDE) have been proposed. SBSE formulates the software engineering problem as a search-based optimization (SBO) problem. In Model-Driven Engineering, model transformation is the(More)
Embedded systems, with their tight technology integration, and multiple requirements and stakeholders, are characterized by tightly interrelated processes, information and tools. Embedded systems will as a consequence be described by multiple, heterogeneous and interrelated descriptions such as for example requirements documents, design and analysis models,(More)
To manage the complex engineering information for real-time systems, the system under development may be modelled in a high-level architecture description language. This high-level information provides a basis for deployment space exploration as it can be used to generate a low-level implementation. During this deployment mapping many platform-dependent(More)
In recent years, many new concepts, methodologies, and tools have emerged, which have made Model Driven Engineering (MDE) more usable, precise and automated. We have earlier proposed a conceptual framework, FTG+PM, that acts as a guide for carrying out model transformations, and as a basis for unifying key MDE practices, namely multi-paradigm modelling,(More)
In the domain of heterogeneous model composition, semantic adaptation is the " glue " that is necessary to assemble heterogeneous models so that the resulting composed model has well-defined semantics. In this paper, we present an execution model for a semantic adaptation interface between heterogeneous models. We introduce a Domain-Specific Language (DSL)(More)
Domain-specific modeling (DSM) is one major building block of model-driven engineering. By moving from the solution space to the problem space, systems are designed by domain experts. The benefits of DSM are not unique to the design of systems, the specification and verification of desired properties of the designed systems by the help of DSM seems the next(More)
Multi-paradigm modeling settings inherently and frequently cause inconsistencies between models in dierent languages involved in the design. The proper management of inconsistencies starts with choosing the appropriate formalisms to characterize inconsistent situations. In this paper, we introduce a formalism, which allows reasoning about inconsistencies in(More)