An Integrated Declarative Approach to Web Services Composition and Monitoring

International audienceIn this paper we propose a constraint based declarative approach for Web services composition and monitoring problem. Our approach allows user to build the abstract composition by identifying the participating entities and by providing a set of constraints that mark the boundary of the solution. Different types of constraints have been proposed to handle the composition modeling and monitoring. Abstract composition is then used for instantiating the concrete composition, which both finds and executes an instantiation respecting constraints, and also handles the process run-time monitoring. When compared to the traditional approaches, our approach is declarative and allows for the same set of constraints to be used for composition modeling and monitoring and thus allows for refining the abstract composition as a result of run-time violations, such as service failure or response time delays

Micronesia in Review: Issues and Events, 1 July 2004 to 30 June 2005

Abstract. When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, updates generate so-called Boolean ABoxes, which cannot be handled by traditional Description Logic reasoners. Second, iterated update operations result in very large Boolean ABoxes, which, however, contain a huge amount of redundant information. In this paper, we address both issues from a practical point of view.