Affiliations: 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 | Institute of Informatics, University of Gdańsk,
Poland. t.borzyszkowski@univ.gda.pl
Note: [] Address for correspondence: Institute of Computer Science,
Polish Academy of Sciences, Gdańsk, Poland
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.
Keywords: dynamic agents, synchronization, categorical semantics, models of concurrent, distributed and mobile computing, system specification
