Sciweavers

MODELS
2015
Springer
7 years 11 months ago
Debugging Models in the Context of Automotive Software Development
—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...
Lars Stockmann
MODELS
2015
Springer
7 years 11 months ago
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL
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, ...
Frédéric Jouault, Olivier Beaudoux
MODELS
2015
Springer
7 years 11 months ago
MUTANT: Model-Driven Unit Testing using ASCII-art as Notational Text
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...
Daniel Strüber 0001, Felix Rieger, Gabriele T...
MODELS
2015
Springer
7 years 11 months ago
Automated Metamodel/Model Co-Evolution using a Multi-Objective Optimization Approach
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...
Wael Kessentini
MODELS
2015
Springer
7 years 11 months ago
Towards Inconsistency Management by Process-Oriented Dependency Modeling
Multi-paradigm modeling settings inherently and frequently cause inconsistencies between models in dierent languages involved in the design. The proper management of inconsistenci...
István Dávid, Joachim Denil, Hans Va...
MODELS
2015
Springer
7 years 11 months ago
Testing M2M/M2T/T2M Transformations
—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 ...
Loli Burgueño
MODELS
2015
Springer
7 years 11 months ago
Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems
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...
Bernhard Hoisl, Stefan Sobernig
MODELS
2015
Springer
7 years 11 months ago
Optimizing the Symbolic Execution of Communicating and Evolving State Machines
Abstract—This paper describes research investigating two complementary optimization techniques that leverage the similarities between state machines versions to reduce the cost o...
Amal Khalil
MODELS
2015
Springer
7 years 11 months ago
Multi-Perspective Modeling and Performance Analysis of Software Product Lines
—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 ...
Matthias Kowal
MODELS
2015
Springer
7 years 11 months ago
On the Need for Extended Transactional Models@Run.Time
Mahdi Derakhshanmanesh, Marvin Grieger, Jürge...