TY - GEN
T1 - A temporal approach to the specification and verification of interaction protocols
AU - Giordano, L.
AU - Martelli, A.
AU - Terenziani, P.
AU - Bottrighi, A.
AU - Montani, S.
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84868647976
M3 - Conference contribution
AN - SCOPUS:84868647976
SN - 8837115903
SN - 9788837115906
T3 - WOA 2005 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems
SP - 171
EP - 176
BT - WOA 2005 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents"
T2 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, WOA 2005
Y2 - 14 November 2005 through 16 November 2005
ER -