[PDF] Top 20 Volume 21: Multi-Paradigm Modeling 2009

... the modeling, the simulation and the formal verification for the global validation of the behavior of a passive integrated photonic routing structure using models that are based on timed ...The modeling as ... See full document

... and multi-disciplinary nature (involving mechanical, electrical, control and software engineering) makes the design and especially the integration of all parts (both physical and software) a time- consuming and ... 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

... novel modeling language designed to bridge these two domains in an intuitive visual ...metamodel-defined modeling language, we can design and build structural models of robotics systems, and synthesize ... See full document

... architectural modeling has been used in specific domains to incorporate physical elements as components, there is currently no way of treating cyber and physical elements equally in a general ... See full document

... Again, because the provider role of occupy collaboration is bound to the provider role of reserve collaboration at the model level as Figure 2 shows, only the objects bound to the[r] ... See full document

... the modeling environment and the model processors. Multi-paradigm modeling addresses and integrates three orthogonal directions of research [VLM02]: (i) multi-formalism modeling, ... See full document

... Abstract: The use of several view models to specify a complex system is a common practice to provide the most appropriate abstractions to model its diverse concerns. When several view models are used to specify a system, ... 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

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

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

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

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

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

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

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

... On structural megamodels different analyses might be performed. For example, a structural megamodel can be use for impact analysis or the evaluation of metrics, such as the number of interdependencies per model. Further ... 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

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