Corpus ID: 8356021

An introduction to multi-paradigm modelling and simulation.

  title={An introduction to multi-paradigm modelling and simulation.},
  author={H. Vangheluwe and J. Lara and P. J. Mosterman},
Modelling and simulation are becoming increasingly important enablers in the analysis and design of complex systems. To tackle problems of ever increasing complexity, modelling and simulation research is shifting from simulation techniques to modelling methodology and technology. In this article, the emerging field of Computer Automated Multi-Paradigm Modelling is presented. Multi-paradigm modelling adresses and integrates three orthogonal directions of research: 1. multi-formalism modelling… Expand
The Virtual Laboratory Environment - An operational framework for multi-modelling, simulation and analysis of complex dynamical systems
VLE is a software and an API which supports multi-modelling, simulation and analysis which addresses the reliability issue by using recent developments in the theory of modelling and simulation proposed by Zeigler. Expand
Meta-Models are models too
The finite state automata (FSA) formalism is used to demonstrate the concepts of meta-modelling as well as model transformation (in particular, simulation of FSA models) and the issue of a neutral model exchange and re-use format is addressed in the context of meta -modelling. Expand
Foundations of multi-paradigm modeling and simulation: a meta-theoretic approach to modeling and simulation
It is shown that modeling in addition the specification hierarchy provides the means to support many modeling processes, and both means are combined in a common meta-theoretic approach to enhance flexibility of the integrative framework. Expand
Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation
This article introduces AToM3, A Tool for Multi-formalism and Meta-Modelling, and presents the meta-modelling and graph transformation concepts through a simple reactive system example: a Timed Automata model of a traffic light. Expand
Computer Aided Multi-Paradigm Modelling of Hybrid Systems with AToM
The use of multi-paradigm modelling to facilitate computer assisted modelling of hybrid systems by combining Causal Block Diagrams and Statecharts is introduced and both models are translated into the object-oriented simulation language OOCSMP for simulation. Expand
Combining DEVS with multi-agent concepts to design and simulate multi-models of complex systems (WIP)
This article presents the approach that consists of combining the Discrete EVent System Specification (DEVS) formalism and multi-agent concepts and details the combination in the Agent & Artifact for Multi-Modeling (AA4MM) approach. Expand
XML-based modeling and simulation: meta-models are models too
The Finite State Automata (FSA) formalism is used to demonstrate the concepts of meta-modelling as well as model transformation (in particular, simulation of FSA models). Expand
A meta-theoretic approach to modeling and simulation
  • M. Traoré
  • Computer Science
  • Proceedings of the 2003 Winter Simulation Conference, 2003.
  • 2003
It is shown that modeling in addition the specification hierarchy provide the means to support many modeling processes and both means are combined in a common meta-theoretic approach to enhance flexibility of the integrative framework. Expand
We aim at building a methodological framework that integrates various methods and key concepts in a more coherent Modeling and Simulation architecture. The required flexibility for such a frameworkExpand
The OsMoSys approach to multi-formalism modeling of systems
OsMoSys uses the proposed modeling approach to build multi-formalism models, and workflow management to achieve multi-solution, and its main objectives are the interoperability of different formalisms and the definition of mechanisms to guarantee the flexibility and the scalability of the modeling framework. Expand


The representation of models in diverse formalisms, at different levels of abstraction, and the behaviour-conserving transformation between the formalisms is demonstrated and multi-formalism model representation is presented as an enabler for open, distributed, modelling and simulation systems. Expand
DEVS as a common denominator for multi-formalism hybrid systems modelling
  • H. Vangheluwe
  • Mathematics
  • CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537)
  • 2000
When modelling complex systems, complexity is usually not only due to a large number of coupled components, but also to the diversity of these components and to their intricate interactions. OneExpand
Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems
Part I: Basics. Introduction to Systems Modeling Concepts. Framework for Modeling and Simulation. Modeling Formalisms and Their Simulators. Introduction to Discrete Event System SpecificationsExpand
Continuous system modeling
This first volume introduces concepts of modelling physical systems through a set of differential and/or difference equations, and enhances the scientific understanding of the authors' physical world by codifying (organizing) knowledge about this world, and supports engineering design by allowing the reader to assess the consequences of a particular design alternative before it is actually built. Expand
Multimodels and dynamic structure models: an integration of DSDE/DEVS and OOPM
Object-oriented physical modeling (OOPM) extends the design approaches of software engineering and employs both static and dynamic models to describe physical objects, which has the practical consequence that multi-models can be directly mapped into distributed simulations. Expand
The time and state relationships in simulation modeling
This paper focuses on the coordination of the time and state concepts using "object" as the link and relates the concept of "state-sequenced simulation" to the variations in time flow mechanisms. Expand
The implementation of four conceptual frameworks for simulation modeling in high-level languages
  • O. Balci
  • 1988 Winter Simulation Conference Proceedings
  • 1988
This is a tutorial paper on how to implement a simulation model in a high-level programming language (e.g., C, Pascal, FORTRAN) by using the following conceptual frameworks (also called world views,Expand
Specifying graphical modeling systems using constraint-based meta models
This work proposes a two-level approach to modeling that introduces a meta-level representation that defines modeling languages, but they can also be used to capture subtle interactions between domain level models. Expand
Metamodeling-rapid design and evolution of domain-specific modeling environments
The use of the Unified Modeling Language and the Object Constraint Language to specify, and a method for incorporating these metamodels into the MultiGraph Architecture, a MIPS creation toolset are described. Expand
The unified modeling language reference manual
This title provides expert knowledge on all facets of today's UML standard, helping developers who are encountering UML on the job for the first time to be more productive. Expand