Affiliations: Institute of Computer Science, Polish Academy of
Sciences, Gdańsk, Poland. [email protected];
[email protected] | Dipartimento di Informatica, Sistemistica e
Comunicazione Università degli Studi di Milano Bicocca, Milano, Italy.
[email protected]; [email protected] | Institute of Informatics, University of Gdańsk,
Poland. [email protected]
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
