Lifelong verification of dynamic service compositions
Domenico Bianculli · 2008
Service-oriented computing is an emerging paradigm that supports the development of distributed applications, which are realized by composing third-party services to provide new added-value services. These applications live in an open world, where new services can appear and disappear, and compositions may change dynamically. In this scenario, the traditional boundary between design time and run time is blurring. Verification, which traditionally pertains to design time, must now extend to run time. The goal of this thesis is thus to provide a holistic approach for lifelong verification of dynamic service compositions.