Autonomous Units and Their Semantics — The Sequential Case
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.
KeywordsBinary Relation Transformation Unit Graph Transformation Rule Application Common Environment
Unable to display preview. Download preview PDF.
- 3.Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)Google Scholar
- 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.Weiss, G. (ed.): Multiagent Systems — A Modern Approach to Distributed Artificial Intelligence. The MIT Press, Cambridge (1999)Google Scholar
- 8.Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. The Knowledge Engineering Review 10(2) (1995)Google Scholar
- 9.Kennedy, J., Eberhart, R.C.: Swarm Intelligence. Morgan Kaufmann, San Francisco (2001)Google Scholar
- 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.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.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