Skip to main content
SpringerLink
Log in

Compositional Construction of Simulation Models Using Graph Grammars

  • Conference paper
  • First Online:
Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999)

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

Abstract

In this paper we present an approach that uses a formal specification formalism, namely graph grammars, to describe simulation models. The construction of the models is based on the concept of parallel composition of graph grammars, that is a kind of composition that is compatible with a true concurrency semantics. We provide the guidelines for describing and smoothly integrating the different aspects of a simulation model, namely the behaviour of the simulated system, the desired animation of the simulation and the statistics of the simulation.

This work was partially supported by the projects PLATUS (CNPq and Fapergs), Graphit (CNPq and DLR) and QaP-For (Fapergs).

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Copstein, SIMOO: Plataforma orientada a objetos para simulação discreta multi-paradigma, Ph.D. thesis, Federal University of Rio Grande do Sul, 1997.

    Google Scholar 

  2. B. Copstein and L. Korff, Specifying simulation models using graph grammars, ESS’98 10th European Simulation Symposium, SCS, 1998, pp. 60–64.

    Google Scholar 

  3. B. Copstein, C. E. Pereira, and F. Wagner, The object oriented approach and the event simulation paradigms, 10th European Simulation Multiconference, SCS, 1996.

    Google Scholar 

  4. B. Copstein, C. E. Pereira, and F. Wagner, Simoo-an environment for the objetc-oriented discret simulation, 9th European Simulation Symposium & Exhibition-Simulation in Industry, SCS, 1997.

    Google Scholar 

  5. H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, and A. Corradini, Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach, The Handbook of Graph Grammars, vol. 1: Foundations, World Scientific, 1997, pp. 247–312.

    Google Scholar 

  6. H. Ehrig, Introduction to the algebraic theory of graph grammars, Lecture Notes in Computer Science, vol. 73, Springer, 1979, pp. 1–69.

    Google Scholar 

  7. N. Götz et alii., Constructive specification techniques-integrating functional performance and dependability aspects, Quantitative methods in parallel systems, Springer, 1995.

    Google Scholar 

  8. M. Korff and L. Ribeiro, Formal relationships between graph grammars and Petri nets, Lecture Notes in Computer Science, vol. 1073, Springer, 1996, pp. 288–303.

    Google Scholar 

  9. A. Lindenmayer, An introduction to parallel map generating systems, Lecture Notes in Computer Science, vol. 291, Springer, 1987, pp. 27–40.

    Google Scholar 

  10. M. Löwe, M. Korff, and A. Wagner, An algebraic framework for the transformation of attributed graphs, Term Graph Rewriting: Theory and Practice, John Wiley & Sons Ltd, 1993, pp. 185–199.

    Google Scholar 

  11. M. Löwe, Algebraic approach to single-pushout graph transformation, Theoretical Computer Science 109 (1993), 181–224.

    MATH  Google Scholar 

  12. M. Nagl (organizer), The use of graph grammars in applications, Lecture Notes iun Computer Science, vol. 532, Springer, 1991, pp. 41–60.

    Google Scholar 

  13. M. Pidd, An introduction to computer simulation, Winter Simulation Conference 1994, SCS, 1994.

    Google Scholar 

  14. P. Prusinkiewicz and A. Lindenmayer, The algorithmic beauty of plants, Springer, 1996.

    Google Scholar 

  15. A. Pritsker, The GASP IV simulation language, John Wiley and Sons, 1974.

    Google Scholar 

  16. L. Ribeiro, Parallel composition and unfolding semantics of graph grammars, Ph.D. thesis, Technical University of Berlin, Germany, 1996.

    Google Scholar 

  17. L. Ribeiro, Parallel composition of graph grammars, Applied categorical structures 7, no.4 (1999), 405–430.

    Article  MATH  MathSciNet  Google Scholar 

  18. R. E. Shannon, Systems simulation, the art and science, Prentice Hall, 1975.

    Google Scholar 

  19. G. Taentzer, Parallel and distributed graph transformation: Formal description and application to communication-based systems, Ph.D. thesis, Technical University of Berlin, 1996.

    Google Scholar 

  20. K. Trivedi, Probability and statistics with reliability, queuing and computer science applications, Prentice Hall, 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universidade Federal do Rio Grande do Sul, Brazil

    Leila Ribeiro

  2. Pontifícia Universidade Católica do Rio Grande do Sul, Brazil

    Bernardo Copstein

Authors
  1. Leila Ribeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernardo Copstein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science III, Aachen University of Technology (RWTH), Ahornstr. 55, 52074, Aachen, Germany

    Manfred Nagl  & Manfred Münch  & 

  2. Institute for Software Technology, Department of Computer Science, University of the German Federal Armed Forces Munich, Werner-Heisenberg-Weg 39, 85579, Neubiberg, Germany

    Andreas Schürr

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ribeiro, L., Copstein, B. (2000). Compositional Construction of Simulation Models Using Graph Grammars. In: Nagl, M., Schürr, A., Münch, M. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 1999. Lecture Notes in Computer Science, vol 1779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45104-8_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-45104-8_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67658-4

  • Online ISBN: 978-3-540-45104-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation