Autonomous Units to Model Interacting Sequential and Parallel Processes

• Autorzy: Hölscher K. , Kreowski H-J. , Kuske S.
• Języki publikacji: EN

Abstrakty

EN

In this paper, we introduce the notion of a community of autonomous units as a rulebased and graph-transformational device to model processes that run interactively but independently of each other in a common environment. The main components of an autonomous unit are a set of rules, a control condition, and a goal. Every autonomous unit transforms graphs by applying its rules so that the control condition is satisfied. If the goal is reached the resulting transformation process is successful. A community contains a set of autonomous units, an initial environment specification, and an overall goal. In every transformation process of a community the autonomous units interact via their common environment. As an example, the game Ludo is modeled as a community of self-controlled players who interact on a common board. The emphasis of the presented approach is laid on the study of the formal semantics of a community as a whole and of each of its member units separately. In particular, a sequential as well as a parallel semantics is introduced, and communities with parallel semantics are compared with Petri nets, cellular automata, and multiagent systems.

Słowa kluczowe

EN

autonomous units; graph transformation; formal semantics

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 92, nr 3
• Strony: 233--257
• Opis fizyczny: Bibliogr. 17 poz., wykr.

Twórcy

autor

Hölscher K.

autor

Kreowski H-J.

autor

Kuske S.

• Department of Computer Science University of Bremen P.O.Box 330440, D-28334 Bremen, Germany,

Bibliografia

• [1] Bause, F., Kritzinger, P.: Stochastic Petri Nets - An Introduction to the Theory (Second Edition), Vieweg & Sohn, 2002.
• [2] Corradini, A., Ehrig, H., Heckel, R., Lőwe, M., Montanari, U., Rossi, F.: Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach, in: Rozenberg [14], 163-245.
• [3] Ehrig, H., Ehrig, K., Prange, U., Taentzer, G., Eds.: Fundamentals of Algebraic Graph Transformation, Springer, 2006.
• [4] Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G., Eds.: Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools, World Scientific, 1999.
• [5] Ermel, C., Rudolf, M., Taentzer, G.: The AGG-Approach: Language and Environment, in: Ehrig et al. [4], 551-603.
• [6] Hőlscher, K., Klempien-Hinrichs, R., Knirsch, P., Kreowski, H.-J., Kuske, S.: Autonomous Units: Basic Concepts and Semantic Foundation, Understanding Autonomous Cooperation and Control in Logistics The Impact on Management, Information and Communication and Material Flow (M. Hülsmann, K. Windt, Eds.), Springer, 2007.
• [7] Hőlscher, K., Kreowski, H.-J., Kuske, S.: Autonomous Units and their Semantics - the Sequential Case, Proc. 3rd Intl. Conference on Graph Transformations (ICGT 2006) (A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, G. Rozenberg, Eds.), 4178, Springer, 2006.
• [8] Kennedy, J., Eberhart, R. C.: Swarm Intelligence, Morgan Kaufmann, 2001.
• [9] Kreowski, H.-J., Kuske, S.: Graph Transformation Units with Interleaving Semantics, Formal Aspects of Computing, 11(6), 1999, 690-723.
• [10] Kreowski, H.-J., Kuske, S.: Autonomous Units and Their Semantics - The Parallel Case, Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006 (J. Fiadeiro, P. Schobbens, Eds.), 4408, 2007.
• [11] Kuhn, A.: Prozessketten - Ein Modell für die Logistik, in: Erfolgsfaktor Logistikqualität (H.-P. Wiendahl, Ed.), Springer, 2002, 58-72.
• [12] Peitgen, H., Jürgens, H., Saupe, D.: Chaos and Fractals, Springer, 2004.
• [13] Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis With Petri Nets, Springer Verlag, 1998.
• [14] Rozenberg, G., Ed.: Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations, World Scientific, 1997.
• [15] Scheer, A.: Vom Geschäftsprozeß zum Anwendungssystem, Springer, 2002.
• [16] Wolfram, S.: A New Kind of Science, Wolfram Media, Inc., 2002.
• [17] Wooldridge, M., Jennings, N. R.: Intelligent Agents: Theory and Practice, The Knowledge Engineering Review, 10(2), 1995.