Sciweavers

MODELS
2015
Springer
7 years 11 months ago
Behavioral Types for Space-aware Systems
Abstract—Behavioral types for space-aware systems are proposed as a means to facilitate the development, commissioning, maintenance, and refactoring of systems with cyber-physica...
Jan Olaf Blech, Peter Herrmann
MODELS
2015
Springer
7 years 11 months ago
Explicitly Modelling Model Debugging Environments
—Programmers spend a large portion of their time debugging the code they write. This is supported by a variety of debugging techniques such as pause/resume, the setting of breakp...
Simon Van Mierlo
MODELS
2015
Springer
7 years 11 months ago
Comparing Comprehensibility of Modelling Languages for Specifying Behavioural Requirements
Abstract—The selection of a suitable modelling language influences the success of software modelling. Several experiments comparing the comprehensibility of graphical modelling ...
Grischa Liebel, Matthias Tichy
MODELS
2015
Springer
7 years 11 months ago
Privacy Requirement Modeling and Verification in Cloud Computing
—Cloud computing, the architecture which shares dynamic heterogeneous characteristics in the cross-layer service composition, has affected traditional security, trust and privacy...
Jin Wang
MODELS
2015
Springer
7 years 11 months ago
Flexible Modelling for Requirements Engineering
Abstract. Many applications that are developed do not completely fulfil the requirements of their stakeholders. This can be a result of inadequate requirements elicitation and poo...
Athanasios Zolotas, Nicholas Drivalos Matragkas, D...
MODELS
2015
Springer
7 years 11 months ago
Fully verifying transformation contracts for declarative ATL
—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 ...
Bentley James Oakes, Javier Troya, Levi Lucio, Man...
MODELS
2015
Springer
7 years 11 months ago
CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella
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...
Christophe Boudjennah, Benoît Combemale, Dan...
MODELS
2015
Springer
7 years 11 months ago
Analysis of Source-to-Target Model Transformations in QueST
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...
Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom...
MODELS
2015
Springer
7 years 11 months ago
Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering
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...
Athanasios Zolotas, Nicholas Drivalos Matragkas, S...
MODELS
2015
Springer
7 years 11 months ago
Textual diagram layout language and visualization algorithm
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...
Balazs Gregorics, Tibor Gregorics, Gábor Fe...