We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking Lit the system front a number of different perspectives. each dealing ...
详细信息
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking Lit the system front 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.
暂无评论