Automated Model Checking and Testing for Composite Web Services

Huang, Hai; Tsai, Wei‐Tek; Paul, R.

doi:10.1109/isorc.2005.16

Cited by 90 publications

(43 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The tests also demonstrated that a Web service monitoring system can accumulate significant costs in the form of a [13] Probe No n/a QoS Guarantee via resource allocation and monitoring [17] Probe n/a n/a WS Robustness testing [18], [19] Probe n/a n/a Automated test case generation and distributed testing of WS [20] Probe n/a n/a Classification of monitors for runtime testing [21] Probe n/a n/a Generation of test cases for web service QoS [22] Probe n/a n/a Distributed performance testing [23] Probe n/a n/a Automatic conformance testing of WS [24] Probe n/a n/a Automatic testing of WS compositions [15] Proxy No n/a QoS of BPEL processes via interaction monitoring and dynamic service replacement [25] Proxy No n/a Adaptation of WS for QoS of WS and Composition at runtime using AOP [8] Proxy No negligible Verifying QoS of WS using timed automata [26] Proxy No n/a Management layer for WS based on AOP [27] Proxy No n/a Monitoring of run-time interactions of WS [28] Proxy No n/a Creation and monitoring of policies for WS transactions [2] Proxy No n/a Dynamic monitoring of BPEL processes using SOAP interception [29], [30] Proxy No n/a Association and monitoring of assertions on business processes [31] Proxy Yes n/a Distributed WS SLA monitoring via SOAP Proxies [5] Proxy Yes negligible SOAP-Proxy based monitoring using logs [6] Eavesdrop n/a negligible Verification of WS interaction patterns [32] Eavesdrop n/a n/a Customer-side QoS monitoring [33], [34] Eavesdrop n/a n/a Monitoring of WS (BPEL) compositions [35] Eavesdrop n/a n/a Generation and use of monitors for monitoring requirements in WS systems [36] Eavesdrop n/a n/a Monitoring WS BPEL processes for requirements compliance [37] Probe, Eavesdrop n/a n/a P2P service recovery framework [9] Probe, Eavesdrop n/a Up to 40% Method for monitoring distributed systems using queries [38] Probe, Proxy Yes n/a Use of AOP for measuring WS QoS [39] Probe, Proxy No n/a QoS...…”

Section: Discussionmentioning

confidence: 99%

Assessing the Performance Impact of Service Monitoring

Heward¹,

Müller²,

Han³

et al. 2010

2010 21st Australian Software Engineering Conference

View full text Add to dashboard Cite

Abstract-Service monitoring is an essential part of serviceoriented software systems and is required for meeting regulatory requirements, verifying compliance to service-level agreements, optimising system performance, and minimising the cost of hosting Web services. However, service monitoring comes with a cost, including a performance impact on the monitored services and systems. Therefore, it is important to deploy the right level of monitoring at the appropriate time and location in order to achieve the objectives of monitoring whilst minimising its impact on services and systems. Although there have been many efforts to create Web services monitoring techniques and frameworks, there has been limited work in quantifying the impact of Web service monitoring. In this paper, we report on experiments assessing the performance impact of service monitoring under typical system monitoring settings. The performance impact of monitoring method, monitor location, monitor processing capability, and monitoring mode are taken into consideration. Based on the experimental results, we advise on the most appropriate ways to deploy service monitoring.

show abstract

Section: Discussionmentioning

confidence: 99%

Assessing the Performance Impact of Service Monitoring

Heward¹,

Müller²,

Han³

et al. 2010

2010 21st Australian Software Engineering Conference

View full text Add to dashboard Cite

show abstract

“…They insisted that their approach can help to significantly reduce the number of test combinations. To verify the properties data-bound they defined, Huang et al [28] proposed the application of model checking to workflow applications. Their model checking technique for workflow applications was based on the process model of OWL-S (Web Ontology Language for Web Services) and the model checker BLAST.…”

Section: Related Workmentioning

confidence: 99%

Path Feasibility Analysis of BPEL Processes under Dead Path Elimination Semantics

Wang

Xing

Li³

et al. 2016

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

SUMMARYWeb Service Business Process Execution Language (BPEL) has become the de facto standard for developing instant serviceoriented workflow applications in open environment. The correctness and reliability of BPEL processes have gained increasing concerns. However, the unique features (e.g., dead path elimination (DPE) semantics, parallelism, etc.) of BPEL language have raised enormous problems to it, especially in path feasibility analysis of BPEL processes. Path feasibility analysis of BPEL processes is the basis of BPEL testing, for it relates to the test case generation. Since BPEL processes support both parallelism and DPE semantics, existing techniques can't be directly applied to its path feasibility analysis. To address this problem, we present a novel technique to analyze the path feasibility for BPEL processes. First, to tackle unique features mentioned above, we transform a BPEL process into an intermediary model -BPEL control flow graph, which is proposed to abstract the execution flow of BPEL processes. Second, based on this abstraction, we symbolically encode every path of BPEL processes as some Satisfiability formulas. Finally, we solve these formulas with the help of Satisfiability Modulo Theory (SMT) solvers and the feasible paths of BPEL processes are obtained. We illustrate the applicability and feasibility of our technique through a case study.

show abstract

“…As shown in recent detailed surveys on Web service's testing, such as [31], the research community has rather concentrated on testing single services, e.g., [32], [33], or composite ones, e.g., [34], [35], but has neglected too much the necessity of testbed infrastructures.…”

Section: Related Researchmentioning

confidence: 99%

Automating the Generation of Web Service Testbeds Using AOP

Juszczyk

Dustdar

2011

2011 IEEE Ninth European Conference on Web Services

View full text Add to dashboard Cite

Abstract-One of the key concepts of service-oriented computing is dynamic binding which favors on-demand integration of services into a running system. Companies can outsource tasks to external partners by using their services and are able to switch over to alternatives at runtime. However, this flexibility comes at a high cost because it complicates the testing process significantly. The major problem with external services is their restricted usability for testing purposes, due to costs or because policies forbid trial invocations. In this paper we present our approach to solve this issue by generating automatically testbeds which emulate external services. Based on previous work on testbed generation, we have developed a technique for intercepting Web service invocations in Java-based systems, generating emulated replicas at runtime, and redirecting the invocations transparently. We describe the concepts of our approach, its applicability, and limitations.

show abstract

Automated Model Checking and Testing for Composite Web Services

Cited by 90 publications

References 10 publications

Assessing the Performance Impact of Service Monitoring

Assessing the Performance Impact of Service Monitoring

Path Feasibility Analysis of BPEL Processes under Dead Path Elimination Semantics

Automating the Generation of Web Service Testbeds Using AOP

Contact Info

Product

Resources

About