Sciweavers

MODELS
2015
Springer
8 years 6 months ago
Towards Safe Model Transformation for Constraint-driven Modeling
Abstract—Model transformation is a key technology in modeldriven engineering. Unfortunately, transformations are typically written manually and thus they are likely to contain er...
Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto...
MODELS
2015
Springer
8 years 6 months ago
A model-based framework for probabilistic simulation of legal policies
Abstract—Legal policy simulation is an important decisionsupport tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the la...
Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzade...
MODELS
2015
Springer
8 years 6 months ago
Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -
Abstract. The Unified Modeling Language has been used largely in the software community to draw pictures for designing and documenting software written in other languages. The real...
Ed Seidewitz, Jérémie Tatibouet
MODELS
2015
Springer
8 years 6 months ago
Building MDE Cloud Services with Distil
—Model-Driven Engineering (MDE) techniques, like transformations, queries, and code generators, were devised for local, single-CPU architectures. However, the increasing complexi...
Carlos Carrascal Manzanares, Jesús Sá...
MODELS
2015
Springer
8 years 6 months ago
Leveraging Models at Run-Time to Retrieve Information for Feature Location
Model Driven Engineering (MDE) has the potential to be used at run-time, to monitor and verify particular aspects of run-time behaviour. Models at run-time provide a kind of formal...
Lorena Arcega, Jaime Font, Øystein Haugen, ...
MODELS
2015
Springer
8 years 6 months ago
Safe Navigation in OCL
The null object has been useful and troublesome ever since it was introduced. The problems have been mitigated by references in C++, annotations in Java or safe navigation in Groov...
Edward D. Willink
MODELS
2015
Springer
8 years 6 months ago
Partitioning Embedded Real-Time Control Software based on Communication Dependencies
Electronic Control Units (ECUs), such as for automotive engine control, execute highly interdependent software units. These software units and their interaction are optimized for s...
Martin Lowinski, Dirk Ziegenbein, Sabine Glesner
MODELS
2015
Springer
8 years 6 months ago
Towards User-Friendly and Efficient Analysis with Alloy
Abstract—In model-driven engineering, structural models represent software at the early phases of software development. They are assumed to generate the models in subsequent phas...
Xiaoliang Wang, Adrian Rutle, Yngve Lamo
MODELS
2015
Springer
8 years 6 months ago
Facilitating Migration of Cloud Infrastructure Services: A Model-Based Approach
—In cloud computing, modeling can be used to specify service topologies. Following a model-driven approach provisioning can be automated resulting in a significant reduction of ...
Ta'id Holmes
MODELS
2015
Springer
8 years 6 months ago
Systematically deriving domain-specific transformation languages
Abstract—Model transformations are helpful to evolve, refactor, refine and maintain models. While domain-specific languages are normally intuitive for modelers, common model tr...
Katrin Hölldobler, Bernhard Rumpe, Ingo Weise...