Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso
ICSE Workshop on Principles of Engineering Service Oriented Systems (PESOS 2009), Vancouver, Canada, pp. 99-102
May 2009
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.
Download
DOI: 10.1109/PESOS.2009.5068828
PDF: ▼clavos-pesos2009.pdf (103KB)
Citation
- Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Embedding continuous lifelong verification in service life cycles, Proc. of the ICSE Workshop on Principles of Engineering Service Oriented Systems (PESOS 2009), Vancouver, Canada, May 2009