Advanced search

Computer aided multi-paradigm modelling to process Petri-nets and statecharts

Author
Organization
Abstract
This paper proposes a Multi-Paradigm approach to the modelling of complex systems. The approach consists of the combination of meta-modelling, multi-formalism modelling, and modelling at multiple levels of abstraction. We implement these concepts in AToM(3), A Tool for Multi-formalism, Meta-Modelling. In AToM(3), modelling formalisms are modelled in their own right at a meta-level within an appropriate formalism. AToM(3) uses the information found in the meta-models to automatically generate tools to process (create, edit, check, optimize, transform and generate simulators for) the models in the described formalism. Model processing is described at a meta-level by means of models in the graph grammar formalism. As an example, meta-models for both syntax and semantics of Statecharts (without hierarchy) and Petri-Nets are presented. This includes a graph grammar modelling the transformation between Statecharts and Petri-Nets.

Citation

Please use this url to cite or link to this publication:

Chicago
De Lara, J, and Hans Vangheluwe. 2002. “Computer Aided Multi-paradigm Modelling to Process Petri-nets and Statecharts.” Ed. A Corradini, H Ehrig, HJ Kreowski, and G Rozenberg. Lecture Notes in Computer Science 2505: 239–253.
APA
De Lara, J., & Vangheluwe, H. (2002). Computer aided multi-paradigm modelling to process Petri-nets and statecharts. (A. Corradini, H. Ehrig, H. Kreowski, & G. Rozenberg, Eds.)LECTURE NOTES IN COMPUTER SCIENCE, 2505, 239–253. Presented at the 1st International Conference on Graph Transformation.
Vancouver
1.
De Lara J, Vangheluwe H. Computer aided multi-paradigm modelling to process Petri-nets and statecharts. Corradini A, Ehrig H, Kreowski H, Rozenberg G, editors. LECTURE NOTES IN COMPUTER SCIENCE. Berlin, Germany: Springer; 2002;2505:239–53.
MLA
De Lara, J, and Hans Vangheluwe. “Computer Aided Multi-paradigm Modelling to Process Petri-nets and Statecharts.” Ed. A Corradini et al. LECTURE NOTES IN COMPUTER SCIENCE 2505 (2002): 239–253. Print.
@article{158035,
  abstract     = {This paper proposes a Multi-Paradigm approach to the modelling of complex systems. The approach consists of the combination of meta-modelling, multi-formalism modelling, and modelling at multiple levels of abstraction. We implement these concepts in AToM(3), A Tool for Multi-formalism, Meta-Modelling. In AToM(3), modelling formalisms are modelled in their own right at a meta-level within an appropriate formalism. AToM(3) uses the information found in the meta-models to automatically generate tools to process (create, edit, check, optimize, transform and generate simulators for) the models in the described formalism. Model processing is described at a meta-level by means of models in the graph grammar formalism. As an example, meta-models for both syntax and semantics of Statecharts (without hierarchy) and Petri-Nets are presented. This includes a graph grammar modelling the transformation between Statecharts and Petri-Nets.},
  author       = {De Lara, J and Vangheluwe, Hans},
  editor       = {Corradini, A and Ehrig, H and Kreowski, HJ and Rozenberg, G},
  isbn         = {3-540-44310-X},
  issn         = {0302-9743},
  journal      = {LECTURE NOTES IN COMPUTER SCIENCE},
  language     = {eng},
  location     = {Barcelona, Spain},
  pages        = {239--253},
  publisher    = {Springer},
  title        = {Computer aided multi-paradigm modelling to process Petri-nets and statecharts},
  volume       = {2505},
  year         = {2002},
}

Web of Science
Times cited: