Monitoring WS-CDL-based choreographies of Web Services
نویسندگان
چکیده
Self-healing software, and especially self-healing web services, is one of the challenging tasks for a next future. This paper is a step in this direction, insofar as it describes a framework for monitoring and diagnosing web services. One of the main difficulties is that faults may propagate from one service to another, which makes the diagnosis a crucial issue in order to react properly. We propose to use a chronicle recognition approach, currently in use for monitoring complex industrial systems. The challenge is to extend the existing approach to the specific context of web services, the main point being to deal with highly distributed systems. We focus in this paper on choreographed web services, whose choreography model is described in a WS-CDL file. We use a simplified example of an e-foodshop web service to illustrate our proposal. A monitoring platform, named Matrac, has been developed and experimented in the context of e-commerce. This work has been achieved in the framework of the WS-Diamond European project.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملDesign and Generation of Web Services Choreographies with Time Constraints
In this paper we show how UML 2.0 sequence diagrams can be used for the design of Web service choreographies with time constraints and how these sequence diagrams can be extended with frames for the description of Web service choreographies. We then show how the diagrams can be translated into WS-CDL documents. This translation is of interest, since non-XML experts can find it difficult to impl...
متن کاملTransforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets
A Web Service is a self-describing, self-contained modular application that can be published, located, and invoked over a network, such as the Internet. Web Service composition provides away to obtain value-added services by combining different existing facilities, which are then able to support the integration of commercial applications. WS-CDL (Web Services Choreography Description Language) ...
متن کاملAutomated Derivation of Executable Business Processes from Choreographies in Virtual Organizations
In this paper, we address the challenge of deriving both, executable WSBPEL processes and their respective WSDL interface specifications from choreographies written in WS-CDL for business processes in Virtual Organizations (VOs). The major issues hereby are the differences in the vocabulary of WS-CDL andWSBPEL as well as the information gap between a choreography and an executable orchestration...
متن کاملA Formal Model for Web Service Choreography Description Language (WS-CDL)
The Web Services Choreography Description Language (WS-CDL) is a specification of W3C developed for the description of peer-to-peer collaborations of participants from a global viewpoint. For the rigorous definition and tools support for the language, the formal semantics of WS-CDL is worth investigating. This paper proposes a small language CDL as a formal model of simplified WSCDL, which incl...
متن کامل