APICe » Publications » Formal ReSpecT

Formal ReSpecT

Andrea Omicini, Enrico Denti
Logic tuple centres have shown that logic-based languages can be effectively exploited not only for building individual agents and enabling inter-agent communication in multi-agent systems, but also for ruling inter-agent communication so as to build social behaviours. In this paper, we formally define the notion of logic tuple centre as well as the operational semantics of the logic-based language ReSpecT for the behaviour specification of logic tuple centres. For this purpose, we exploit a general semantic framework for asynchronous distributed systems allowing a coordination medium to be formally denoted in a separate and independent way with respect to the whole coordinated system. This shows that a logic-based coordination medium does not limit agents and coordination languages to be logic-based, but may instead enable agents of different sorts and technologies to be combined and coordinated in an effective way by exploiting a logic-based approach.
Proceedings of the GULP-PRODE Joint Conference on Declarative Programming AGP'00 - La Habana, Cuba, December 4-7, 2000, pages 16, 2000
	Author = {Omicini, Andrea and Denti, Enrico},
	Booktitle = {GULP-PRODE Joint Conference on Declarative Programming AGP'00, La Habana, Cuba, December 4-7, 2000. Proceedings.},
	Title = {Formal {{\sf ReSpecT}}},
	Year = 2000}