Skip to main content
SpringerLink
Log in
Book cover

International Conference on Graph Transformation

ICGT 2002: Graph Transformation pp 239–253Cite as

Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2505))

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 AToM3, A Tool for Multi-formalism, Meta-Modelling. In AToM3, modelling formalisms are modelled in their own right at a meta-level within an appropriate formalism. AToM3 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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AGG Home page: http://tfs.cs.tu-berlin.de/agg/

  2. Blonstein, D., Fahmy, H., Grbavec, A. 1996. Issues in the Practical Use of Graph Rewriting. LNCS 1073, Springer, pp. 38–55.

    Google Scholar 

  3. de Lara, J., Vangheluwe, H. 2002 AToM 3: A Tool for Multi-Formalism Modelling and Meta-Modelling. In European Conferences on Theory And Practice of Software Engineering ETAPS’02, Fundamental Approaches to Software Engineering (FASE). Lecture Notes in Computer Science 2306, pp.: 174–188. Springer-Verlag. AToM3 home page: http://moncs.cs.mcgill.ca/MSDL/research/projects/ATOM3.html

    Google Scholar 

  4. DOME guide. http://www.htc.honeywell.com/dome/, Honeywell, 1999.

  5. Dorr, H. 1995. Efficient Graph Rewriting and its implementation. LNCS 922, Springer.

    Google Scholar 

  6. Ebert, J., Sttenbach, R., Uhe, I. Meta-CASE in Practice: a Case for KOGGE Proceedings of the 9th International Conference, CAiSE’97, Barcelona. LNCS 1250, 203–216, Berlin, 1997. See KOGGE home page at: http://www.uni-koblenz.de/~ist/kogge.en.html

    Google Scholar 

  7. Ehrig, H., Engels, G., Kreowski, H.-J., and Rozenberg, G. 1999. Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 2: Applications, Languages, and Tools. World Scientific.

    Google Scholar 

  8. Finkelstein, A., Kramer, J., Goedickie, M. 1990. ViewPoint Oriented Software Development Proc, of the 3rd Workshop on Software Engineering and its Applications, Tolouse.

    Google Scholar 

  9. GRACE Home page: http://www.informatik.uni-bremen.de/theorie/GRACEland/GR ACEland.html

  10. Harel, D. On visual formalisms. Comm. of the ACM, 31(5):514–530, 1988.

    Article  MathSciNet  Google Scholar 

  11. Kelly, S., Lyytinen, K., Rossi, M. MetaEdit+: A fully configurable Multi-User and Multi-Tool CASE and CAME Environment In Advanced Information System Engineering; LNCS 1080. Berlin, Springer 1996. See MetaEdit+ Home page at: http://www.MetaCase.com/

    Google Scholar 

  12. King, P., Pooley, R. Using UML to Derive Stochastic Petri Net Models In Davies and Bradley Editors. UKPEW’99, Proc. 15th UK Performance Engineering Workshop. Bristol. pp.: 45–56.

    Google Scholar 

  13. Niskier, C., Maibaum, T., Schwabe, D. 1989 A pluralistic Knowledge Based Approach to Software Specification 2nd European Software Engineering Conference, LNCS 387, Springer, pp.:411–423.

    Google Scholar 

  14. OMG Home Page: http://www.omg.org

  15. PROGRES home page: http://www-i3.informatik.rwth-aachen.de/research/projects/progres/main.html

  16. Python home page: http://www.python.org

  17. Sztipanovits, J., et al. 1995. “MULTIGRAPH: An architecture for model-integrated computing”. In ICECCS’95, pp. 361–368, Ft. Lauderdale, Florida, Nov. 1995.

    Google Scholar 

  18. Vangheluwe, H. DEVS as a common denominator for multi-formalism hybrid systems modelling. In IEEE Symposium on Computer-Aided Control System Design, pp.:129–134. IEEE Computer Society Press, September 2000.

    Google Scholar 

  19. Zave, P., Jackson, M. 1993. Conjunction as Composition ACM Transactions on Software Engineering and Methodology 2(4), 1993, 371–411.

    Article  Google Scholar 

  20. Zeigler, B., Praehofer, H. and Kim, T.G. Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press, 2nd ed., 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ETS Informática, Universidad Autónoma de Madrid, Madrid, Spain

    Juan de Lara

  2. School of Computer Science, McGill University, Montréal, Québec, Canada

    Hans Vangheluwe

Authors
  1. Juan de Lara
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hans Vangheluwe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125, Pisa, Italy

    Andrea Corradini

  2. Computer Science Department, Technical University of Berlin, Franklinstraße 28/29, 10587, Berlin, Germany

    Hartmut Ehrig

  3. Computer Science Department, University of Bremen, Bibliothekstraße 1, 28359, Bremen, Germany

    Hans -Jörg Kreowski

  4. Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333, CA Leiden, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

de Lara, J., Vangheluwe, H. (2002). Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. In: Corradini, A., Ehrig, H., Kreowski, H.J., Rozenberg, G. (eds) Graph Transformation. ICGT 2002. Lecture Notes in Computer Science, vol 2505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45832-8_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-45832-8_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44310-0

  • Online ISBN: 978-3-540-45832-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation