| Title | Embedding continuous lifelong verification in service life cycles |
| Publication Type | Workshop Paper |
| Year of Publication | 2009 |
| Authors | Bianculli, D., C. Ghezzi, and C. Pautasso |
| Workshop | ICSE Workshop on Principles of Engineering Service Oriented Systems (PESOS 2009) |
| Pages | 99-102 |
| Month | May |
| Place Published | Vancouver, Canada |
| Keywords | continuous 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. |
| DOI | 10.1109/PESOS.2009.5068828 |
| Citation Key | clavos:2009:pesos |
| Refereed Designation | Refereed |
PDF:
Submitted by cp on