Sciweavers

MODELS
2015
Springer
8 years 12 days 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 12 days 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 12 days 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 12 days 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 12 days 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...
MODELS
2015
Springer
8 years 12 days 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
MODELS
2015
Springer
8 years 12 days ago
Feature modeling of two large-scale industrial software systems: Experiences and lessons learned
—Feature models are frequently used to capture the knowledge about configurable software systems and product lines. However, feature modeling of large-scale systems is challengi...
Daniela Lettner, Klaus Eder, Paul Grünbacher,...
MODELS
2015
Springer
8 years 12 days ago
An Expeditious Approach to Modeling IDE Interaction Design
Software tools are being used by experts in a variety of domains. There are numerous software modeling editor environments (MEs) tailored to a specific domain expertise. However, ...
Vasco Sousa, Eugene Syriani
MODELS
2015
Springer
8 years 12 days ago
A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
—Analyzing legal policies for many laws, such as taxes and social benefits, is a common way for governments to identify risks, e.g., risk of legal policies not achieving expecte...
Ghanem Soltana