Michele Trainotti

Learn More
The run-time monitoring of Web service compositions has been widely acknowledged as a significant and challenging problem. In this paper, we propose a novel solution to the problem of monitoring Web services implemented in BPEL. We devise an architecture that clearly separates the business logic of a Web service from its monitoring functionality. The(More)
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how advanced automated planning techniques can be exploited to automatically compose web services, and to synthesize monitoring components that control their execution. In this demo we(More)
In the literature, there exist several approaches for monitoring the execution of BPEL processes. They concentrate on different properties, adopt different languages, work at different levels of abstraction, and assume different perspectives. Even if the field is rather new, we do not think that this diversity is a limitation of current solutions; rather it(More)
While a lot of work has been done on the problem of the automated generation of plans that compose web services, the problem of monitoring their execution has still to be investigated. However, the run-time monitoring of web service executions is a compelling requirement, since it makes it possible to detect misbehaviors of external component services that(More)
Summary: The Shared Information and Data model (SID) is a set of comprehensive standardized information definitions, developed by the TeleManagement Forum (TMF), acting as the common language for building easy to integrate OSS (Operational Support System) and BSS (Business Support System) solutions. The SID model focuses on what are called “business entity”(More)
Service Status open Synonyms Description Any service not yet instantiated ( service instance) is called an abstract service. Abstract services do have well-defined functional semantics but are not necessarily bound to a single provider. Examples Any flight booking service – considered independently of any specific travel agent (provider) which may offer(More)
  • 1