Formal Verification of Service Level Agreements Through Distributed Monitoring

Behrooz Nobakht; Stijn de Gouw; Frank S. de Boer

doi:10.1007/978-3-319-24072-5_9

Formal Verification of Service Level Agreements Through Distributed Monitoring

Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Service Oriented and Cloud Computing
Subtitle of host publication	4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings
Editors	Schahram Dustdar , Frank Leymann , Massimo Villari
Publisher	Springer
Pages	125-140
Number of pages	16
ISBN (Electronic)	978-3-319-24072-5
ISBN (Print)	978-3-319-24071-8
DOIs	https://doi.org/10.1007/978-3-319-24072-5_9
Publication status	Published - 2015
Externally published	Yes
Event	4th European Conference on Service-Oriented and Cloud Computing - Taormina, Italy Duration: 15 Sep 2015 → 17 Sep 2015 http://esocc2015.unime.it/

Publication series

Series	Lecture Notes in Computer Science
Volume	9306
ISSN	0302-9743

Conference

Conference	4th European Conference on Service-Oriented and Cloud Computing
Abbreviated title	ESOCC 2015
Country/Territory	Italy
City	Taormina
Period	15/09/15 → 17/09/15
Internet address	http://esocc2015.unime.it/

Access to Document

10.1007/978-3-319-24072-5_9

Cite this

Nobakht, B., Gouw, S. D., & Boer, F. S. D. (2015). Formal Verification of Service Level Agreements Through Distributed Monitoring. In S. D., F. L., & M. V. (Eds.), Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings (pp. 125-140). Springer. Lecture Notes in Computer Science Vol. 9306 https://doi.org/10.1007/978-3-319-24072-5_9

Nobakht, Behrooz ; Gouw, Stijn de ; Boer, Frank S. de. / Formal Verification of Service Level Agreements Through Distributed Monitoring. Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. editor / Schahram Dustdar ; Frank Leymann ; Massimo Villari. Springer, 2015. pp. 125-140 (Lecture Notes in Computer Science, Vol. 9306).

@inproceedings{ffb8b17aba6f4bfa91419576018d670d,

title = "Formal Verification of Service Level Agreements Through Distributed Monitoring",

author = "Behrooz Nobakht and Gouw, {Stijn de} and Boer, {Frank S. de}",

year = "2015",

doi = "10.1007/978-3-319-24072-5_9",

language = "English",

isbn = "978-3-319-24071-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "125--140",

editor = "{Schahram Dustdar} and {Frank Leymann} and {Massimo Villari}",

booktitle = "Service Oriented and Cloud Computing",

note = "4th European Conference on Service-Oriented and Cloud Computing, ESOCC 2015 ; Conference date: 15-09-2015 Through 17-09-2015",

url = "http://esocc2015.unime.it/",

}

Nobakht, B, Gouw, SD & Boer, FSD 2015, Formal Verification of Service Level Agreements Through Distributed Monitoring. in SD, FL & MV (eds), Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. Springer, Lecture Notes in Computer Science, vol. 9306, pp. 125-140, 4th European Conference on Service-Oriented and Cloud Computing, Taormina, Italy, 15/09/15. https://doi.org/10.1007/978-3-319-24072-5_9

Formal Verification of Service Level Agreements Through Distributed Monitoring. / Nobakht, Behrooz; Gouw, Stijn de; Boer, Frank S. de.

Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. ed. / Schahram Dustdar; Frank Leymann; Massimo Villari. Springer, 2015. p. 125-140 (Lecture Notes in Computer Science, Vol. 9306).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

TY - GEN

T1 - Formal Verification of Service Level Agreements Through Distributed Monitoring

AU - Nobakht, Behrooz

AU - Gouw, Stijn de

AU - Boer, Frank S. de

PY - 2015

Y1 - 2015

UR - https://link.springer.com/book/10.1007/978-3-319-24072-5

U2 - 10.1007/978-3-319-24072-5_9

DO - 10.1007/978-3-319-24072-5_9

M3 - Conference article in proceeding

SN - 978-3-319-24071-8

T3 - Lecture Notes in Computer Science

SP - 125

EP - 140

BT - Service Oriented and Cloud Computing

A2 - , Schahram Dustdar

A2 - , Frank Leymann

A2 - , Massimo Villari

PB - Springer

T2 - 4th European Conference on Service-Oriented and Cloud Computing

Y2 - 15 September 2015 through 17 September 2015

ER -

Nobakht B, Gouw SD, Boer FSD. Formal Verification of Service Level Agreements Through Distributed Monitoring. In SD, FL, MV, editors, Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. Springer. 2015. p. 125-140. (Lecture Notes in Computer Science, Vol. 9306). https://doi.org/10.1007/978-3-319-24072-5_9

Formal Verification of Service Level Agreements Through Distributed Monitoring

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this