Developing self-verifying service-based systems

Radu Calinescu; Kenneth Johnson; Yasmin Rafiq

doi:10.1109/ASE.2013.6693145

Developing self-verifying service-based systems

Radu Calinescu, Kenneth Johnson, Yasmin Rafiq

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

Abstract

We present a tool-supported framework for the engineering of service-based systems (SBSs) capable of self-verifying their compliance with developer-specified reliability requirements. These self-verifying systems select their services dynamically by using a combination of continual quantitative verification and online updating of the verified models. Our framework enables the practical exploitation of recent theoretical advances in the development of self-adaptive SBSs through (a) automating the generation of the software components responsible for model updating, continual verification and service selection; and (b) employing standard SBS development processes.

Original language	English
Title of host publication	2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings
Pages	734-737
DOIs	https://doi.org/10.1109/ASE.2013.6693145
Publication status	Published - 1 Dec 2013
Event	2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Palo Alto, CA, United Kingdom Duration: 11 Nov 2013 → 15 Nov 2013

Conference

Conference	2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013
Country/Territory	United Kingdom
City	Palo Alto, CA
Period	11/11/13 → 15/11/13

Access to Document

10.1109/ASE.2013.6693145

Cite this

@inproceedings{7c7a62f1b7b3467cbc8329312c558b05,

title = "Developing self-verifying service-based systems",

abstract = "We present a tool-supported framework for the engineering of service-based systems (SBSs) capable of self-verifying their compliance with developer-specified reliability requirements. These self-verifying systems select their services dynamically by using a combination of continual quantitative verification and online updating of the verified models. Our framework enables the practical exploitation of recent theoretical advances in the development of self-adaptive SBSs through (a) automating the generation of the software components responsible for model updating, continual verification and service selection; and (b) employing standard SBS development processes.",

author = "Radu Calinescu and Kenneth Johnson and Yasmin Rafiq",

year = "2013",

month = dec,

day = "1",

doi = "10.1109/ASE.2013.6693145",

language = "English",

isbn = "9781479902156",

pages = "734--737",

booktitle = "2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings",

note = "2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 ; Conference date: 11-11-2013 Through 15-11-2013",

}

Calinescu, R , Johnson, K & Rafiq, Y 2013, Developing self-verifying service-based systems. in 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings., 6693145, pp. 734-737, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Palo Alto, CA, United Kingdom, 11/11/13. https://doi.org/10.1109/ASE.2013.6693145

TY - GEN

T1 - Developing self-verifying service-based systems

AU - Calinescu, Radu

AU - Johnson, Kenneth

AU - Rafiq, Yasmin

PY - 2013/12/1

Y1 - 2013/12/1

N2 - We present a tool-supported framework for the engineering of service-based systems (SBSs) capable of self-verifying their compliance with developer-specified reliability requirements. These self-verifying systems select their services dynamically by using a combination of continual quantitative verification and online updating of the verified models. Our framework enables the practical exploitation of recent theoretical advances in the development of self-adaptive SBSs through (a) automating the generation of the software components responsible for model updating, continual verification and service selection; and (b) employing standard SBS development processes.

AB - We present a tool-supported framework for the engineering of service-based systems (SBSs) capable of self-verifying their compliance with developer-specified reliability requirements. These self-verifying systems select their services dynamically by using a combination of continual quantitative verification and online updating of the verified models. Our framework enables the practical exploitation of recent theoretical advances in the development of self-adaptive SBSs through (a) automating the generation of the software components responsible for model updating, continual verification and service selection; and (b) employing standard SBS development processes.

UR - http://www.scopus.com/inward/record.url?scp=84893612723&partnerID=8YFLogxK

U2 - 10.1109/ASE.2013.6693145

DO - 10.1109/ASE.2013.6693145

M3 - Conference contribution

AN - SCOPUS:84893612723

SN - 9781479902156

SP - 734

EP - 737

BT - 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings

T2 - 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013

Y2 - 11 November 2013 through 15 November 2013

ER -

Developing self-verifying service-based systems

Abstract

Conference

Access to Document

Other files and links

Cloud Computing for LSCITS

Cite this

Developing self-verifying service-based systems

Abstract

Conference

Access to Document

Other files and links

Projects

Cloud Computing for LSCITS

Cite this