MFI-7: Meta-model for Service Registration Zaiwen Feng, Keqing He, Chong Wang, Jian Wang and Fei He Wuhan University 2011-05-09 ISO/IEC JTC1/SC32/WG2 N1521.

Slides:



Advertisements
Similar presentations
June 22, 2007 CMPE588 Term Project Presentation Discovery of Composable Web Services Presented by: Vassilya Abdulova.
Advertisements

Architecture. Outline Example Decomposition Style Activity 1.
Ch4: Software Architecture and Design. 1 Object-oriented paradigm  Object-oriented decomposition:  Agents comprised of two parts:  Hidden implementation:
MFI-8: Changes based on Comments from Wuhan Meeting Peng Liang, Keqing He, Zaiwen Feng, Jian Wang Huafeng Chen, Chong Wang, Yangfan He SKLSE, Wuhan University,
Object Oriented Design An object combines data and operations on that data (object is an instance of class) data: class variables operations: methods Three.
1 The Fourth Summer School on Ontological Engineering and the Semantic Web (SSSW'06) Semantic Web Services Hands-On Session with IRS-III and WSMO Studio.
Semantic description of service behavior and automatic composition of services Oussama Kassem Zein Yvon Kermarrec ENST Bretagne France.
Study Period Report: Metamodel for On Demand Model Selection (ODMS) Wang Jian, He Keqing, He Yangfan, Wang Chong State Key Lab of Software Engineering,
NextGRID & OGSA Data Architectures: Example Scenarios Stephen Davey, NeSC, UK ISSGC06 Summer School, Ischia, Italy 12 th July 2006.
Kmi.open.ac.uk Semantic Execution Environments Service Engineering and Execution Barry Norton and Mick Kerrigan.
Predicate Calculus.
7. 2Object-Oriented Analysis and Design with the Unified Process Objectives  Detailed Object-Oriented Requirements Definitions  System Processes—A Use.
RGPS Metamodel Framework for Interaction between cloud and client HE Yangfan, HE Keqing, WANG Jian, WANG Chong SKLSE(WHU), P.R.China 32N1891.
SC32 Liaison report to SC Sept Plenary Denise Warzel JTC 1/SC 32/WG 2 Convenor SC 32 Liaison to SC 38.
Katanosh Morovat.   This concept is a formal approach for identifying the rules that encapsulate the structure, constraint, and control of the operation.
MFI-5: Metamodel for process model registration Chong Wang, Keqing He and Baba Piprani.
Logic Specification and Z Schema 3K04 McMaster. Basic Logic Operators Logical negation ( ¬ ) Logical conjunction ( Λ or & ) Logical disjunction ( V or.
Agent Model for Interaction with Semantic Web Services Ivo Mihailovic.
SOFTWARE DESIGN AND ARCHITECTURE LECTURE 09. Review Introduction to architectural styles Distributed architectures – Client Server Architecture – Multi-tier.
DBSQL 3-1 Copyright © Genetic Computer School 2009 Chapter 3 Relational Database Model.
OWL-S. Web Services: OWL-S2 BPEL and WSDL : Messages.
Extracting Semantic Constraint from Description Text for Semantic Web Service Discovery Dengping Wei, Ting Wang, Ji Wang, and Yaodong Chen Reporter: Ting.
1 MFI-5: Metamodel for Process models registration HE Keqing, WANG Chong State Key Lab. Of Software Engineering, Wuhan University
©Silberschatz, Korth and Sudarshan2.1Database System Concepts - 5 th Edition, Oct 5, 2006 Outer Join n An extension of the join operation that avoids loss.
June 14, 2004DIP Meeting, Lausanne Service Discovery Using Transaction Logic Reasoning Michael Kifer.
MFI-6: Registration procedure SC32WG2 Meeting, Vilamoura, Portugal H. Horiuchi 1 SC32WG2 NXXXX.
CS3773 Software Engineering Lecture 04 UML Class Diagram.
SC32 FBM Study Group Report Korea SC32 Meetings, May 2013 Baba Piprani - Serge Valera 1 ISO/IEC JTC1/SC32/WG2 N1801.
Requirements as Usecases Capturing the REQUIREMENT ANALYSIS DESIGN IMPLEMENTATION TEST.
An Ontological Framework for Web Service Processes By Claus Pahl and Ronan Barrett.
1 Structuring Systems Requirements Use Case Description and Diagrams.
MFI-9: On Demand Model Selection WANG Jian, HE Keqing, WANG Chong, LIANG Peng, FENG Zaiwen State Key Lab of Software Engineering (SKLSE), Wuhan University,
(c) Addison Wesley Copyright © 2000 by Addison Wesley Version 1.0
MFI-5: Metamodel for process model registration WANG Chong, HE Keqing, HE Yangfan, WANG Jian State Key Lab of Software Engineering (SKLSE) Wuhan University,
MFI-8: Metamodel for Role & Goal Registration Peng Liang, Keqing He, Jian Wang Huafeng Chen, Chong Wang, Yangfan He SKLSE, Wuhan University, P.R. China.
"Would you tell me, please, which way I ought to go from here?” "That depends a good deal on where you want to get to," said the Cat. -Lewis Carroll: Alice’s.
1 Graph Coverage (6). Reading Assignment P. Ammann and J. Offutt “Introduction to Software Testing” ◦ Section
RGPS Overview HE Yangfan, WANG Chong, WANG Jian SKLSE, Wuhan University
Systems Analysis and Design in a Changing World, Fourth Edition
Discussion about MFI-8: Metamodel for Role and Goal Registration
1 Proposal on MFI-5: Process model registration based on ontology (MFI4Process) He Keqing Wang Chong 2006/08/29.
Slide 1 Service-centric Software Engineering. Slide 2 Objectives To explain the notion of a reusable service, based on web service standards, that provides.
MFI-7: Metamodel for Service Registration 1 Zaiwen Feng, Keqing He, Chong Wang, Jian Wang Peng Liang, Jianxiao Liu, Yangfan He SKLSE, Wuhan University,
Topics to be covered in MFI-9 : On-Demand Model Selection HE Yangfan SKLSE, Wuhan University
Discussion about MFI-7: Metamodel for Service Registration Wang Jian, He Keqing, He Yangfan, Wang Chong SKLSE, Wuhan University, China
Issues for Discussion on MFI-9 Wang Jian, He Keqing, Wang Chong, Feng Zaiwen, Fie He Wuhan University, China ISO/IEC JTC1/SC32/WG2 N1526.
DISCUSSION ABOUT REGISTRATION OF RM-ODP LIBRARY EXAMPLE BASED ON MFI Yuan Lin, Wang Jian, Wang Chong, Liang Peng, Feng Zaiwen.
Introduction to Service Orientation MIS 181.9: Service Oriented Architecture 2 nd Semester,
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. SOA-RM Overview and relation with SEE Adrian Mocan
7 Systems Analysis – ITEC 3155 The Object Oriented Approach – Use Cases.
Yoon kyoung-a A Semantic Match Algorithm for Web Services Based on Improved Semantic Distance Gongzhen Wang, Donghong Xu, Yong Qi, Di Hou School.
SE 548 Process Modelling WEB SERVICE ORCHESTRATION AND COMPOSITION ÖZLEM BİLGİÇ.
New data sources (such as Big Data) and Traditional Sources Work Package 2.
More SQL: Complex Queries, Triggers, Views, and Schema Modification
Paul Ammann & Jeff Offutt
Service-Oriented Computing: Semantics, Processes, Agents
Tomas Vitvar, Maciej Zaremba, Mathew Moran
Relational Model By Dr.S.Sridhar, Ph.D.(JNUD), RACI(Paris, NICE), RMR(USA), RZFM(Germany)
ece 720 intelligent web: ontology and beyond
Web Service Modeling Ontology (WSMO)
Today’s Objectives Define the Problem Domain
Web Ontology Language for Service (OWL-S)
Service-Oriented Computing: Semantics, Processes, Agents
Service-centric Software Engineering
Service-Oriented Computing: Semantics, Processes, Agents
Issues for Discussion on MFI-9
Spreadsheets, Modelling & Databases
Class Diagram.
Chapter 2 Database Environment Pearson Education © 2009.
MFI-5: Metamodel for process model registration
Presentation transcript:

MFI-7: Meta-model for Service Registration Zaiwen Feng, Keqing He, Chong Wang, Jian Wang and Fei He Wuhan University ISO/IEC JTC1/SC32/WG2 N1521

Service Discovery & Orchestration based on MFI How can MFI-5, 7, 8 be used to discover (orchestrate) Web services? – MFI-5: responsible for service discovery (using P-S relation), and service orchestration – MFI-8: responsible for service discovery (using G-P, G-S relation) – MFI-9: provide a method to discover services applying relations between RG and P and S

Service Discovery & Orchestration Scenario Scenarios: – User’s Request: “A user plans to attend a conference in another city” – Purpose: Discover services to meet user’s request – This scenario is extracted from MFI WD2 Metamodel for On Demand Model Selection (TR) WG2 N1513

Service Discovery & Orchestration Scenario User’s Request: A user plans to attend a conference in another city Goal : to arrange a travel plan Service Repository Process Repository No Match! Find a Composite Process: “PlanTravelRoute_Process”

Service Discovery & Orchestration Scenario Composite Process: “PlanTravelRoute_Process” Booking Ticket Web Service Process-Service Relation Query Hotel Web Service Rent Car Web Service Process-Service Relation A new service: PlanTravelRoute_Service

Service Discovery & Orchestration Scenario In this scenario: – MFI-5: responsible for service discovery (utilize P-S relation), and service orchestration Process05 : Book Ticket -> Booking Ticket Web Service (Discovery) Process06: Query Hotel -> Query Hotel Web Service (Discovery) Process07: RentCar -> Rent Car Web Service (Discovery) PlanTravelRoute Web Service can be organized based on realationships between Process05, Process06 and Process07 ( Orchestration ) – MFI-8: responsible for service discovery (utilize G-P, G-S relation) Role_Goal01: ArrangeTravelPlan_Goal -> PlanTravelRoute_Process (Discovery) Role_Goal01: ArrangeTravelPlan_Goal -/-> PlanTravelRoute_Service (Discovery) – MFI-9: provide a method to discover services applying relations among RG, P and S

Meta-Model of MFI-7

Function-related Metaclasses(1) Operation – the execution actions of the service. – One Service can have one or multiple Operations Input, output – the link between service and outer space – Their type can be depicted as Message_Type Message_Type – specifies the type of message that is used, as input variable, out variable. – It can be the domain concepts in Ontology 8

Function-related Metaclasses(2) Precondition – specifies a state that shall exist before a service is invoked Postcondition – specifies a state that shall exist after a service is invoked successfully Their properties are name 9

Non Function-related Metaclasses Quality_Pro Quality_Property -Quality_Property is a metaclass that is used to represent a certain Non-functional feature for service, such as availability, response time, etc. - It has a property type QoSAssertion -QoSAssertion is a metaclass that is used to represent an description of a certain Non-functional property for service. -It has a property name -It has one or multiple logical expression which is expressed as Formula

Condition-related Metaclasses(1) Formula -Formula is a metaclass that represents logical expression within QosAssertion, Precondition or Postcondition QoSAssertion -QoSAssertion have one or multiple Logical Expression represented by Formula -E.g. The fact that Response time of service is more than five seconds can be expressed by formula as Morethan (responseTime, 5s) Precondition -Precondition have one or multiple Logcial Expression represented by Formula -E.g. The fact that balance of VISA card is more than amount of the book to be bought can be expressed by formula as Morethan (balance of VISA card, amount of the book) Postcondition - Similar as Precondition

Condition-related Metaclasses(2) Atom_Formula -Atom_Formula is a metaclass representing a formula that has no sub-formula -E.g. There is a condtion that the current date must be before the expiring date of VISA card Prediate -Predicate is a metaclass representing a function that returns true or false. It contains one argument or links two arguments, which formulates a Atom_Formula Argument -Argument is a metaclass representing variable that is contained or linked by predicate in Atom_Formula E.g. -For the fact that the current date must be before the expiring date of VISA card -Atom_Formula is expressed as IsBefore (CurrentDate, Expiring date of VISA card) -Predicate is IsBefore, and Argument are CurrentDate and Expiring date of VISA card

Condition-related Metaclasses(3) Composite_Formula -Composite_Formula is a metaclass representing the formula that contains other sub- formulas, which might be either atomic or composite Logic_Connection -Logic_Connection is a metaclass representing connections which connect one or multiple Atomic_Formula to a Composite_Formula Negation - Negation is a metaclass representing a kind of Logic_Connection. Suppose A is a Atom_Formula, Negation is used to connect one Atom_Formula. Negation A is ture if and only if A is false ANegation A TrueFalse True

Condition-related Metaclasses(4) Conjunction – Conjunction is a metaclass representing a kind of Logic_Connection. Conjunction is used to connect two Atom_Formulas. Suppose A, B are Atom_Formula, Conjunction(A, B) is true if and only if both A and B are true Disjunction – Disjunction is a metaclass representing a a kind of Logic_Connection. Disjunction is used to connect two Atom_Formulas. Supposing A, B are Atom_Formula, Disjunction(A, B) is false if and only if both A and B are false ABConjunction (A, B) True False TrueFalse ABDisjunction (A, B) True FalseTrue FalseTrue False

Thanks !

What we agree with… Type of Service should be defined such as: entiy_service, task_service… Service refers to only Web service It should be set up aggregation relationship among service There should reference to MFI Part10 The definition of Qos Assertion is modified

MFI-7 Updated Meta-model( )

Definition of Service Type Entity Service – The entity service model represents a business- centric service that bases its functional boundary and context on one or more related business entities. – Several of its capabilities are reminiscent of traditional CRUD (create, read, update, delete) methods. From: by Thomas Erl http://

Definition of Service Type Task Service – A task service is a form of business service with a functional context based on a specific business process. From: http://

Definition of Service Type Utility Service – A utility service is intentionally based on a non- business-centric functional context. It typically encapsulates common, cross-cutting functionality that is useful to many service compositions, but which is not related to or derived from existing business models. From: http://