[PDF] Top 20 Volume 42: Multi-Paradigm Modeling 2010

... 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

... In this paper, we provide a complete framework to define and apply various model patterns with arbitrary intention in a domain-specific environment. We have presented the requirements and the realization in VMTS of an ... See full document

... A key challenge during any MBSE process is verifying that the prescribed objectives and re- quirements are met by a particular alternative. Usually, designers manually create any necessary analyses by incorporating ... 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

... • Trace Model : For each rule execution, a trace element is generated linking all matched source elements to all generated target elements.. Other transformation rules can build on this [r] ... See full document

... of multi-tier systems. Multi-tier systems are complex and very few general models have been ...different multi-tier ...transformation, multi-tier systems models are translated into Queueing ... See full document

... These four scenarios illustrate the inefficiency of the QVT trace to highlight links between input and output elements useful for example to perform model synchronization.. Only the firs[r] ... See full document

... Co-evolution has been subject for research since the introduction of object-oriented database sys- tems [BKKK87], consequently a significant body of knowledge exists (cf. [Rod92] for a survey) how to migrate data with ... See full document

... Algebraic graph transformation provides a single formalism that can be used not only for the manual, automatic and semi-automatic integration tasks shown in this paper but also for speci[r] ... See full document

... Using the proposed approach, domain experts are not only able to capture their knowledge into models but also to specify the meaning of their models by defining properties over the model[r] ... See full document

... Abstract: Logical programming has many merits that should appeal to modellers. It enables declarative specifications that are free from implementation details and even (mostly) abstracts away from control flow ... See full document

... Thereby, an increasing amount of models of different modeling languages are applied to de- velop and realize the desired system. These models may represent different complementing as- pects of the system under ... See full document

... Design models, on the other hand, as usually created in component-based software development describing specific system elements such as components and interfaces, internal structures an[r] ... See full document

... In this paper we present a practical approach to compose multi-modeling views. This approach uses transformation chains (TC) 1 to bring two high-level models specified in different DSML into a low-level ... 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

... In Multi-Paradigm Modeling , model transformations are used to transform models between different paradigms (for example, synchronization), or for generating new models by compos- ing existing models ... 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

... requires modeling the respective semantics, but once available, alterations to the syntax and semantics definitions of such transformation (meta-)models should be easier to perform than the respective changes in a ... 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

... VAF separates the animation of the visualization from the dynamic behavior (simulation) of the model. For instance, the dynamic behavior of a graphically simulated statechart is really different from that of a simulated ... See full document