Advertisement

Parallel Graph Transformations with Double Pushout Grammars

  • Leszek Kotulski
  • Adam Sȩdziwy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6114)

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.

Keywords

Multiagent System Graph Transformation Graph Grammar Border Node Centralize Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baland, P., Corradini, A., Montanari, U., Rossi, F.: Concurrent sematics of algebraic graph transformations, pp. 107–187 (1999)Google Scholar
  2. 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. 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–312Google Scholar
  4. 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. 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)CrossRefGoogle Scholar
  6. 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)CrossRefGoogle Scholar
  7. 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. 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. 9.
    Montanari, U., Pistore, M., Rossi, F.: Modeling concurrent, mobile and coordinated systems via graph transformations, pp. 189–268 (1999)Google Scholar
  10. 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. 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. 12.
    Sycara, K.P.: Multiagent system. AI Magazine, 79–92 (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Leszek Kotulski
    • 1
  • Adam Sȩdziwy
    • 1
  1. 1.Institute of AutomaticsAGH University of Sciences and TechnologyKrakówPoland

Personalised recommendations