A Multi-facet Approach to Dynamic Agent Systems

• Autorzy: Bednarczyk M.A. , Pawłowski A. , Bernardinello L. , Pomello L. , Borzyszkowski T.
• 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 number of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronization 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.

Słowa kluczowe

EN

dynamic agents; synchronization; categorical semantics; models of concurrent; distributed and mobile computing; system specification

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 85, nr 1-4
• Strony: 19--33
• Opis fizyczny: bibliogr. 11 poz., wykr.

Twórcy

autor

Bednarczyk M.A.

autor

Pawłowski A.

autor

Bernardinello L.

autor

Pomello L.

autor

Borzyszkowski T.

• Institute of Computer Science, Polish Academy of Science, Gdańsk, Poland,

Bibliografia

• [1] M. A. Bednarczyk. Limits of modularity. Fundamenta Informaticae, 74(2):167-187, 2006.
• [2] M. A. Bednarczyk, L. Bernardinello, B. Caillaud,W. Pawłowski, and L. Pomello. Modular system development with pullbacks. InW. 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.
• [3] M. A. Bednarczyk, L. Bernardinello, W. Pawłowski, and L. Pomello. Modelling mobility with Petri hypernets. In J. L. Fiadeiro, P. D. Mosses, and F. 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.
• [4] 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.
• [5] M. A. Bednarczyk, W. Jamroga, and W. Pawłowski. Expressing and verifying temporal and structural properties of mobile agents. Fundamenta Informaticae, 72(1-3):51-63, 2006.
• [6] 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.
• [7] C. A. R. Hoare. Communicating sequential processes. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1985.
• [8] 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.
• [9] R. Valk. Petri nets as token objects: An introduction to elementary object nets. In W. van der Aalst and E. Best, editors, Applications and Theory of Petri Nets 1998, Proceedings, volume 1420 of LNCS, pages 1-25. Springer-Verlag, 1998.
• [10] 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.
• [11] W. Zielonka. Notes on finite asynchronous automata. RAIRO, Informatique Th´eoretique et Applications, 21:99-135, 1987.