 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. WSLA Language Specification

Slides:



Advertisements
Similar presentations
Title: The Effect of __manipulated variable__on the ______responding variable__________will be ______describe the effect__________________ Student Name.
Advertisements

CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. WSDL-S (LSDIS and IBM) & WSMO
ICE1341 Programming Languages Spring 2005 Lecture #6 Lecture #6 In-Young Ko iko.AT. icu.ac.kr iko.AT. icu.ac.kr Information and Communications University.
Contracts, Service Level Agreements and Virtual Enterprises in Composite Services Carlos Molina-Jimenez (
SATEL Semi Automatic TEsting Language University of Geneva Levi Lúcio, Didier Buchs M-TOOS, Portland 4/30/2015.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. The Web Services Modeling Toolkit Mick Kerrigan.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. The WSML Editor Plugin to the Web Services Modeling Toolkit Mick.
1 Ontology Language Comparisons doug foxvog 16 September 2004.
Copyright © 2006 Addison-Wesley. All rights reserved.1-1 ICS 410: Programming Languages Chapter 3 : Describing Syntax and Semantics Axiomatic Semantics.
ISBN Chapter 3 Describing Syntax and Semantics.
Copyright © 2006 Addison-Wesley. All rights reserved. 3.5 Dynamic Semantics Meanings of expressions, statements, and program units Static semantics – type.
A SLA evaluation Methodology in Service Oriented Architectures V.Casola, A.Mazzeo, N.Mazzocca, M.Rak University of Naples “Federico II”, Italy Second University.
SPECIFYING AND MONITORING GUARANTEES IN COMMERCIAL GRIDS THROUGH SLA Sven Graupner Vijay MachirajuAad van Moorsel IEEE/ACM International Symposium on Clustering.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. WSMX and its Applications Current Status and Future Plans Tomas.
AI - Week 13 Knowledge Representation, Logic, Semantic Web Lee McCluskey, room 2/07
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. SemanticGov Project Overview and Objectives
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Workflow utilization in composition of complex applications based.
OASIS Reference Model for Service Oriented Architecture 1.0
Formal Methods of Systems Specification Logical Specification of Hard- and Software Prof. Dr. Holger Schlingloff Institut für Informatik der.
Modelling Conceptual Knowledge using Logic - Week 6 Lee McCluskey Department of Computing and Mathematical Sciences University of Huddersfield.
The WSMO / L / X Approach Michael Stollberg DERI – Digital Enterprise Research Institute Alternative Frameworks for Semantics in Web Services: Possibilities.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. WSMX Data Mediation Adrian Mocan
Kmi.open.ac.uk Semantic Execution Environments Service Engineering and Execution Barry Norton and Mick Kerrigan.
Describing Syntax and Semantics
Environment Change Information Request Change Definition has subtype of Business Case based upon ConceptPopulation Gives context for Statistical Program.
TAPAS WP1 – Application Service Requirements and Specification.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Towards Translating between XML and WSML based on mappings between.
 Copyright 2006 Digital Enterprise Research Institute. All rights reserved. WSMX: a Semantic Service Oriented Middleware for B2B Integration.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Semantic-enabled Voice and Data Integration: Telecommunication.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Tomas Vitvar SemanticGov 4 rd Planetary.
Entity Framework Overview. Entity Framework A set of technologies in ADO.NET that support the development of data-oriented software applications A component.
An Algebra for Composing Access Control Policies (2002) Author: PIERO BONATTI, SABRINA DE CAPITANI DI, PIERANGELA SAMARATI Presenter: Siqing Du Date:
 Copyright 2004 Digital Enterprise Research Institute. All rights reserved. WSMO4J – Logical Expression Extension
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Semantic Web Services and User Goal definition problems Andrej.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Tomas Vitvar, Sanaullah Nazir SemanticGov.
Ahmed M. Gamal, J2EE Mohamed Maaty, Information hp INTRODUCING JBPM.
Using WSMX to Bind Requester & Provider at Runtime when Executing Semantic Web Services Matthew Moran, Michal Zaremba, Adrian Mocan, Christoph Bussler.
Database Management Systems, R. Ramakrishnan1 Relational Calculus Chapter 4.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Semantic Web Services enabled B2B Integration Kotinurmi,Vitvar,
ISBN Chapter 3 Describing Semantics -Attribute Grammars -Dynamic Semantics.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Semantic Web Services Future Plans Laurentiu Vasiliu,Tomas Vitvar,
Drools Sofia Jonsson CADEC2006, Drools, Slide 2 Copyright 2006, Callista Enterprise AB Agenda Rule Engines - History/Background.
Environment Change Information Request Change Definition has subtype of Business Case based upon ConceptPopulation Gives context for Statistical Program.
ISBN Chapter 3 Describing Semantics.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Christoph Bussler Semantic Interfaces.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Tomas Vitvar SemanticGov 3 rd Planetary.
06/12/2015Page 1 Rule-based SLA mediation Andras Micsik, Henar Muñoz Frutos.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Enabling Components Management and Dynamic Execution Semantic.
 Copyright 2006 Digital Enterprise Research Institute. All rights reserved. Pan-European E-Government Services on the Semantic Web Services.
 Copyright 2006 Digital Enterprise Research Institute. All rights reserved. WSMO-PA: Formal Specification of Public Administration Service.
A Mediated Approach towards Web Service Choreography Michael Stollberg, Dumitru Roman, Juan Miguel Gomez DERI – Digital Enterprise Research Institute
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic Presented By Dumitru Roman, Michael Kifer University of Innsbruk,
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Dynamic RosettaNet Integration on Semantic Web Services Tomas.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Tomas Vitvar SemanticGov 4 rd Planetary.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
EEL 5937 Content languages EEL 5937 Multi Agent Systems Lecture 10, Feb. 6, 2003 Lotzi Bölöni.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. SemBiz Semantic Business Process Management for flexible dynamic.
 Copyright 2008 Digital Enterprise Research Institute. All rights reserved. Digital Enterprise Research Institute Semi-automatic Composition.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. SOA-RM Overview and relation with SEE Adrian Mocan
A Framework for Contractual Resource Sharing in Coalitions Babak Sadighi Firozabai (SICS), Marek Sergot (IC), Anna Squicciarini (UoM) and Elisa Bertino.
Contracts, SLAs and Virtual Enterprises Carlos Molina-Jimenez ( Meeting of TAPAS partners at University.
Web Services Quality Model Dugki Min Konkuk University.
Model Checking Early Requirements Specifications in Tropos Presented by Chin-Yi Tsai.
Enabling Grids for E-sciencE Agreement-based Workload and Resource Management Tiziana Ferrari, Elisabetta Ronchieri Mar 30-31, 2006.
Managing Service Level Agreements in Service Oriented Product Lines
Web Service Modeling Ontology (WSMO)
Web Ontology Language for Service (OWL-S)
Dugki Min Konkuk University
Use Cases Based on the paper
Presentation transcript:

 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. WSLA Language Specification WSMO Working Group Presentation Adina Sirbu & Ioan Toma 18 January 2006

2 Presentation Overview Short recap of WSLA Framework WSLA Language –Parties –Service definition –Obligations Conclusions

3 Short recap of WSLA

4 WSLA Language An XML-based language used by both service providers and consumers

5 Parties Signatory parties: –Service provider –Service consumer Supporting parties: –Measurement –Management –Condition evaluation

6 Service Definition – Service Object A ServiceObject is an abstraction of all conceptual elements for which SLA parameters and the corresponding metrics can be defined A ServiceObject includes any number of: Schedules, Triggers, Constants, MetricMacroDefinition, MetricMacroExpansion, SLAParameters and Metrics ServiceDefinition, Operation and OperationGroup are all subtypes of ServiceObject

7 Service Definition - SLA Parameter

8 Service Definition - Metric

9

10 Obligations Service Level Objective Elements: the obliged party one or more validity periods the state = a logical expression an evaluation event or an evaluation schedule

11 Obligations Action Guarantee Elements: the obliged party the precondition = a logical expression an evaluation event or an evaluation schedule the qualified action the execution modality

12 Obligations Logic Expressions: “follow first-order logic” contain AND, OR, NOT, IMPLIES operators which connect predicates or, again, expressions could be extended e.g., to contain variables and quantifiers Predicates: can have SLA parameters and scalar values as parameters new domain-specific predicates are introduced by extending the abstract predicate type

13 Conclusions & Relevance to WSMO/L/X Conclusions –WSLA allows to express: what to measure, how to measure, who does what and guarantees –WSLA Language – a XML based language for specifying SLAs related information Relevant for: –WSMO -> describe semantically the services of WSLA framework (measurement, evaluation, management) -> QoS representation, reasoning, measurement –WSMT -> the monitoring part ( –WSMX -> the negotiation component