A multi-facet approach to dynamic agent systems

• Autorzy: Bednarczyk M. , Bernardinello L. , Borzyszkowski T. , Pawłowski W. , Pomello L.

Warianty tytułu

PL

Wieloaspektowy opis dynamicznych systemów agentowych

• Języki publikacji: EN

Abstrakty

EN

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a numbci of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronisation operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.

PL

W pracy rozważa się problem modularnego definiowania złożonych, hybrydowych, dyskretnych systemów agentowych. Modularność wynika z patrzenia na system z różnych perspektyw, z których każda opisuje pewne specyficzne jego aspekty. Zdefiniowano operator, który synchronizuje systemy agentoiuo zorientowane w oparciu o wspólnych agentów oraz tranzycje. Konstrukcja operatora synchonizującego okazuje się być produktem w odpowiedniej kategorii. Pokazano także, że logikę opisu temporalnych i strukturalnych własności systemu agentowego, będącego produktem perspektyw, można otrzymać przez odpowiednie złożenie systemów logicznych dla perspektyw.

Słowa kluczowe

EN

dynamic agents; synchronization; categorical semantics; models of concurrent; distributed; mobile computing; semantics of conceptual modelling methods; system specification

PL

agent dynamiczny; synchronizacja; semantyka kategoryjna; modele obliczeń współbieżnych, rozproszonych i mobilnych; specyfikacja systemów

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2007
• Tom: Nr 1001
• Strony: 1--22
• Opis fizyczny: Bibliogr. 9 poz., rys.

Twórcy

autor

Bednarczyk M.

autor

Bernardinello L.

autor

Borzyszkowski T.

autor

Pawłowski W.

autor

Pomello L.

• Instytut Podstaw Informatyki PAN, filia Gdańsk ul. Abrahama 18, 81-825 Sopot

Bibliografia

• [1] M. A. Bednarczyk, L. Bernardinello, B. Caillaud, W. Pawłowski, and L. Pomello. Modular system development with pullbacks. In W. van der Aalst and E. Best, editors, 24th International Conference on Applications and Theory of Petri Nets, Eindhoven, The Netherlands, June 2003, volume 2679 of LNCS, pages 140-160. Springer-Verlag, 2003.
• [2] M. A. Bednarczyk, L. Bernardinello, W. Pawłowski, and L. Pomello. Modelling mobility with Petri hypernets. In J. L. Fiadeiro, P. D.Mosses, and R Orejas, editors, Recent Trends in Algebraic Development Techniques. 17th International Workshop WADT 2004, Barcelona, Spain, March 27-30, 2004. Revised Selected Papers, volume 3423 of LNCS, pages 28-44. Springer-Verlag, 2005.
• [3] M. A. Bednarczyk, L. Bernardinello, W. Pawłowski, and L. Pomello. From Petri hypernets to 1-safe nets. In D. Moldt, editor, Proceedings of the 4th International Workshop on Modelling of Objects, Components, and Agents, MOCA'06, Turku, Finland, 2006.
• [4] M. A. Bednarczyk, W. Jamroga, and W. Pawłowski. Expressing and verifying temporal and structural properties of mobile agents. Fundamenta Informaticae, 72:51-63, 2006.
• [5] L. Cardelli and A. D. Gordon. Mobile ambients. In Foundations of Software Science and Computation Structures: First International Conference, FOSSACS '98. Springer-Verlag, Berlin Germany, 1998.
• [6] C. A. R. Hoare. Communicating secfiiential processes. Prentice-Hall, Inc., Upper Saddle River, NJ, USA,, 1985.
• [7] A. Mazurkiewicz. Semantics of concurrent systems: a modular fixed point trace approach. Technical Report 84-19, Institute of Applied Mathematics and Computer Science, University of Leiden, Leiden, 1984,
• [8] G. Winskel. Category theory and models of parallel computation. In D. P. et al, editor, Category Theory and Computer Programming, volume 240 of LNCS, pages 266-281. Springer-Verlag, 1985.
• [9] W. Zielonka. Notes on finite asynchronous automata. RAIRO, Informatique Theoretique et Applications, 21:99-135, 1987.