Reasoning About Web Services in a Temporal Action Logic | Zendy

Alberto Martelli | Zendy; Laura Giordano | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Reasoning About Web Services in a Temporal Action Logic

Author(s) -

Alberto Martelli,

Laura Giordano

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-37901-0

DOI - 10.1007/11829263_13

Subject(s) - computer science , temporal logic , web service , action (physics) , situation calculus , action theory (sociology) , temporal logic of actions , linear temporal logic , ws i basic profile , epistemic modal logic , description logic , world wide web , state (computer science) , social semantic web , web modeling , theoretical computer science , artificial intelligence , human–computer interaction , interval temporal logic , web intelligence , programming language , multimodal logic , epistemology , philosophy , physics , quantum mechanics

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research