MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. Over the last years, several repositories have been proposed in response to the need of the MDE community for advanced systems supporting the reuse of modeling artifacts,...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Modeling methods for Cyber-Physical Systems (CPS) originate in various engineering fields, and are difficult to use together due to their heterogeneity. Inconsistencies betwee...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Component-based software engineering (CBSE) is based on the fundamental concepts of components and bindings, i.e. units of decomposition and their interconnections. By adopting ...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. We assess the use of several Eclipse-based Model-Driven Engineering technologies (e.g. EMF, GMF, Xtext, Sirius, ATL, QVTO, Epsilon) in open-source software development pr...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—fUML and Alf are two OMG standards dealing with executable modeling in UML. fUML focuses on semantic aspects, while Alf focuses on syntax. Papyrus (the UML/SysML modeler of the ...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract—The Unified Modeling Language (UML) is a defacto standard for software development and, together with the Object Constraint Language (OCL), allows for a precise descrip...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Syntax Adolfo S´anchez-Barbudo Herrera1 , Edward Willink2 , Richard F. Paige1 1 Department of Computer Science, University of York, UK. {asbh500, richard.paige} at york.ac.uk 2 Wi...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
This paper discusses two ways to establish the connection between two levels in a multi-level model. The first approach uses normal associations and generalizations under the assu...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. Large-scale software projects are often faced with the challenge of enabling the high degree of collaborative and concurrent development required to meet the aggressive d...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Many of today’s partially or fully automated medical research systems are rule, or constraint-driven systems that must be analyzed with respect to their rule compliance. We propo...