Sciweavers

FORTE
2009

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions

13 years 1 months ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governance of service compositions is intrinsically decentralized and services may evolve independently over time. In this context, pre-deployment verification can only provide limited guarantees, while continuous run-time verification is needed to probe and guarantee the correctness of compositions at run time. This paper addresses the issue of efficiency in the run-time verification of service compositions described in BPEL. It considers an existing monitoring approach based on ALBERT, which is a temporal logic language suitable for asserting both functional and non-functional properties, and shows how to obtain the efficient run-time verification of ALBERT formulae. The paper introduces an operational semantics for ALBERT through an extension of alternating automata, and explains how to optimize it to produce smar...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where FORTE
Authors Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini
Comments (0)