@inproceedings{3178a2a3ea9349c18d936dba7cc1e9c3,
title = "Reasoning about Web services in a temporal action logic",
abstract = "The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory based on a dynamic, linear-time, temporal logic. The proposed framework is based on a social approach to agent communication, where the effects of communicative actions allow changes in the social state, and interaction protocols are defined in terms of the creation and fulfillment of commitments and permissions among the agents. We show how to introduce epistemic operators in the action theory to deal with incomplete information, and we address the problem of verifying properties of Web services, as well as the problem of reasoning about the composition of Web services.",
author = "Alberto Martelli and Laura Giordano",
year = "2006",
doi = "10.1007/11829263_13",
language = "English",
isbn = "3540379010",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "229--246",
editor = "Oliviero Stock and Marco Schaerf",
booktitle = "Reasoning, Action and Interaction in AI Theories and Systems - Essays Dedicated to Luigia Carlucci Aiello",
}