APICe » Publications » Formal ReSpecT

Formal ReSpecT

Andrea Omicini, Enrico Denti
Logic-based languages have already proved to be effective to build individual agents and to enable inter-agent communication in multi-agent systems. Also, logic tuple centres have shown that logic-based languages can be effectively exploited to rule 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 formal framework for asynchronous systems allowing coordination media to be represented in a separate and independent way with respect to the coordinated entities. As a by-product, this shows that a logic-based approach may be effectively exploited for the coordination of heterogeneous agents of different sorts and technologies.
Electronic Notes in Theoretical Computer Science 48, pages 179-196, June 2001.
Agostino Dovier, Maria Chiara Meo, Andrea Omicini (eds.)
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000
	Author = {Omicini, Andrea and Denti, Enrico},
	Doi = {10.1016/S1571-0661(04)00156-2},
	Editor = {Dovier, Agostino and Meo, Maria Chiara and Omicini, Andrea},
	Isbn = {0-444-50916-X},
	Issn = {1571-0661},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Month = jun,
	Note = {Declarative Programming -- Selected Papers from AGP 2000, La Habana, Cuba, 4--6~} # dec # {~2000},
	Pages = {179--196},
	Title = {Formal {{\sf ReSpecT}}},
	Url = {http://www.sciencedirect.com/science/article/pii/S1571066104001562},
	Volume = 48,
	Year = 2001}