Sciweavers

82
Voted
MODELS
2015
Springer
9 years 11 months ago
Architectural and Analytic Integration of Cyber-Physical System Models
—Modeling methods for Cyber-Physical Systems (CPS) originate in various engineering fields, and are difficult to use together due to their heterogeneity. Inconsistencies betwee...
Ivan Ruchkin
93
Voted
MODELS
2015
Springer
9 years 11 months ago
Towards a Deep Metamodelling Based Formalization of Component Models
—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 ...
Antonio Cicchetti
89
Voted
MODELS
2015
Springer
9 years 11 months ago
Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects
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...
Dimitrios S. Kolovos, Nicholas Drivalos Matragkas,...
93
Voted
MODELS
2015
Springer
9 years 11 months ago
Executable Modeling with fUML and Alf in Papyrus: Tooling and Experiments
—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 ...
Sahar Guermazi, Jérémie Tatibouet, A...
MODELS
2015
Springer
9 years 11 months ago
Checking concurrent behavior in UML/OCL models
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...
Nils Przigoda, Christoph Hilken, Robert Wille, Jan...