Formal ReSpecT

Andrea Omicini, Enrico Denti

Proceedings of the GULP-PRODE Joint Conference on Declarative Programming AGP'00 - La Habana, Cuba, December 4-7, 2000, pages 16

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.

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

Tags: ReSpecT
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY