Answers are grounded in this paper and cite their sources.
This paper presents a framework for monitoring the compliance of systems composed of Web-services with requirements set for them at runtime. This framework assumes systems composed of Web-services which are co-coordinated by a service composition process expressed in BPEL and uses event calculus to specify the requirements to be monitored. These requirements may include behavioral properties of a system which are automatically extracted from the specification of its composition process in BPEL and/or assumptions that system providers can specify in terms of events extracted from this specification.
No takes yet. Share an insight, caveat, or question.
Spanoudakis et al. (2006) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: