—Different models are involved in the automotive development process. In the integration phase, AUTOSAR is often the only model description available for a controller. The models...
Many relations between model elements are expressed in OCL. However, tool support to enable synchronization of elements based on OCL-expressed relations is lacking. In this paper, ...
There are two established strategies to create test models: Textual notations require developers to mentally reconstruct the involved graph structures ad hoc; maintenance effort a...
Abstract—Metamodels undergo many changes during the evolution of several software modeling languages and projects. As a consequence, models have to be updated for preserving thei...
Multi-paradigm modeling settings inherently and frequently cause inconsistencies between models in dierent languages involved in the design. The proper management of inconsistenci...
—As Model-Driven Engineering is becoming adopted by industry, models and model transformations (MTs) are extensively used. Hence, there is the urgent need for systematic testing ...
In model-driven development, an evolving metamodel as part of a changing software system requires the adaptation of interrelated artifacts, such as, model-to-text (M2T) transforma...
Abstract—This paper describes research investigating two complementary optimization techniques that leverage the similarities between state machines versions to reduce the cost o...
—Software system are typically available in a rich set of variants nowadays to deal with differing customer or environmental requirements and application contexts. Managing such ...