SOC-chapter17

Chapter 17:
Organizations
Service-Oriented Computing: Semantics, Processes, Agents
– Munindar P. Singh and Michael N. Huhns, Wiley, 2005
Highlights of this Chapter





Chapter 17
Contracts
Spheres of Commitment
Achieving Collaboration via Conventions
Policies
Negotiation
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
2
Why Organizations?
Serious applications of services require
interactions structured in subtle ways
 Organizations consist of agents (business
partners) providing or using services
 Organizations



Chapter 17
Relate well to human organizations
Promote coherence in service interactions
Offer a conceptually natural, high-level basis for
understanding and designing service interactions
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
3
Organizations


Organizations nest naturally (not
necessarily as trees)
 All organizations are agents
 Some agents are organizations
Organizations help overcome
limitations of individuals in




Reasoning
Capabilities
Perception
Lifetime, persistence
Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
4
Three Kinds of Organizations

Concrete: agents playing roles


Configured, run-time concept
Abstract (templates): roles and relationships
among roles


Design-time concept
Institutions: part abstract and part concrete


Run-time concept, but the membership can change
Example: eBay, where buyers and sellers can
change but eBay itself is a fixed participant
Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
5
Legal Abstractions




Chapter 17
Contracts
Directed obligations
Hohfeldian concepts
Compliance
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
6
Contracts

Contracts structure interactions among
autonomous parties


People and corporations
Governmental agencies
Compare with contracts in programming
Key questions: how to create, modify,
perform, or monitor contracts

Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
7
Motivation for Contracts


Provide a basis for service agreements
Crucial in open environments



Chapter 17
Emphasize behavior: observable by others
Constrain behavior: limit autonomy
Mostly disregard internal implementations,
thus facilitating heterogeneity
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
8
Legal Concepts


Inherently multiagent: about
interactions among autonomous parties
Directed obligations



Contrast with traditional deontic logic


Chapter 17
One party being obliged to another party
Multiagent flavor
Zero-agent: it is obliged that …
One-agent: you are obliged to do …
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
9
Rights

The rights or claims a party has on
another party


Chapter 17
Not the right (ethical) thing to do
The claims of one party are the duties
of another: claim is a correlate of duty
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
10
Hohfeldian Concepts: 1


The term right is used ambiguously
Sixteen concepts distinguish the main
situations:




Chapter 17
Four main concepts
Their correlates
Their negations
Their negations’ correlates
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
11
Hohfeldian Concepts: 2




Chapter 17
Claim-duty: as above
Privilege-exposure: freedom from the
claims of another agent
Power-liability: when an agent can
change the claim-duty relationship of
another agent
Immunity-disability: freedom from the
power of another agent
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
12
Commitments

A commitment





Involves three parties: a debtor commits to a
creditor within a context
Is scoped by its (organizational) context
May be manipulated, subject to additional
commitments
is public (unlike beliefs)
Commitments provide


Chapter 17
Flexible interactions, thus promoting coherence
A basis for judging compliance
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
13
Manipulating Commitments

Operations on commitments:







Create
Discharge (satisfy)
Cancel
Release (eliminate)
Delegate (change debtor)
Assign (change creditor)
Metacommitments constrain the
manipulation of commitments
Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
14
Commitments for Contracts

A contract is a set of related commitments



Provides a notional context to the commitments
Applies between specified parties, in a context
(e.g., UCC, real-estate, Internet commerce)
In contrast to commitments, other
approaches:



Chapter 17
Single-agent focused, e.g., deontic logic
Don’t handle organizational aspects of contracts
Don’t accommodate manipulation of contracts
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
15
SoCom: Sphere of Commitment


A computational abstraction based on
organizations
An institution with additional features



Chapter 17
Involves roles (abstract) or agents (concrete)
A witness for the commitment
A locus for testing compliance and enforcing
corrections (e.g., compensation)
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
16
SoComs and Structure

A SoCom inherits policies from
surrounding (contextual) SoCom


E.g., UCC applies to commercial
interactions
Inherited policies can conflict because of


Nonunique nesting
When agents play multiple roles
- Munindar Singh and Michael Huhns
Virtual Enterprises (VE)
A VE offers commitments
beyond those of its members
 Sellers come together with a
new proxy agent called VE
 Example of VE agent
commitments:
 Entertain order updates
 Notify on change of order
 Price guarantee
 Delivery date guarantee
Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
18
A Selling VE (Composition Example)
Customer
Virtual Enterprise
I would like to buy a valve with input
dia of 43, two matching hoses, and
of price up to $50.00
Hose Seller
Valve Seller
Two 43 dia hoses in stock?
One valve with input dia 43, output dia 43 in stock?
Yes
Order placed; 1 valve idia = 43
Odia = 43. 2 hoses dia = 43
Charge = $14.83
Yes
Sell two 43 dia hoses
Order is ready
valve input dia = 43, output dia 43 discontinued
valve input dia = 43, output dia 21 recommended
Cancel previous order
Order revised; 1 valve idia = 43
odia = 21, hose dia = 43, and
hose dia = 21. Charge = $14.83
One 43 dia & one 21
dia hose in stock?
Yes
Sell one 43 dia & one 21
dia hose
Sell one valve with input dia 43, output dia 21
Order processed
Chapter 17
Order is ready
Order is ready
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
19
Teams
Tightly knit organizations
 Goals shared by all team members
 Commitments to help team members
 Commitments to adopt additional roles
and offer capabilities on behalf of a
disabled member
Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
20
Teamwork
When a team carries out some complex
activity




Chapter 17
Negotiating what to do
Monitoring actions jointly
Supporting each other
Repairing plans
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
21
Negotiation
Negotiation is central to adaptive, cooperative
behavior
 Negotiation involves a small set of agents
 Actions are propose, counterpropose,
support, accept, reject, dismiss, retract
 Negotiation requires a common language and
common framework (an abstraction of the
problem and its solution)
Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
22
Negotiation Mechanism Attributes
Efficiency
 Stability
 Simplicity
 Distribution
 Symmetry
E.g., sharing book purchases, with cost
decided by coin flip

Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
23
Negotiation among Utility-Based Agents
Problem: How to design the rules of an
environment so that agents interact
productively and fairly, e.g.,
 Vickrey’s Mechanism: lowest bidder
wins, but gets paid second lowest bid

Chapter 17
This motivates each bidder to bid its true
valuation
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
24
Negotiation



A deal is a joint plan between two agents that would
satisfy their goals
The utility of a deal for an agent is the amount he is
willing to pay minus the cost to him of the deal
The negotiation set is the set of all deals that have a
positive utility for every agent. The possible
situations for interaction are



Chapter 17
Conflict: the negotiation set is empty
Compromise: agents prefer to be alone, but will agree to a
negotiated deal
Cooperative: all deals in the negotiation set are preferred by
both agents over achieving their goals alone
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
25
Negotiation Mechanism
The agents follow a Unified Negotiation Protocol, which
applies to any situation. In this protocol,
 The agents negotiate on mixed-joint plans, i.e., plans
that bring the world to a new state that is better for
both agents
 If there is a conflict, they “flip a coin” to decide which
agent gets to satisfy his goal
Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
26
Problem Domain Hierarchy
Worth-Oriented Domains
State-Oriented Domains
Task-Oriented Domains
Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
27
Task-Oriented Domains: 1


A TOD is a tuple <T, A, c>, where T is
the set of tasks, A is the set of agents,
and c(X) is a monotonic function for the
cost of executing the set of tasks X
Examples
Deliveries: c(X) = length of minimal path that visits X
 Postmen: c(X) = length of minimal path plus return
 Databases: c(X) = minimal number of needed DB ops

Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
28
Task-Oriented Domains: 2







Chapter 17
A deal is a redistribution of tasks
Utility of deal d for agent k is
Uk (d) = c(Tk) - c(dk)
The conflict deal, D, is no deal
A deal d is individual rational if d>D
Deal d dominates d’ if d is better for at least one
agent and not worse for the rest
Deal d is Pareto optimal if there is no d’>d
The set of all deals that are individual rational and
Pareto optimal is the negotiation set, NS
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
29
Monotonic Concession Protocol




Chapter 17
Each agent proposes a deal
If one agent matches or exceeds what the
other demands, the negotiation ends
Else, the agents propose the same or more
(concede)
If no agent concedes, the negotiation ends
with the conflict deal
This protocol is simple, symmetric,
distributed, and guaranteed to end in a finite
number of steps in any TOD. What strategy
should an agent adopt?
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
30
Zeuthen Strategy
Offer deal that is best among all deals in NS
 Calculate risks of self and opponent
R1=(utility A1 loses by accepting A2’s offer)
(utility A1 loses by causing a conflict)



If risk is smaller than opponent, offer minimal
sufficient concession (a sufficient concession makes
opponent’s risk less than yours); else offer original
deal
If both use this strategy, they will agree on deal that
maximizes the product of their utilities (Pareto
optimal)
The strategy is not stable (when both should concede on last step,
but it’s sufficient for only one to concede, then one can benefit by dropping
strategy)
Chapter 17
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
31
Deception-Free Protocols

Zeuthen strategy requires full
knowledge of







Tasks
Protocol
Strategies
Commitments
P.O.
Hidden tasks
Phantom tasks
Decoy tasks
A1
Chapter 17
A1 (hidden)
A2
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
32
Chapter 17 Summary


Organizations are a natural metaphor
for understanding and designing
systems of services
Organizations provide a basis for



Chapter 17
Legal and contractual concepts such as
commitments
Teamwork
Understanding and formalizing negotiation
Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns
33