A Multi-facet Approach to Dynamic Agent Systems

Authors:
Marek A. Bednarczyk;Wiesł/aw Pawł/owski;Luca Bernardinello;Lucia Pomello;Tomasz Borzyszkowski
Affiliations:
(Correspd.) Institute of Computer Science, Polish Academy of Sciences, Gdań/sk, Poland. m.bednarczyk@ipipan.gda.pl/ w.pawlowski@ipipan.gda.pl;Institute of Computer Science, Polish Academy of Sciences, Gdań/sk, Poland. m.bednarczyk@ipipan.gda.pl/ w.pawlowski@ipipan.gda.pl;Dipartimento di Informatica, Sistemistica e Comunicazione Università/ degli Studi di Milano Bicocca, Milano, Italy. bernardinello@disco.unimib.it/ pomello@disco.unimib.it;Dipartimento di Informatica, Sistemistica e Comunicazione Università/ degli Studi di Milano Bicocca, Milano, Italy. bernardinello@disco.unimib.it/ pomello@disco.unimib.it;Institute of Informatics, University of Gdań/sk, Poland. t.borzyszkowski@univ.gda.pl
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Year:
2008

Citing 8
Cited 0

Communicating sequential processes

Communicating sequential processes
Category theory and models for parallel computation

Proceedings of a tutorial and workshop on Category theory and computer programming
Petri Nets as Token Objects: An Introduction to Elementary Object Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Modular system development with pullbacks

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Modelling mobility with petri hypernets

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Expressing and Verifying Temporal and Structural Properties of Mobile Agents

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Limits of Modularity

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. Themodularity 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.