Chapter 22: Building SOC Applications

1. Chapter 22:Building SOC Applications Service-Oriented Computing: Semantics, Processes, Agents– Munindar P. Singh and Michael N. Huhns, Wiley, 2005

2. Highlights of this Chapter • Elements of SOC Design • Self study: Quality of Service • Self study: How to Create an Ontology • Self study: How to Create a Process Model • How to Construct Agent-Based Systems • How to Engineer Composed Services • Exception Handling • Self study: Knowledge Management • Self study: eBusiness • Supply-Chain Automation Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

3. Elements of Service-Oriented Architectures • Loose coupling: focus should be on high-level contractual relationships • Implementation neutrality: the interface is what should matter • Flexible configurability: late binding of components • Long lifetime: components should exist long enough to be discovered, to be relied upon, and to engender trust in their behavior • Granularity: interactions and dependencies should occur at as high a level as possible • Teams: computation in open systems should be conceptualized as business partners working as a team Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

4. Goals for Multiagent Control Develop techniques for • Locating and allocating capabilities and resources that are dispersed in the environment • Predicting, avoiding, or resolving contentions over capabilities and resources • Mediating among more agents, with more heterogeneity and more complex interactions • Maintaining stability, coherence, and effectiveness Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

5. Control Challenges: Agents Control gets harder as agents become more: • Numerous • Complex individually (e.g., more versatile) • Heterogeneous (in capabilities, representations, languages) quantity complexity heterogeneity Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

6. Control Challenges: Problems Control gets harder as the problems agents solve become more • Interrelated • Rapidly changing, or pursued in an uncertain and changing world • Unforgiving of control failures (e.g., involving irreversible actions) degree of interaction volatility severity of failure Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

7. Control Challenges: Solutions Control gets harder as solutions to agent problems are required to be more • Efficient • Robust to changing circumstances • Cheaper or faster to develop individually and in concert quality / efficiency robustness low overhead Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

8. Techniques for Agent Control • Broker-based • Matchmaker-based • Market-based; auctions • BDI and commitment based • Decision theoretic • Workflow (procedure) based • Standard operating procedures • Learning • Coordinated planning • Conventions • Protocols • Stochastic or physics-based • Organizations: teams and coalitions • Constraint satisfaction or optimization Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

9. Dimensions of Control Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

10. Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

11. Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

12. Task Decomposition Divide-and-conquer to reduce complexity: smaller subtasks require less capable agents and fewer resources • Task decomposition must consider the resources and capabilities of the agents, and potential conflicts among tasks and agents • The designer decides what operators to decompose over • The system decides among alternative decompositions, if available Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

13. Task Decomposition Methods • Inherent (free!): the representation of the problem contains its decomposition, as in an AND-OR graph • Composition designer (human does it): decomposition is programmed during implementation. (There are few principles for automatically decomposing tasks) • Hierarchical planning (agents implementing the services do it): decomposition again depends heavily on task and operator representation Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

14. Task Decomposition Examples • Spatial decomposition: service is info source or decision point: • Functional decomposition: service offers specialized expertise: Agent 1 Agent 3 Agent 2 Pediatrician Neurologist Internist Cardiologist Psychologist Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

15. Task Distribution Criteria • Avoid overloading critical resources • Engage services on tasks where expertise matches • Make an agent with a wide view assign tasks to other agents • Assign overlapping responsibilities to agents to achieve coherence • Assign highly interdependent tasks to agents in spatial or semantic proximity. This minimizes communication and synchronization costs • Reassign tasks if necessary for completing urgent tasks Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

16. Task Distribution Mechanisms • Market mechanisms: tasks are matched to agents by generalized agreement or mutual selection (analogous to pricing commodities) • Contract net: announce, bid, and award cycles • Multiagent planning: planning agents have the responsibility for task assignment • Organizational structure: agents have fixed responsibilities for particular tasks • Recursive allocation: responsible agent may further decompose task and allocate the resultant subtasks Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

17. JADE Behavior for CNP Initiator Role Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

18. Two Patterns for Engineering Service Applications Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

19. Agents for Collaboration • Each Business Collaboration is handled by an autonomous software entity (agent) • On forming a Collaboration, automatically generate ebXML-compliant agents • The “Agent Generator,” when integrated with the BSI, has static knowledge about local constraints and dynamic knowledge from the current CPA • The software agents exchange ebXML messages toperform the selected Business Collaboration Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

20. Why this Approach? • Issues regarding transport, messaging, security constraints are to be handled for each Collaboration • Business collaborations are becoming increasingly complex • The system will be dealing with multiple collaborations at a given time • If the transactions are legally bound or even otherwise, the non-repudiation condition MAY have to be satisfied • There is always a possibility of unpredictable situations (exceptions) Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

21. Participants Enact B2B Interaction Agents Agent-Based Coordination Methodology BOD Semantics Robust Agent Skeleton Dooley Graph Agent Skeleton Create Agent-Based B2B Transaction State Machine Identify B2B Conversations Augment B2B Transaction State Machine Participants Develop B2B Interaction Diagrams Generic B2B Use-Case and Class Models Exception-Augmented Transaction Templates Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

22. Ford Interoperability Scenario Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

23. Conversation Analysis Based on Mutual Understanding(Bipartite Conversation Graph) Sender Receiver Ford1 1Jarvis Ford2 2Lubetec Ford3 3Eff.Logistics Jarvis4 4Ford Lubetec5 5Ford Lubetec6 6Ford Lubetec7 7Ford Jarvis8 8Ford Jarvis9 9Ford Ford10 10Greenfield Greenfield11 11Ford Greenfield12 12Ford Greenfield13 13Ford Eff.Logistics14 14Ford Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

24. Transaction Skeletons for Agent Enactment Supplier Warehouse Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

25. Augmented Transaction Skeletons forAgent-Based Exception Handling Ignore Exceptions Consider Exceptions Order Complete Order Complete Receive( payment ) ^send("Thank you") Receive( payment ) ^send("Thank you") exceeded( Deadline ) ^send(ReminderInvoice) Waiting for Waiting for Payment Payment ^send(ProcessInvoice) Set Deadline Alarm Start ^send(ProcessInvoice) Start Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

26. Chapter 22 Summary Success of service-oriented computing solutions depends upon • How ontologies and process models are constructed • How a system is designed so that desired behaviors ensue • How abstractions for interaction are fleshed out • How the above are related to software engineering approaches Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns