—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...