Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience (original) (raw)

A framework for requirements monitoring of service based systems

2004

This paper proposes a framework for monitoring the compliance of systems composed of web-services with requirements set for them. This framework assumes systems composed of webservices that are co-ordinated by a service composition process expressed in BPEL4WS and uses event calculus to specify the properties to be monitored. The monitorable properties may include behavioural properties of a system which are automatically extracted from the specification of its composition process in BPEL4WS and/or assumptions that system providers can specify in terms of events extracted from this specification.

An event based, non-intrusive monitoring framework for Web Service Based Systems

2010 International Conference on Computer Information Systems and Industrial Management Applications (CISIM), 2010

Monitoring of Web Service Based Systems (SBS) in a non-intrusive and composition platform independent manner is a real challenge. In this paper, we propose a framework for monitoring the compliance of SBS for which a set of requirements have been pre-specified. These requirements may include behavioral properties of the SBS and/or assumptions that service providers may specify in terms of events extracted from the SBS. In the proposed framework the SBS runs independent of the monitoring functionality. A Monitor Specification Language (MSL) has been developed to specify the properties of the system to be monitored at run-time. The language has the ability to specify boolean, statistical, and time-related properties. The specifications are automatically translated into executable C programs which act as run-time monitors. The monitors thus generated monitor the specified properties by capturing run-time events from the business layer, service layer and infrastructure layer of the SBS.

WSCMon: runtime monitoring of web service orchestration based on refinement checking

Service Oriented Computing and Applications, 2012

Service-oriented systems, especially web services, have been given strong attention as an important approach to integrate heterogeneous systems, in which complex services are composed of simpler services offered by various service providers. The correctness of service composition requires techniques to verify whether composite services behave properly. To this end, in this paper, we propose a novel method for runtime monitoring of composite services. In our method, system specifications, which are automatically generated from descriptions of service composition, and requirement specifications, which include safety properties, are constructed to detect Business Process Execution Language (BPEL) engine-related and BPEL process-related violations. We employ process algebra as the primary formalism to express specifications. To verify the correctness of composite services, we check the refinement relation between specifications and observed behaviors. Also, we formally discuss what kinds of specifications can be monitored at runtime.

Non-intrusive monitoring of service-based systems

2006

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.

Run-time monitoring of instances and classes of web service compositions

Web Services, 2006. …, 2006

The run-time monitoring of web service compositions has been widely acknowledged as a significant and chal-lenging 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 ...

Run-Time Monitoring of the Execution of Plans for Web Service Composition

Icaps, 2006

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 are provided by third parties, and thus not fully under control. In this paper we propose a technique for the automatic generation of monitors as Java programs that check at run-time the execution of plans composing web services and detect violations to interaction protocols and service level agreements. The former correspond to unexpected changes in the planning domain, while the latter represent violations of assumptions that have been used to generate the composition plan.

Monitoring BPEL-Based Web Service Composition Using AOP

ACIS International Conference on Computer and Information Science, 2009

With the loose coupling and dynamic attributes of Web Service, the implementation behavior may be different from original requirement, so it's essential to implement the run-time monitoring. Monitoring analyzes the conformance of a Web Service to the requirements. This paper gives a novel monitoring prototype framework. It introduces WS-Policy to express the user's monitoring requirement on the Services. Then, AOP (Aspect Oriented Programming) technology is used to extend the BPEL execution engine in order to capture run-time information of the service. Finally, monitoring information is analyzed against the EMSC (Extended Message Sequence Charts) and METG property specification of that service, reaching the predefined goal of monitoring. To evaluate our approach, we have executed a travel reservation service sample under the monitoring framework. Case study demonstrates the feasibility.