A temporal approach to the specification and verification of interaction protocols

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

The paper presents a proposal for the specification and verification of systems of communicating agents in a temporal logic. The proposal is based on a social approach to agent communication, where communication is described in terms of changes to the social state, and interaction protocols are defined by a set of temporal constraints, which specify the effects and preconditions of the communicative actions on the social state. The paper addresses the problem of combining protocols to define new more specialized protocols and exploits this idea in the specification of clinical guidelines.

Lingua originaleInglese
Titolo della pubblicazione ospiteWOA 2005 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents"
Sottotitolo della pubblicazione ospiteSimulation and Formal Analysis of Complex Systems
Pagine171-176
Numero di pagine6
Stato di pubblicazionePubblicato - 2005
Evento6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, WOA 2005 - Camerino, MC, Italy
Durata: 14 nov 200516 nov 2005

Serie di pubblicazioni

NomeWOA 2005 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, WOA 2005
Paese/TerritorioItaly
CittàCamerino, MC
Periodo14/11/0516/11/05

Fingerprint

Entra nei temi di ricerca di 'A temporal approach to the specification and verification of interaction protocols'. Insieme formano una fingerprint unica.

Cita questo