Embedding continuous lifelong verification in service life cycles

TitleEmbedding continuous lifelong verification in service life cycles
Publication TypeWorkshop Paper
Year of Publication2009
AuthorsDomenico Bianculli, Carlo Ghezzi, and Cesare Pautasso
Workshop ICSE Workshop on Principles of Engineering Service Oriented Systems (PESOS 2009)
Pages99-102
MonthMay
Place PublishedVancouver, Canada
Keywordscontinuous lifelong verification, formal verification, monitoring, service contracts, service life cycles, service-oriented systems, software architecture, software engineering
Abstract

Service-oriented systems are an instantiation of open world software, which is characterized by high dynamism and decentralization. These properties strongly impact on how service-oriented systems are engineered, built, and operated, as well as verified. To address the challenges of applying verification to open service-oriented systems, in this position paper we propose to apply verification across the entire life cycle of a service and introduce a verification-oriented service life cycle.

DOI10.1109/PESOS.2009.5068828
Citation Keyclavos:2009:pesos
Refereed DesignationRefereed