MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by the community that methods for exhaustively verifying such ...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
The central concern of the CLARITY project is to support open innovation for Model-Based Systems Engineering by structuring an ecosystem of major actors of the domain and providing...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Query Structured Model Transformation (QueST) is a framework for defining source-to-target Model Transformations (MTs) in a structured and declarative manner. In this paper, we s...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
In traditional Model-Driven Engineering (MDE) models are instantiated from metamodels. In contrast, in Flexible MDE, language engineers initially create example models of the envis...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract—Graphical diagrams are an excellent source of information for understanding models. On the other hand, editing, storing and versioning models are more efficient in text...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Changing the development environment can have severe impacts on the system behavior such as the executiontime performance. Since it can be costly to migrate a software applicati...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
In any curriculum or course that teaches or emphasises the use of modelling, a critical concern is evaluating the modelling artefacts that students produce, leading to the producti...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Model differencing is an important activity in model-based development processes. Differences need to be detected, analyzed, and understood to evolve systems and explore alterna...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract—We present the integration of the Behavioral Coordination Operator Language (B-COOL) into the GEMOC Studio. B-COOL enables the system designer to automate the coordinati...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Software reuse is an important key in developing software systems in a short time with low cost and fewer errors. Traits were introduced to provide fine-grained reusable element...