Meta-modelling hybrid formalisms

Proceedings of the IEEE International Symposium on Computer-Aided Control System Design

Volumn , Issue , 2004, Pages 65-70

  Lacoste Julien, Simon ^a,b   Vangheluwe, Hans ^a   De Lara, Juan ^c   Mosterman, Pieter J ^d  

^a MCGILL UNIVERSITY   (Canada)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

^d MATHWORKS INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AUTOMATED MULTI-PARADIGM MODELING; META-MODELING; ORDINARY DIFFERENTIAL EQUATIONS (ODE); SIMULATION ENVIRONMENT;

COMPUTER SIMULATION; CONTROL SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL TRANSFORMATIONS; SCHEDULING; SET THEORY; TIME DOMAIN ANALYSIS;

MATHEMATICAL MODELS;

EID: 20344363389     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. P. J. Mosterman and G. Biswas, "A comprehensive methodology for building hybrid models of physical systems," Artificial Intelligence, no. 121, pp. 171-209, 2000.
2. O. Balci, "The implementation of four conceptual frameworks for simulation modeling in high-level languages," in Proceedings of the 1988 Winter Simulation Conference, M. Abrams, P. Haigh, and J. Comfort, Eds. Society for Computer Simulation International (SCS), 1988, pp. 287-295.
3. S. Lacoste-Julien, "Hybrid systems modelling," McGill University, School of Computer Science, Technical Report, August 2002, http://msdl.cs.mcgill.ca/people/slacoste/research/report/SummerReport.html.
4. R. G. Flatscher, "Metamodeling in EIA/CDIF meta-metamodel and metamodels," ACM Transactions on Modeling and Computer Simulation, vol. 12, no. 4, 2002.
5. E. Engstrom and J. Krueger, "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, Alaska, September 2000, pp. 83-88.
6. G. Karsai, G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Specifying Graphical Modeling Systems Using Constraint-based Metamodels," in Proceedings of the IEEE International Symposium on Computer Aided Control System Design, Anchorage, Alaska, September 2000, pp. 89-94.
7. M. Minas, "Concepts and realization of a diagram editor generator based on hypergraph transformation," Science of Computer Programming, vol. 44, pp. 157-180, 2002, see also the DIAGEN home page: http://www2.informatik. uni-erlangen.de/DiaGen/
8. P. J. Mosterman and H. Vangheluwe, "Computer automated multi-paradigm modeling," ACM Transactions on Modeling and Computer Simulation, vol. 12, no. 4, pp. 1-7, 2002, Special Issue Guest Editorial.
9. H. Vangheluwe and J. de Lara, "Computer automated multi-paradigm modelling: Meta-modelling and graph transformation," in Winter Simulation Conference, S. Chick, P. Sánchez, D. Ferrin, and D. Morrice, Eds. IEEE Computer Society Press, December 2003, pp. 595-603, New Orleans, Louisiana.
10. P. Mosterman and H. Vangheluwe, "Computer automated multi paradigm modeling in control system design," in IEEE International Symposium on Computer-Aided Control System Design, A. Varga, Ed. IEEE Computer Society Press, September 2000, pp. 65-70, Anchorage, Alaska.
11. 3: A tool for multi-formalism and meta-modelling," in European Joint Conference on Theory And Practice of Software (ETAPS), Fundamental Approaches to Software Engineering (FASE), ser. LNCS 2306. Springer-Verlag, April 2002, pp. 174-188, Grenoble, France. [Online]. Available: http://atom3.cs.mcgill.ca
12. J. de Lara Jaramillo, H. Vangheluwe, and M. Alfonseca Moreno, "Using meta-modelling and graph grammars to create modelling environments," in Electronic Notes in Theoretical Computer Science, P. Bottoni and M. Minas, Eds., vol. 72. Elsevier, February 2003, 15 pages. http://www.elsevier.nl/locate/ entcs/volume72.html.
13. th European Simulation Symposium (ESS), A. Verbraeck and V. Hlupic, Eds. Society for Modeling and Simulation International (SCS), October 2003, pp. 97-103, Delft, The Netherlands.
14. J. de Lara and H. Vangheluwe, "Computer aided multi-paradigm modelling to process petri-nets and statecharts," in International Conference on Graph Transformations (ICGT), ser. Lecture Notes in Computer Science, vol. 2505. Springer-Verlag, October 2002, pp. 239-253, Barcelona, Spain.
15. th European Simulation Multi-conference (ESM), H. Meuth, Ed. Society for Computer Simulation International (SCS), June 2002, pp. 100-107, Darmstadt, Germany.
16. 3," in European Joint Conference on Theory and Practice of Software (ETAPS), Workshop on Applied Graph Transformation (ACT), April 2002, pp. 23-34, Grenoble, France.
17. th International Conference on Enterprise Information Systems (ICEIS), April 2002, pp. 642-649, Ciudad Real, Spain.
18. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 2: Applications, Languages, and Tools. World Scientific, 1999.
19. 3," in Summer Computer Simulation Conference, A. Bruzzone and M. Itmi, Eds. Society for Computer Simulation International (SCS), July 2003, pp. 83-88, Montréal, Canada.
20. J. de Lara, E. Guerra, and H. Vangheluwe, "Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems," in Applications of Graph Transformations with Industrial Relevance (ACTIVE). LNCS, September 2003, p. 6, Charlottesville, Virginia, USA_