Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic

Authors:
Laura Giordano;Alberto Martelli
Affiliations:
Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria,;Dipartimento di Informatica, Università di Torino, Torino,
Venue:
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Year:
2007

Citing 11
Cited 3

Flexible protocol specification and execution: applying event calculus planning using commitments

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Conformance Checking for Models of Asynchronous Message Passing Software

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Conversation protocols: a formalism for specification and verification of reactive electronic services

Theoretical Computer Science - Implementation and application of automata
Tableau-based automata construction for dynamic linear time temporal logic*

Annals of Mathematics and Artificial Intelligence
An abductive framework for a-priori verification of web services

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
When are two web services compatible?

TES'04 Proceedings of the 5th international conference on Technologies for E-Services
A priori conformance verification for guaranteeing interoperability in open environments

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Reasoning about web services in a temporal action logic

Reasoning, Action and Interaction in AI Theories and Systems
DecSerFlow: towards a truly declarative service flow language

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Producing compliant interactions: conformance, coverage, and interoperability

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Verification of protocol conformance and agent interoperability

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems

Verifying Agents' Conformance with Multiparty Protocols

Computational Logic in Multi-Agent Systems
Collaborative refactoring: results of an empirical study using grounded theory

CRIWG'11 Proceedings of the 17th international conference on Collaboration and technology
Correctness properties for multiagent systems

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper addresses the problem of agents compatibility and their conformance to protocols. We assume that the specification of protocols is given in an action theory by means of temporal constraints and, in particular, communicative actions are defined in terms of their effects and preconditions on the social state of the protocol. We show that the problem of verifying the conformance of an agent with a protocol can be solved by making use of an automata based approach, and that the conformance of a set of agents with a protocol guarantees that their interaction cannot produce deadlock situations and it only gives rise to runs of the protocol.