Sciweavers

MODELS
2015
Springer
8 years 7 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 7 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 7 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 7 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...
MODELS
2015
Springer
8 years 7 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
MODELS
2015
Springer
8 years 7 months 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 7 months 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 7 months 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
MODELS
2015
Springer
8 years 7 months ago
Using Reference Attribute Grammar-Controlled Rewriting for Energy Auto-Tuning
Cyber-physical systems react on events reported by sensors and interact with objects of the real world according to their current state and their view of the world. This view is na...
Christoff Bürger, Johannes Mey, René S...