We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byKylie Hunt
Modified over 2 years ago
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences Some Requirements for Semantic Web Serivce from CROSSFLOW and OPELIX Karl Aberer - EPFL
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences Background CROSSFLOW - CROSSFLOW – EU Project, Sep 98 – Sep 00 Cross-Organizational Workflow Support in Virtual Enterprises
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences Background OPELIX – OPELIX – EU Project: Jan 2000 – Jun 2002 An Open Personalised Information Commerce System
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences Preliminary: Basic Service Description The following is assumed to be standard in the following –Roles of participants –Basic actions/interactions (including data/message types) –Initial and final state conditions –Constraints on action-role assignment –Execution constraints (pre- and postconditions)
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences CrossFlow Case Studies Insurance Scenario Logistics Scenario
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences (Contract) Requirements from CrossFlow General –support search and matchmaking –serve as legal agreement (parties, duration) –specify process structure and parameters –support multiple service instantiations (constraints on instances and time) –generate communciation links and invoke services QoS Requirements (Quality of Service) –Which parameters, activities, aggregate information can be monitored at what time –Push or pull access to monitored parameters, temporal constraints LoC Requirements (Level of Control) –stop, abort, continue the provider process –compensation capabilities –parameter changes (which, when) FCC Requirements (Flexible Change Control) –the non-structural goals of the service (duration, cost, quality) –relative importance of non-structural vs. structural goals, activities –ordering constraints between activities of the service (and their importance)
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences OPELIX Case Studies: Commercial Web Portals Scenario (both Logon and Culturall) –Web portal on object technology/software/events –providing different categories of information depending on the user profile –flexible definition of business models (offers, negotiation, order processing, payment) –different roles in i-commerce (Vendor, Broker, Buyer, Searching agent provider, Multiplier, Associations, Partners,Associates, Supplier, Virtual community, Third party marketplace, Mediator, Administrator) –various delivery modalities for information (push, pull, periodic, conditional)
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences "Business Offer Language" Model Conceptually typical information business activities –modelling negotiation of offers, delivery modalities, dependencies and obligation, payment, authentication etc. uniformly treated as information services –complex business models Design influenced by –Agent communication languages, ICE standard, EDI protocols, deontic logic –Basic abstraction for state-change is a communciation act –Basic primitives: who, what, how –Rule-based specification of pre-conditions –Implicit state changes (without communication) can be specified in contract –Atomic promise-request-delivery model to capture negotiation and obligation (-> autonomy) Ongoing work –implementation of execution environement exists –precise semantics in transaction logics currently elaborated –reasoning using logic-based semantics
autonomy) Ongoing work –implementation of execution environement exists –precise semantics in transaction logics currently elaborated –reasoning using logic-based semantics">
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences Example roles: OMG_member, Logon; goods: base_info(at: TIME, url: URL) : Logon -> OMG_member; registration( ) : OMG_member -> Logon; rules: requested(Logon, OMG-member, registration(e),t) and NOW [deliver(OMG_member, Logon, registration(e))] « After the request for registration the OMG member may register within one day » requested(OMG_member, Logon, base_info(t, https:…), t1) and delivered(OMG_member, Logon, registration(e)), t2) and t>=t2 -> [deliver(Logon, OMG_member, base_info(NOW, https:…))] « After registration by OMG member, Logon must deliver the information any time it is requested provided the request refers to information related to time after registration» substitution: [deliver(OMG_member, Logon, payment(a, t))]^m ==> [deliver(OMG_member, Logon, payment(a, t))]^m ==> [deliver(OMG_member, Logon, payment(m*a, t))] [deliver(OMG_member, Logon, payment(m*a, t))] " this gives the OMG member the freedom to choose payment granularity"
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences Scope of BOL Information commerce Electronic commerce Cooperation and coordination Netbill ICE RosettaNet KQML Data and processes FBCL
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences Scope of BOL Expressivity of model Reasoning on execution properties Secure contract protocols Conceptual models Micropayment markup ICE protocol BOL
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences Summary: What's relevant for SWSL Contract notion –coordination by specification of local interaction –supports also decentralized architectures Nonstructural properties of processes –in particular their composition properties Dynamic process specification –dynamically evolving execution constraints and termination goals –dynamic parameter determination Monitoring and Control capabilities Pragmatic dimension –negotiation, obligation, conflict resolution –legal significance of service specification
Automated eContract Negotiation in Web Service Environment: Trust Management and Electronic Contract Management Aspects Doctoral student Marius Šaučiūnas.
Agent Based Software Development Michael Luck, Ronald Ashri and Mark dInverno.
Agent Based Software Development Michael Luck, Ronald Ashri and Mark dInverno Chapter 4: Methodologies and Modeling Languages.
A Framework for Agent Collaboration in Multi-Agent Systems Submitted by: Mohamed Gamaleldin Atwany Supervised by: Abdel-Aziz Khamis, Phd.Magdy Aboul-Ela,
Sept. 8, 2008 Seminar: Paderborn University Towards A Service-Oriented Approach to Testing Web Services Hong Zhu Department of Computing Oxford Brookes.
Group Abstractions for Distributed and Grid Computing Systems José C. Cunha CITI – Centre for Informatics and Information Technologies.
Page 1 LAITS Laboratory for Advanced Information Technology and Standards Duh 7/10/03 Geospatial Service Workflow Concepts and Tools Liping Di Laboratory.
NIST's Semantic Approach to Standards and Interoperability Steven Ray, Ph.D. Chief, Manufacturing Systems Integration Division Manufacturing Engineering.
Aggregating Web Services: Choreography and WS-CDL Nickolaos Kavantzas, Web Services Architect Designer and Lead Editor of WS-CDL Oracle Corporation, April.
Tecnologia dei Servizi Grid e cloud computing - Lezione 003a 0 Lezione 3a - 20 ottobre 2009 Il materiale didattico usato in questo corso è stato mutuato.
The Model-Driven Semantic Web Emerging Technologies & Implementation Strategies Elisa Kendall Sandpiper Software September 8, 2005.
RMS and Scheduling for Future Generation Grids Ramin Yahyapour University Dortmund Leader CoreGRID Institute on Resource Management and Scheduling CoreGRID.
Invitation to Join Open Health Tools Draft by Skip McGaughey
The FI-WARE Project – Base Platform for Future Service Infrastructures FI-WARE May 2011 Future Internet PPP Core Platform.
E-Sourcing Today A Perspective on the Role and Scope of e- Sourcing and the State of the e-Sourcing Marketplace.
Introduction to Digital Rights Management Grace Agnew SURA/ViDe Digital Video Conference March 2004.
Tecnologia dei Servizi Grid e cloud computing - Lezione 002a 0 Lezione 2a - 14 ottobre 2009 Il materiale didattico usato in questo corso è stato mutuato.
An Introduction to Object Modeling An Introduction to Object Modeling The approach of using object modeling during systems analysis and design is called.
Manage e-Project Information. Use of the Guide This guide sets out to provide a framework tool to assist e-Project information users. The object of the.
Implementing Grid Security Concepts EU FP6 Projects AssessGrid & GridTrust Syed Naqvi 07 September 2007, Budapest - Hungary.
December 2009 Data Integration in Grid Environments Alex Poulovassilis, Birkbeck, U. of London.
WS-BPEL 2.0 Web Services Business Process Execution Language Workshop Dieter König, IBM Senior Technical Staff Member
Collaborative Testing of Web Services -- The Service oriented framework and implementation in Semantic WS Hong Zhu Department of Computing and Electronics.
1 Note content copyright © 2004 Ian Sommerville. NU-specific content copyright © 2004 M. E. Kabay. All rights reserved. Distributed Systems Architectures.
Agent Based Software Development Michael Luck, Ronald Ashri and Mark dInverno Chapter 3: Agent Toolkits.
Information & Decision Support Center (IDSC) – Egypt © M. Khorshed Effective Request for Proposal for effective businesses.
7 February An Overview of the Systems Modeling (SysML) Specification Shana L. Lloyd Julie A. Street The Aerospace Corporation Systems Modeling Language.
Information System Architecture Information system The data is the raw material of any I.S. Before becoming information, the data must be created, stored,
© 2016 SlidePlayer.com Inc. All rights reserved.