Sciweavers

103
Voted
MODELS
2015
Springer
9 years 11 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
102
Voted
MODELS
2015
Springer
9 years 11 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á...
90
Voted
MODELS
2015
Springer
9 years 11 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, ...
92
Voted
MODELS
2015
Springer
9 years 11 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
97
Voted
MODELS
2015
Springer
9 years 11 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
84
Voted
MODELS
2015
Springer
9 years 11 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
95
Voted
MODELS
2015
Springer
9 years 11 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
110
Voted
MODELS
2015
Springer
9 years 11 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...
91
Voted
MODELS
2015
Springer
9 years 11 months ago
Exploring Multi-Level Modeling Relations Using Variability Mechanisms
Over the last decade multi-level modeling (MLM) approaches have been addressing the need for relaxing the strict constraints on intra- and interlayer type-instance relationships th...
Iris Reinhartz-Berger, Arnon Sturm, Tony Clark