Modeling and simulation are quickly becoming the primary enablers for complex system design. They allow the representation of intricate knowledge at various levels of abstraction and allow automated analysis as well as synthesis. The heterogeneity of the design process, as much as of the system itself, however, requires a manifold of formalisms tailored to the specific task at hand. Efficient design approaches aim to combine different models of a system under study and maximally use the knowledge captured in them. Computer Automated Multi-Paradigm Modeling (CAMPaM) is the emerging field that addresses the issues involved and formulates a domain-independent framework along three dimensions: (1) multiple levels of abstraction, (2) multiformalism modeling, and (3) meta-modeling. This article presents an overview of the CAMPaM field and shows how transformations assume a central place. These transformation are, in turn, explicitly modeled themselves by graph grammars.
Mosterman, Pieter J. , Janos Sztipanovits , and Sebastian Engell . 2003. Computer automated multiparadigm modeling in control systems technology. IEEE Transactions on Control System Technology.
2.
Karnopp, D. C. , D. L. Margolis , and R. C. Rosenberg . 1990. Systems dynamics: A unified approach. 2nd ed.New York: John Wiley .
3.
Harel, David . 1987. Statecharts: A visual formalism for complex systems . Science of Computer Programming8: 231-274 .
4.
Simulink . 2004. Using Simulink. Natick, MA: The MathWorks .
5.
van Amerongen, Job . 2000. Mechatronic design . In The 7th Mechatronics Forum International Conference, Atlanta, GA.
6.
Peters, Kenneth H.1999. Migrating to single-chip systems . Embedded Systems Programming12 (4): 30-45 .
7.
Warmer, Jos , and Anneke Kleppe . 2003. The object constraint language: Getting your models ready for MDA. 2nd ed.Reading, MA: Addison-Wesley .
8.
Garlan, David , Robert T. Monroe , and David Wile . 1997. Acme: An architecture description interchange language . In Proceedings of CASCON’97, Toronto, Ontario, pp. 169-183 .
9.
Vestal, Steve . 1994. Software Architecture Workshop. Retrieved from http://www.htc.honeywell.com/projects/dssa/ftp/papers/archwkshop
10.
Sztipanovits, Janos , Gabor Karsai , and Hubertus Franke . 1996. Model-integrated program synthesis environment . In IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany.
11.
Ernst, Johannes . 1996. Data interoperability between CACSD and CASE tools using the CDIF family of standards . In Proceedings of the 1996 International Symposium on Computer Aided Control System Design, Dearborn, MI, pp. 346-351 .
12.
Mosterman, Pieter , and Hans Vangheluwe . 2000. Computer automated multi paradigm modeling in control system design . In IEEE International Symposium on Computer-Aided Control System Design, Anchorage, AK, pp. 65-70 .
13.
Mosterman, Pieter J. , and Hans Vangheluwe . 2002. Computer automated multi-paradigm modeling . ACM Transactions on Modeling and Computer Simulation12 (4): 1-7 .
14.
Vangheluwe, Hans , and Juan de Lara . 2003. Computer automated multi-paradigm modelling: Meta-modelling and graph transformation . In Winter Simulation Conference, New Orleans, LA, pp. 595-603 .
15.
Fishwick, Paul A. 1991. Heterogeneous decomposition and inter-level coupling for combined modeling . In 1991 Winter Simulation Conference, Phoenix, AZ, pp. 1120-1128 .
16.
Jourdan, M. , F. Lagnier , F. Maraninchi , and P. Raymond . 1994. A multiparadigm language for reactive systems . In IEEE International Conference on Computer Languages (ICCL), Toulouse, France.
17.
Ledeczi, Akos , Greg Nordstrom , Gabor Karsai , Peter Volgyesi , and Miklos Maroti . 2001. On metamodel composition . In Proceedings of the IEEE International Conference on Control Applications, Mexico City, Mexico.
18.
Gelsey, Andrew , Mark Schwabacher , and Don Smith . 1998. Using modeling knowledge to guide design space search . Artificial Intelligence101: 35-62 .
19.
Mann, Heřman . 1996. A versatile modeling and simulation tool for mechatronics control system development . In 1996 IEEE Symposium on Computer Aided Control System Design, Dearborn, MI, pp. 524-529 .
20.
Kamel, M. S. , K. S. Ma , and W. H. Enright . 1993. ODEXPERT—an expert system to select numerical solvers for initial value ODE systems . ACM Transactions on Mathematical Software19 (1): 44-62 .
21.
Mosterman, Pieter J.1999. Towards model manipulation for efficient and effective simulation and instructional methods. In Distributed Modelling and Simulation of Complex Systems for Education, Training and Knowledge Capitalisation, Eze, France .
22.
Breunese, Arno P. J. , Theo J. A. de Vries , Job van Amerongen , and Peter C. Breedveld . 1995. Maximizing impact of automation on modeling and design. In ASME Dynamic Systems & Control Div. ’95, San Francisco , pp. 421-430.
23.
Harel, David . 1988. On visual formalisms . Communications of the ACM31 (5): 514-530 .
24.
Harel, David , and Amnon Naamad . 1996. The statemate semantics of statecharts . ACM Transactions on Software Engineering and Methodology5 (4): 293-333 .
25.
Huining Feng, Thomas . 2003. An extended semantics for a State-chart Virtual Machine . In Summer Computer Simulation Conference: Student Workshop, edited A. Bruzzone and Mhamed Itmi , pp. S147-S166 . Montréal, Canada: Society for Computer Simulation International (SCS).
26.
Huining Feng, Thomas. 2004. Dcharts, a formalism for modeling and simulation based design of reactive software systems. M.Sc. diss., School of Computer Science, McGill University.
27.
Kohavi, Zvi . 1978. Switching and finite automata theory. New York: McGraw-Hill .
28.
Murata, Tadao . 1989. Petri nets: Properties, analysis and applications . Proceedings of the IEEE77 (4): 541-580 .
29.
Bapty, Ted , Sandeep Neema , Jason Scott , Janos Sztipanovits , and Sameh Asaad . 2000. Model-integrated tools for the design of dynamically reconfigurable systems. Technical Report ISIS-99-01, Vanderbilt University, Nashville, TN.
30.
Kumar, Sanjaya , Devesh Bhatt , SteveVestal, BillWren , John Shack-leton , Hazel Shirley , Rashmi Bhatt , John Golusky , Mark Vojta , John Fischer , Steve Crago , Brian Schott , Robert Parker , and Gary Gardner . 1999. ADAPTERS . In 2nd Annual Military and Aerospace Applications of Programmable Devices and Technologies Conference, Laurel, MD.
31.
Fisher, Michael . 1999. Zero-latency engineering TM. White paper, Aviatis Corp .
32.
Vangheluwe, Hans . 2000. DEVS as a common denominator for multi-formalism hybrid systems modelling . In IEEE International Symposium on Computer-Aided Control System Design, Anchorage, AK, pp. 129-134 .
33.
Vangheluwe, Hans , and Ghislain C. Vansteenkiste . 2000. The cellular automata formalism and its relationship to DEVS . In 14th European Simulation Multi-conference (ESM), Ghent, Belgium, pp. 800-810 .
34.
Davis, John, II , Ron Galicia , Mudit Goel , Christopher Hylands , Edward A. Lee , Jie Liu , Xiaojun Liu , Lukito Muliadi , Steve Neuendorffer , John Reekie , Neil Smyth , Jeff Tsay , and Yuhong Xiong . 1999. Ptolemy II—heterogeneous concurrent modeling and design in Java. Retrieved from http://ptolemy.eecs.berkeley.edu
35.
Atkinson, Colin . 1997. Metamodeling for distributed object environments . In First International Enterprise Distributed Object Computing Workshop (EDOC’97), Brisbane, Australia, pp. 90-101 .
36.
Geisler, R. , M. Klar , and C. Pons . 1998. Dimensions and dichotomy in metamodeling. Technical Report 98-5, TU Berlin, Berlin, Germany.
37.
Engstrom, Eric , and Jonathan Krueger . 2000. A meta-modeler’s job is never done: Building and evolving domain-specific tools with DOME . In Proceedings of the IEEE International Symposium on Computer Aided Control System Design, Anchorage, AK, pp. 83-88 .
38.
Karsai, Gabor , Greg Nordstrom , Akos Ledeczi , and Janos Sztipanovits . 2000. Specifying graphical modeling systems using constraint-based metamodels . In Proceedings of the IEEE International Symposium on Computer Aided Control System Design, Anchorage, AK, pp. 89-94 .
Pereira Remelhe , Manuel A. , Sebastian Engell , Martin Otter , André Deparade , and Pieter J. Mosterman . 2002. An environment for the integrated modelling of systems with complex continuous and discrete dynamics. In Modelling, analysis, and design of hybrid systems, edited by S. Engell , G. Frehse , and E. Schnieder.Berlin: Springer-Verlag .
41.
Flatscher, Rony G.2002. Metamodeling in EIA/CDIF meta-metamodel and metamodels . ACM Transactions on Modeling and Computer Simulation12 (4) 322-342 .
42.
Lunze, Jan . 2000. Diagnosis of quantised systems by means of timed discrete-event representations . Lecture Notes in Computer Science1790: 258-271 .
43.
Preußig, J. , O. Stursberg , and S. Kowalewski . 1999. Reachability analysis of a class of switched continuous systems by integrating rectangular approximation and rectangular analysis . Lecture Notes in Computer Science1569: 209-222 .
de Lara, Juan , and Hans Vangheluwe . 2002. AtoM3: A tool for multi-formalism and meta-modelling . Lecture Notes in Computer Science2306: 174-188 .
46.
de Lara Jaramillo , Juan, Hans Vangheluwe , and Manuel Alfonseca Moreno . 2003. Using meta-modelling and graph grammars to create modelling environments. In Electronic notes in theoretical computer science, vol. 72, edited by Paolo Bottoni and Mark Minas.New York: Elsevier .
47.
Clarke, E. M. , and E. A. Emerson . 1981. Synthesis of synchronization skeletons for branching time temporal logic . Lecture Notes in Computer Science131: 38-55 .
48.
Ehrig, H. , G. Engels , H.-J. Kreowski , and G. Rozenberg . 1999. Handbook of graph grammars and computing by graph transformation: Vol. 2: Applications, languages, and tools. New York: World Scientific .
49.
Rozenberg, G.1997. Handbook of graph grammars and computing by graph transformation. Vol. 1. New York: World Scientific .
50.
Heckel, R. , and A. Wagner . 1995. Ensuring consistency of conditional graph rewriting—a constructive approach . In Proceedings of SEGRAGRA 1995, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 2.
51.
Levytskyy, Andriy , Eugène J.H. Kerckhoffs , Ernesto Posse , and Hans Vangheluwe . 2003. Creating DEVS components with the meta-modelling tool AToM3 .In 15th European Simulation Symposium (ESS), edited by Alexander Verbraeck and Vlatka Hlupic , pp. 97-103 . Delft, the Netherlands: Society for Modeling and Simulation International (SCS).
52.
de Lara, Juan , and Hans Vangheluwe . 2002. Computer aided multi-paradigm modelling to process Petri-nets and statecharts . Lecture Notes in Computer Science2505: 239-253 .
53.
de Lara, Juan , and Hans Vangheluwe . 2002. Using meta-modelling and graph grammars to process GPSS models . In 16th European Simulation Multi-conference (ESM), edited by Hermann Meuth , pp. 100-107 . Darmstadt, Germany: Society for Computer Simulation International (SCS).
54.
Posse, Ernesto , Juan de Lara , and Hans Vangheluwe . 2002. Processing causal block diagrams with graph-grammars in AToM3 .In European Joint Conference on Theory and Practice of Software (ETAPS), Workshop on Applied Graph Transformation (AGT), Grenoble, France, pp. 23-34 .
55.
de Lara, Juan , and HansVangheluwe . 2002. Using AToM3 as a Meta-CASE tool . In 4th International Conference on Enterprise Information Systems (ICEIS), Ciudad Real, Spain, pp. 642-649 .
56.
IEEE 1076.1 Working Group . 1999. IEEE standard 1076.1-1999. Retrieved from http://www.vhdl.org
57.
Cellier, F. E. , H. Elmqvist , and M. Otter . 1996. Modelling from physical principles. In The control handbook, edited by W. S. Levine , pp. 99-107. Boca Raton, FL: CRC Press .
58.
Schiela, Anton , and Hans Olsson . 2000. Mixed-mode integration for real-time simulation . In Proceedings of the First International Modelica 2000 Workshop, Lund, Sweden, pp. 69-75 .
59.
Di Benedetto , Maria Domenica , and Alberto L. Sangiovanni-Vincentelli , eds. 2001. Hybrid systems: Computation and control. Lecture Notes in Computer Science2034.
60.
Lynch, Nancy , and Bruce Krogh , eds. 2000. Hybrid systems: Computation and control. Lecture Notes in Computer Science1790.
61.
Vaandrager, Frits W. , and Jan H. van Schuppen , eds. 1999. Hybrid systems: Computation and control. Lecture Notes in Computer Science1569.
62.
Barton, Paul I. , and Cha Kun Lee . 2002. Modeling, simulation, sensitivity analysis and optimization of hybrid systems . ACM Transactions on Modeling and Computer Simulation12 (4): 256-289 .
63.
Mosterman, Pieter J.1999. An overview of hybrid simulation phenomena and their support by simulation packages . Lecture Notes in Computer Science1569: 164-177 .
64.
Alur, Rajeev , Costas Courcoubetis , Thomas A. Henzinger , and Pei-Hsin Ho . 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science 736:209-229.
65.
Elmqvist, Hilding , et al.1999. ModelicaTM—a unified object-oriented langauge for physical systems modeling: Language specification. Version 1.3. Retrieved from http://www.modelica.org/
66.
Mosterman, Pieter J.2001. MAsim—a hybrid dynamic systems simulator. Technical Report DLR-IB-515-01/07, Institute of Robotics and Mechatronics, DLR Oberpfaffenhofen, Wessling, Germany .
67.
Christen, Ernst . 1997. The VHDL 1076.1 language for mixed-signal design . EE Times, June.
68.
van Beek, D. A. , V. Bos , and J. E. Rooda . 2002. Declaration of unknowns in DAE-based hybrid system specification . ACM Transactions on Modeling and Computer Simulation13 (1): 39-61 .
69.
Mosterman, Pieter J. 2000. Implicit modeling and simulation of discontinuities in physical system models . In The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, pp. 35-40 .
70.
Engell, Sebastian , and Pieter J. Mosterman , eds. 2004. Computer automated multi-paradigm modeling [Special issue]. IEEE Transactions on Control System Technology 12 (2).
