Coordinating the safe execution of tasks in a constrained multi-agent system
Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma · 2002
The problem of ensuring the execution of tasks in a constrained multi-agent system was studied. Some operators were proposed that could be mapped into a library of the languages used to encode the agents in the system. A formalism was also suggested that is used to express the way agents can coordinate the requests of services, and to verify that they do not collide with each other's conditions.