Formal mapping of WSLA contracts on stochastic models

Rouaa Yassin Kassab; Aad Van Moorsel

doi:10.1007/978-3-642-24749-1_10

Formal mapping of WSLA contracts on stochastic models

Rouaa Yassin Kassab^*
, Aad Van Moorsel

^*Corresponding author for this work

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Service level agreement (SLA) specification languages are designed to express monitorable contracts between service providers and consumers. It is of interest to determine if predictive models can be derived for SLAs expressed in such languages, if possible in automated fashion. For this purpose, we study in this paper the mapping of the Web Service Level Agreement (WSLA) into reward metrics defined in the Stochastic Discrete Event Systems (SDES) formalism. We associate a formal semantics with WSLA elements and map these on SDES through a five step mapping process, which includes expressions for the metrics and functions on these metrics, the time at which to predict, and the ultimate service level compliance probability. We illustrate our approach through a stock quote web service example.

Original language	English
Title of host publication	Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings
Pages	117-132
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-24749-1_10
Publication status	Published - 2011
Event	8th European Performance Engineering Workshop, EPEW 2011 - Borrowdale, United Kingdom Duration: 12 Oct 2011 → 13 Oct 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6977 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th European Performance Engineering Workshop, EPEW 2011
Country/Territory	United Kingdom
City	Borrowdale
Period	12/10/11 → 13/10/11

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-24749-1_10

Cite this

Yassin Kassab, R., & Van Moorsel, A. (2011). Formal mapping of WSLA contracts on stochastic models. In Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings (pp. 117-132). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6977 LNCS). https://doi.org/10.1007/978-3-642-24749-1_10

@inproceedings{8ded48b5848b4c88882ef488c47d4e1d,

title = "Formal mapping of WSLA contracts on stochastic models",

abstract = "Service level agreement (SLA) specification languages are designed to express monitorable contracts between service providers and consumers. It is of interest to determine if predictive models can be derived for SLAs expressed in such languages, if possible in automated fashion. For this purpose, we study in this paper the mapping of the Web Service Level Agreement (WSLA) into reward metrics defined in the Stochastic Discrete Event Systems (SDES) formalism. We associate a formal semantics with WSLA elements and map these on SDES through a five step mapping process, which includes expressions for the metrics and functions on these metrics, the time at which to predict, and the ultimate service level compliance probability. We illustrate our approach through a stock quote web service example.",

author = "\{Yassin Kassab\}, Rouaa and \{Van Moorsel\}, Aad",

year = "2011",

doi = "10.1007/978-3-642-24749-1\_10",

language = "English",

isbn = "9783642247484",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "117--132",

booktitle = "Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings",

note = "8th European Performance Engineering Workshop, EPEW 2011 ; Conference date: 12-10-2011 Through 13-10-2011",

}

Yassin Kassab, R & Van Moorsel, A 2011, Formal mapping of WSLA contracts on stochastic models. in Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6977 LNCS, pp. 117-132, 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, United Kingdom, 12/10/11. https://doi.org/10.1007/978-3-642-24749-1_10

Formal mapping of WSLA contracts on stochastic models. / Yassin Kassab, Rouaa; Van Moorsel, Aad.
Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. 2011. p. 117-132 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6977 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Formal mapping of WSLA contracts on stochastic models

AU - Yassin Kassab, Rouaa

AU - Van Moorsel, Aad

PY - 2011

Y1 - 2011

N2 - Service level agreement (SLA) specification languages are designed to express monitorable contracts between service providers and consumers. It is of interest to determine if predictive models can be derived for SLAs expressed in such languages, if possible in automated fashion. For this purpose, we study in this paper the mapping of the Web Service Level Agreement (WSLA) into reward metrics defined in the Stochastic Discrete Event Systems (SDES) formalism. We associate a formal semantics with WSLA elements and map these on SDES through a five step mapping process, which includes expressions for the metrics and functions on these metrics, the time at which to predict, and the ultimate service level compliance probability. We illustrate our approach through a stock quote web service example.

AB - Service level agreement (SLA) specification languages are designed to express monitorable contracts between service providers and consumers. It is of interest to determine if predictive models can be derived for SLAs expressed in such languages, if possible in automated fashion. For this purpose, we study in this paper the mapping of the Web Service Level Agreement (WSLA) into reward metrics defined in the Stochastic Discrete Event Systems (SDES) formalism. We associate a formal semantics with WSLA elements and map these on SDES through a five step mapping process, which includes expressions for the metrics and functions on these metrics, the time at which to predict, and the ultimate service level compliance probability. We illustrate our approach through a stock quote web service example.

UR - https://www.scopus.com/pages/publications/84856586255

U2 - 10.1007/978-3-642-24749-1_10

DO - 10.1007/978-3-642-24749-1_10

M3 - Conference contribution

AN - SCOPUS:84856586255

SN - 9783642247484

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 117

EP - 132

BT - Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings

T2 - 8th European Performance Engineering Workshop, EPEW 2011

Y2 - 12 October 2011 through 13 October 2011

ER -

Yassin Kassab R, Van Moorsel A. Formal mapping of WSLA contracts on stochastic models. In Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. 2011. p. 117-132. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-24749-1_10

Formal mapping of WSLA contracts on stochastic models

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this