ALMA MATER STUDIORUM UNIVERSITY OF BOLOGNA UNIVERSITY OF FERRARA Policy-based reasoning for Policy-based reasoning for smart web service interaction smart web service interaction Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Marco Alberti, Marco Gavanelli, Evelina Lamma
22
Embed
ALMA MATER STUDIORUM UNIVERSITY OF BOLOGNA UNIVERSITY OF FERRARA Policy-based reasoning for smart web service interaction Federico Chesani, Paola Mello,
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
ALMA MATER STUDIORUMUNIVERSITY OF BOLOGNA UNIVERSITY OF FERRARA
Policy-based reasoning for Policy-based reasoning for smart web service interactionsmart web service interaction
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Marco Alberti, Marco Gavanelli, Evelina Lamma
2
MOTIVATION
Service Oriented ComputingService Oriented Computing off-the-shelf solutions (web services)off-the-shelf solutions (web services) composition of w.s. into new applicationscomposition of w.s. into new applications
Many advantagesMany advantages rapid prototypingrapid prototyping complex applications from simple elementscomplex applications from simple elements
Some problemsSome problems decreasing lifetime of softwaredecreasing lifetime of software need to cope with proliferation of new need to cope with proliferation of new
servicesservices difficult to remain competitivedifficult to remain competitive
3
FOCUS
How can we dynamically understand if two web services can inter-operate, without having them a-priori knowledge of each other’s capabilities, but by reasoning about policies exchanged at run-time?
alice: “I need to obtain a device. I can obtain an item if it is delivered to me. I can only pay by credit card. And before I use my credit card to pay a shop, I need to see evidence of the shop’s BBB membership.”
eShop: “I have such a device in stock. I can deliver an item, if I have it in stock, and after I get paid for it. I accept credit card payments, cash, and cheques. I am a member of the BBB, and I can show evidence of it.”
5
Example:alice & eShop (cont’d)
Open problems How does alice know that eShop’s
policies are compatible with her own ones? In case they are compatible, how can
alice/eShop engage in successful interaction?
Possible solutions Trial and error: alice tries directly to
obtain the device from eShop, e.g. by sending a request
Reasoning about policies: alice tries first to consider whether eShop’s policies are compatible with her own ones
6
Example:alice & eShop (cont’d)
Reasoning about policies: possible steps1. alice requests from eShop its policies
regarding the sales of device2. eShop composes a set of rules related to
alice’s request (policies)3. alice reasons on her goal, her own
policies, and eShop’s policies, and concludes that there exists a possible transaction between them which makes her achieve her goal (to obtain device)
4. at a later point, alice and eShop may engage in such a transaction about device
WA
VW
AV
ee
7
WAVe Architecture
WAVe Framework
8
WAVe Framework
Enables reasoning about possible events
Separates private knowledge (Gws & KBws) from public knowledge (policies/ICws )
9
WAVe Framework
Events: observable behaviour generated by self (ws can make them happen): H externally generated (ws “expects” them): E
H, E: Hypotheses on possibly happening events
WS ALP interface behaviour specification: Pws Pws: <KBws, Ews, ICws> ICws: forward rules, Body → Head with
disjunctions in the Head Gws: the goal of a web service (e.g. have
device)
10
Modelling in WAVe
Gws
Sample alice goal: “to have device at time 50.”
have( alice, device, 50 ) .
11
Modelling in WAVe
KBws
Sample clause in alice knowledge base: “alice haa an item at time T, if eShop delivers it to her at a time Td no later than T.”
Sample eShop policy (2): “if a customer wishes to buy an item, and (s)he has paid it either by credit card, or by cash, or by cheque, then eShop will deliver the item […].”
How can we dynamically understand if two web services can inter-operate, without having them a-priori knowledge of each other’s capabilities, but by reasoning about policies exchanged at run-time?
and KB)and KB) Semantics Semantics (based on AEDP: A-minimal (based on AEDP: A-minimal
abductive answers achieving a goal)abductive answers achieving a goal) Verification Verification ((alicealice’s achievable goal)’s achievable goal)
22
OTHER WORK
Related WorkRelated Work Huge literature on architectures, logics, and Huge literature on architectures, logics, and
languages for the semantic web languages for the semantic web Work on policies, e.g. Bradshaw et al. and Work on policies, e.g. Bradshaw et al. and
Finin et al.Finin et al. Work on agent protocols, e.g. Singh et al. and Work on agent protocols, e.g. Singh et al. and
SCIFFSCIFF Proof-procedures and semantics for ALPProof-procedures and semantics for ALP
Future WorkFuture Work Extensive empirical evaluation of WAVExtensive empirical evaluation of WAVee Selection/filtering of policies (Selection/filtering of policies (point 2.)) Use of the output of WAVUse of the output of WAVee by web services ( by web services (
point 4.)) Exchange of policies between web servicesExchange of policies between web services