Semantic Web Fred Framework and Demonstration or ‘my PhD-Thesis in 30 min’ Michael Stollberg, 14-Dec-2004
Semantic Web Fred 22-Jun-15 2 Content 1.SWF Framework -Conceptual Architecture for SWS: realization & extensions -Service Collaboration of Symmetric Partners 2.SWF demonstration -SWF Use Case (virtual marketplace) -Dynamic Discovery Management -Architecture of Discoverers all available at SWF journal paper draft (and in PhD thesis..)
Semantic Web Fred 22-Jun-15 3 Conceptual Architecture (CA) for SWS C. Priest: A Conceptual Architecture for Semantic Web Services. In Proceedings of the 3rd International Semantic Web Conference (ISWC 2004), 2004, pp Main merits: 1.epistemology of “(Web) Service”: 1.= value adding ‘service’ from business perspective 2.= (re)usable computational resource invocable over WS technologies 3.= negotation protocol between requester and provider => a Web Service contains all 3 aspects 2.types of services: -concrete service = service executed / delivered -abstract service (has service description) -agreed service (functionality, usage, and choreography agreed between requester and provider) 3.3-step service usage process incl. which service types are used or derived
Semantic Web Fred 22-Jun-15 4 CA Step 1: Discovery
Semantic Web Fred 22-Jun-15 5 CA Step 2: Contracting
Semantic Web Fred 22-Jun-15 6 CA Step 3: Delivery
Semantic Web Fred 22-Jun-15 7 SWF Conceptual Model SWF: -extends CA by: electronic representatives of “agents” (= entities involved with service usage & provision) collaboration of services with minimal in intervention of “agents” -WSMO 1.0 enabled Approach for Automated Collaboration -real world Collaboration Model -mapping to technical system SWF components -overview and interplay of system components SWF elements -Freds, Goals, Services -Supportive WSMO elements: Ontolologies, Mediators => Cooperative Goal Resolution as Automated Semantic Web Service Collaboration
Semantic Web Fred 22-Jun-15 8 Real World Collaboration Model - every entity has objectives and facilities (symmetric partners) - cooperation only if profitable for each party A BuyerA Seller achieve a purchase cooperation / interaction needed Objective: “buy a chair” Objective: “sell my product” needs to be compatible Facility: needs to be interoperable product search, provide PO, receive payment, deliver product has select product, accept PO, provide payment, receive product Facility: needed for automation needed for automation
Semantic Web Fred 22-Jun-15 9 Mapping to Technology -symmetric cooperation partners -cooperation partners = compatible objectives (goals) -automated cooperation execution = service collaboration -WSMO-enabled compatible goals = cooperation partners Fred B Service Goal Ontology Mediator OO Owner task delegation Mediator WG usable Fred A Service Goal Owner task delegation usable Mediator WG Mediator GG interoperable services = cooperation automation Mediator WW Domain Knowledge
Semantic Web Fred 22-Jun System Components Goal Detector Partner Discovery (GG Discoverer) Service Discovery (GS Discoverer) Service Compatibility Determination (WW Discoverer) Goal Solver detects new created goals discoverers possibly usable serivces for each goal detects potential cooperation partners for possible cooperations (F 1 (G, {S}),, F 1 (G, {S}), …) Cooperation Contract determines service compatibility for possible service combinations execution facilities for service types & execution control / monitoring monitors goal resolution status of participating Freds Cooperation Execution Environment (Meeting Room) Cooperation Establishment Cooperation Execution
Semantic Web Fred 22-Jun Freds Goal task delegated to Fred for automated resolution Service provided services, usage permissions, used services Social owner, preferences, policies, history Fred electronic representative dynamically assigned task has usage permission resolved by -electronic representative of entities involved in service usage & provision -autonomous, goal driven, interface agent, cooperative -not (pro / re) active: central system control assignment / usage dynamic representative static
Semantic Web Fred 22-Jun Goals Goal Template templates for desires to be delegated to Freds nonFunctionalProperties importOntologies usedMediators postConditions effects Goal Instance concrete desires (instantiated Goal Templates) assigned to a Fred for automated resolution instanceOf (goalTemplate) nonFunctionalProperties (WSMO-nfp + constraints on time, resources, goalResolution) owner (Fred) submission (instances) postConditions effects status (resolution status) -WSMO Goal - pre-defined - action-resource ontology instantiates refinement only -extended WSMO 1.0 Goal definition -Goal Instance Creation / Task Assignment to Freds oby user via SWF user interface odynamically during cooperation establishment
Semantic Web Fred 22-Jun Services SWF Service Types 1.Plans = internal service implemented in Java 2.Process = multiple-step / nested service 3.external Web Services (invoked via WSDL description) Services a computational resource available in the system, described as WSMO Web Services nonFunctionalProperties ofType nonFunctionalProperties importOntologies ofTypeSet ontology usedMediators ofTypeSet {ooMediator, wgMediator} capability ofType capability preconditions ofTypeSet axiom assumptions ofTypeSet axiom postconditions ofTypeSet axiom effects ofTypeSet axiom choreography ofType choreography -1 common service description language -Orchestration not of interest
Semantic Web Fred 22-Jun Demonstration Cooperation Establishment and Execution Walkthru SWF Use Case -virtual marketplace for purchasing furniture -3 domain ontologies: Furnishing, Marketplace, Location -Freds, Goals, Services for Buyers & Sellers Discoverer Realization -General Architecture: Disc. Request –in-> Discoverer –out-> Disc. Result -Action Object Knowledge (action-resource ontology) -Set-based resource modeling -Matchmaking with Vampire
Semantic Web Fred 22-Jun Dynamic Discovery Management Goal Instance GG Discoverer GS Discoverer WW Discoverer Cooperation Contract (n Freds, 1 GI for each Fred, Services for each Goal, Ontologies, Mediators) GI{GI}GI{S} boolean{S} Discovery Manager
Semantic Web Fred 22-Jun Partner Discovery (GG Discoverer) GI i Action-Resource Ontology DiscoveryResult sets of compatible Goal Instances (2) GG Matcher Discovery Request initiating Goal Instance GT i (1) Cooperation Knowledge Filter GT g GI g instanceOf instanceOf, status = ‘open’
Semantic Web Fred 22-Jun Service Discovery (GS Discoverer) Discovery Request Goal Instance Discovery Result usable Services Service Repository Discovery Result (intermediary) Service Filter (2) GIS Matcher GI i GT i instanceOf (1) Pre-Selector
Semantic Web Fred 22-Jun Service Compatibility Determination (WW Discoverer) Discovery Request set of services {S} Discovery Result Boolean (service compatibility) (2) SC comm Checker Choreography Description Translator (1) SC info Checker WSDL2StateSignBPEL2ASM yes no
Semantic Web Fred 22-Jun-15 19