[PDF] Top 20 Volume 50: Multi-Paradigm Modeling 2011

... Several modeling languages may be necessary to represent these different views of a given component/system, and a major difficulty is to maintain the consistency among the ...for multi-view modeling. ... See full document

... for modeling, this paper will focus on UML statecharts, which represent the dynamic aspect the system and are the key for the understanding how the system will ... See full document

... different modeling paradigms is still a difficult ...earliest modeling phases with the aim of exhibiting properties that ease the design space exploration and performance analysis of ...the Modeling ... See full document

... Abstract: Model transformations are key enablers for multi-paradigm modeling. However, currently there is little support for reusing transformations in different contexts since they are tightly ... See full document

... of multi-paradigm modeling is to be able to accept that we can look at any existing (or intended) artifact in multiple perspectives simultaneously, in a sound and co- herent ...specific ... See full document

... Then, starting from a certain source model containing an incomplete deployment at a given development stage, it is possible to derive target models representing available deployment alte[r] ... See full document

... inherently multi-view, since an exhaustive specification of a system can only be provided by means of different ...and modeling techniques to define the system from a certain perspective, and a view is the ... See full document

... The main idea is that we can measure the distance between the language model and the user- context model during language development through defined Internal and External quality met- ri[r] ... See full document

... each modeling paradigm; (2) the precise definition of the semantic adaptation between parts of a model which use different modeling ...different modeling paradigms is to use a common syntax or ... See full document

... Abstract: Scenarios for industry-scale multi-paradigm modelling involve analysis, transformation, or fine-grained manipulation of models. These models are often treated wholly or in part as trees (e.g. XML ... See full document

... In other words, the descriptions of the semantics of the types used in the target language are composed with SATEL’s semantics in order to solve the constraints in certain variables that[r] ... See full document

... One of the main goals of Model Driven Engineering (MDE) is to automatically generate ap- plications from models. When several view models are used to specify a system, it is neces- sary to compose them to generate the ... See full document

... Abstract: Verification of the transformations is a fundamental issue for applying them in real world solutions. We have previously proposed a formalization to declar- atively describe model transformations and proposed ... See full document

... In VMTS, the model transformations are based on graph rewriting and are defined with the use of two modeling languages: the Visual Control Flow Language (VCFL) and the Visual Transformation Definition Language ... See full document

... While it is not impossible to couple (co-simulate [GDB08]) or integrate the heterogeneous models (using Ptolemy II [EJL + 03] for example), industry often wants to use existing and the best (available within the company) ... See full document

... providing dynamic animation for models. This paper presents a graph rewriting-based model transformation, which turns the behavior models into executable source code. By using this transformation, our final goal is now ... See full document

... engineering paradigm, that enables analysis by means of simulation and ver- ification, together with supervisory control theory, that provides automatic synthesis of ... See full document

... explicit modeling of transformations may require a multitude of conformance levels, making the relaxation of metamodels a more attractive option (see Section ... See full document

... Abstract: As modern systems become increasingly complex, there is a growing need to support the systems engineering process with a variety of formal models, such that the team of experts involved in the process can ... See full document

... Multi-Paradigm Modelling (MPM) is a research field focused on solving the challenge of combining, coupling, and integrating rigorous models of some reality, at different levels of ab- straction and views, ... See full document