1 WSMX Web Service Modeling Execution WSMO Deliverable 13 Emilia Cimpian, Adrian Mocan, Matthew Moran, Eyal Oren, Michal Zaremba 3 March 2004

2 Overview of Deliverable 13 To build a WS execution environment using WSMO  Conceptual model  Execution Semantics  Mediation  Architecture  Implementation Aim  To implement software using the concepts defined by WSMO and provide feedback (testbed for WSMO) Initial scope  Build the smallest complete slice through the subdeliverables

3 Conceptual Model

4 Partner: E1 Partner: E2 Ontology1: PO Ontology2: PO RN E1 uses Ontology1 E2 uses OntologyRN Med Ont1.PO – Ont2.PO RN E1  E2 … Potential Parameters Proprietary Data Conceptual Model Source Instruction Ontology  Contains a set of declarative instructions that can be interpreted by the WSMX

5 Execution Semantics WSMX Execution Semantics What are they?  Formal definition of WSMX operational behaviour How to Model them?  Identifying states and how the execution environment transitions between states  Use modelling technique such as Petri Nets to identify problems such as deadlocks

6 Mediation Challenges: Different concept composition Incomplete concept representation on source (target) side Types mismatch More general (specific) concepts

7 Mediation - Example Address1  Street and number Street Number  Locality  Country  ZIP Axioms: zip_number[value => integer] ZN[value->V]:-ZN:zip_number, V>0. local[str => street, number => integer] address1[str_no => local, loc => locality, country => country, zip => zip_number] Address0  Street  Number  Locality  State, province or county  Country  ZIP Code Axioms: positive_int[value => int]. FORALL PI:positive_int 0. zip_code[value => string]. address0[str => street, no => positive_int, loc => locality, county => county, country => country, zip => zip_code]. Ontology1, Address1 Ontology0, Address0

8 Mediation - Example Address2  Address line 1  Address line 2 Axioms: address[adr_line_1 => string, adr_line_2 => string]. Address0  Street  Number  Locality  State, province or county  Country  ZIP Code Axioms: positive_int[value => int]. FORALL SN:street_numbe 0. zip_code[value => string]. address0[str => street, no => positive_int, loc => locality, county => county, country => country, zip => zip_code].  Further knowledge about the internal structure of the source concept instances (in respect with the system that generates them) Ontology2, Address2 Ontology0, Address0

9 Invocation Challenges: semantic web services: complex interactions goal satisfaction by combining web services automatic goal decomposition automatic service invocation

10 Invocation Problem (simple) AmazonB&NeBay goal:buy_book capability: buy_book WS invocation engine ? you need matching on choreography, capability, etc… you need selection on price, reliability, etc… capability: buy_2ndHand_book

11 Invocation Problem (complex) plumbermasonerconstructor goal:build_house WS invocation engine architectlawyer goal:build_plumbing goal:build_walls goal:make_construction_drawing goal:design_house goal:make_contract goal:build_plumbing goal:make_contract goal:design:house now you also need decomposition and what to do when something goes wrong?

12 Partner: E1 Partner: E2 Ontology1: PO Ontology3: PO RN E1 uses Ontology1 E2 uses OntologyRN Med Ont1.PO – Ont2.PO RN E1  E2 … Very specific ontology definition specifying a complex task to be carried out Mediator Invoker Ontology Compiler History Integration instances Create PO1234 Mediate PO1234, PO RN Invoke E2, PO RN AddHistory PO RN “Integ A” For Compile Receive PO RN : : AddHistory Second Enterprise 12345: execute(“IntegA”, PO1234) 23456: execute(“IntegB”, PO3897) Once compiled, the instructions can be stored by the WSMX for reuse “Integ A” Invoke stored execution instances using input parameters A set of declarative instructions that can be interpreted by the WSMX. “IntegA” Architecture

13 Workplan and Next Steps Conceptual  Extend the model  Identify a language Mediation and Invocation  Identify problems and possible approaches Architecture  Complete initial architecture design Implementation  Create and run a small integration task using WSMX