Advertisement

Autonomous Units and Their Semantics — The Sequential Case

  • Karsten Hölscher
  • Hans-Jörg Kreowski
  • Sabine Kuske
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4178)

Abstract

In this paper, we introduce the notion of a community of autonomous units as a rule-based and graph-transformational device to model processes that run interactively but independently of each other in a common environment. The emphasis of the approach is laid on the study of the formal semantics of a community as a whole and of each of its member units separately. We concentrate on the sequential case where only one unit can act at a time and the rule applications of the involved units are interleaved with each other.

Keywords

Binary Relation Transformation Unit Graph Transformation Rule Application Common Environment 
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.
    Kreowski, H.J., Kuske, S.: Graph transformation units with interleaving semantics. Formal Aspects of Computing 11(6), 690–723 (1999)MATHCrossRefGoogle Scholar
  2. 2.
    Kreowski, H.J., Kuske, S.: Approach-independent structuring concepts for rule-based systems. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 299–311. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)Google Scholar
  4. 4.
    Kreowski, H.J., Kuske, S., Schürr, A.: Nested graph transformation units. International Journal on Software Engineering and Knowledge Engineering 7(4), 479–502 (1997)CrossRefGoogle Scholar
  5. 5.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G. (eds.): Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)MATHGoogle Scholar
  6. 6.
    Hölscher, K., Klempien-Hinrichs, R., Knirsch, P., Kreowski, H.J., Kuske, S.: Regelbasierte Modellierung mit autonomen Transformationseinheiten. Technical Report 1, University of Bremen (2006)Google Scholar
  7. 7.
    Weiss, G. (ed.): Multiagent Systems — A Modern Approach to Distributed Artificial Intelligence. The MIT Press, Cambridge (1999)Google Scholar
  8. 8.
    Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. The Knowledge Engineering Review 10(2) (1995)Google Scholar
  9. 9.
    Kennedy, J., Eberhart, R.C.: Swarm Intelligence. Morgan Kaufmann, San Francisco (2001)Google Scholar
  10. 10.
    Ehrig, H., Kreowski, H.J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency, Parallelism, and Distribution, vol. 3. World Scientific, Singapore (1999)Google Scholar
  11. 11.
    Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)Google Scholar
  12. 12.
    Heckel, R.: Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. PhD thesis, Technical University of Berlin (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Karsten Hölscher
    • 1
  • Hans-Jörg Kreowski
    • 1
  • Sabine Kuske
    • 1
  1. 1.Department of Computer ScienceUniversity of BremenBremenGermany

Personalised recommendations