Skip to main content
SpringerLink
Log in

Parallel Graph Transformations with Double Pushout Grammars

  • Conference paper
Book cover Artifical Intelligence and Soft Computing (ICAISC 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6114))

Included in the following conference series:

Abstract

Multiagent systems implementing artificial intelligence systems, require a formal representation to specify and simulate their properties and behavior. Double pushout graph grammars posses a very high expressive power; the possibility of the use of parallel graph transformations in a distributed environment make them useful in this area thanks to application of the complementary graphs concept. The mentioned idea is formally introduced and the polynomial computational complexity of underlying algorithms is proved.

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. Baland, P., Corradini, A., Montanari, U., Rossi, F.: Concurrent sematics of algebraic graph transformations, pp. 107–187 (1999)

    Google Scholar 

  2. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation - part i: Basic concepts and double pushout approach. In: Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol. 1, pp. 163–246. World Scientific, Singapore (1997)

    Google Scholar 

  3. Ehrig, H., Heckel, R., Lowe, M., Ribeiro, L., Wagner, A.: Algebraic Approaches to Graph Transformation – Part II: Single Pushout and Comparison with Double Pushout Approach, pp. 247–312

    Google Scholar 

  4. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: Monographs in Theoretical Computer Science. An EATCS Series. Springer, New York (2006)

    Google Scholar 

  5. Ehrig, H., Ermel, C., Hermann, F.: On the relationship of model transformations based on triple and plain graph grammars. In: GRaMoT 2008: Proceedings of the Third International Workshop on Graph and Model Transformations, pp. 9–16. ACM, New York (2008)

    Chapter  Google Scholar 

  6. Kotulski, L.: GRADIS – Multiagent Environment Supporting Distributed Graph Transformations. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part III. LNCS, vol. 5103, pp. 644–653. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  7. Kotulski, L., Sȩdziwy, A.: Agent Framework For Decomposing a Graph Into the Equally Sized Subgraphs. In: WORLDCOMP 2008 Conference, Foundations of Computer Science, pp. 245–250 (2008)

    Google Scholar 

  8. Kotulski, L., Strug, B.: Parallel Graph Transformation in Adaptive Design. In: Second Intenational Workshop Graph Computation Models Leicester 2008, pp. 43–50 (2008)

    Google Scholar 

  9. Montanari, U., Pistore, M., Rossi, F.: Modeling concurrent, mobile and coordinated systems via graph transformations, pp. 189–268 (1999)

    Google Scholar 

  10. Morandini, M., Penserini, L., Perini, A.: Operational semantics of goal models in adaptive agents. In: AAMAS 2009: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, Richland, SC, pp. 129–136. International Foundation for Autonomous Agents and Multiagent Systems (2009)

    Google Scholar 

  11. Peng, W., Krueger, W., Grushin, A., Carlos, P., Manikonda, V., Santos, M.: Graph-based methods for the analysis of large-scale multiagent systems. In: AAMAS 2009: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, Richland, SC, pp. 545–552. International Foundation for Autonomous Agents and Multiagent Systems (2009)

    Google Scholar 

  12. Sycara, K.P.: Multiagent system. AI Magazine, 79–92 (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Automatics, AGH University of Sciences and Technology, al. Mickiewicza 30, 30-059, Kraków, Poland

    Leszek Kotulski & Adam Sȩdziwy

Authors
  1. Leszek Kotulski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Adam Sȩdziwy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Artificial Intelligence, Academy of Humanities and Economics, Poland

    Leszek Rutkowski

  2. Academy of Humanities and Economics in Łódź, ul. Rewolucji 1905 nr 64, Łódź, Poland

    Rafał Scherer

  3. Institute of Automatics, AGH University of Science and Technology, Al. Mickiewicza 30, PL-30-059, Kraków, Poland

    Ryszard Tadeusiewicz

  4. Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Berkeley Initiative in Soft Computing (BISC), 94720-1776, CA

    Lotfi A. Zadeh

  5. Computational Intelligence Laboratory Department of Electrical and Computer Engineering, University of Louisville, 40292, Louisville, KY

    Jacek M. Zurada

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kotulski, L., Sȩdziwy, A. (2010). Parallel Graph Transformations with Double Pushout Grammars. In: Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds) Artifical Intelligence and Soft Computing. ICAISC 2010. Lecture Notes in Computer Science(), vol 6114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13232-2_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13232-2_34

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13231-5

  • Online ISBN: 978-3-642-13232-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation