Online Testing Framework for Web Services

Cao, Tien-Dung; Felix, Patrick; Castanet, Richard; Berrada, Ismaïl

doi:10.1109/icst.2010.11

Cited by 28 publications

(19 citation statements)

References 20 publications

(18 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moreover, they are meant to be used at design time rather than checking the automatically orchestrated system at runtime. In contrast to these approaches, [17] proposes to validate the composed system at runtime. However, the approach favors using testing methods rather than formal verification which does not provide full coverage of system executions.…”

Section: Related Workmentioning

confidence: 97%

Formal verification of service-oriented adaptive driver assistance systems

2013

View full text Add to dashboard Cite

Many future Driver-Assistance-Systems (DAS) will use components not permanently mounted to the vehicle. Unlike state-of-the-art DAS with static configurations, the system and software architecture changes at runtime. To handle configuration changes, Service Oriented Architecture (SOA) and automatic orchestration is a promising approach. Whenever systems are set up automatically, they have to be validated. This paper presents an approach based on formal methods. Existing component models are annotated with Quality-of-Service parameters and transformed automatically to Hybrid Automata. These automata are then composed to an overall system model and model checking is used to check safety properties. The complete transformationorchestration-validation process is executed without user interaction and thus can be performed at runtime.

show abstract

Section: Related Workmentioning

confidence: 97%

Formal verification of service-oriented adaptive driver assistance systems

2013

View full text Add to dashboard Cite

show abstract

“…They applied a protocol conformance testing technique based using symbolic transition system (STS) to service orchestration testing. Cao et al [28] proposed a framework that automatically generates and executes tests for conformance testing of service orchestration specified in BPEL. They applied a protocol conformance testing technique using timed extended finite state machine (TEFSM).…”

Section: Related Workmentioning

confidence: 99%

Architecture-based testing of service-oriented applications in distributed systems

Keum¹,

Kang²,

Kim³

2013

Information and Software Technology

View full text Add to dashboard Cite

“…The framework presented in [4] generates and executes automatically "online" tests for conformance testing of a composite of Web Services described in BPEL. This "online" approach was combined with passive testing, that verifies time traces with respect to a set of constraints in [3].…”

Section: Monitoringmentioning

confidence: 99%

Resilient Web Services for Timeless Business Processes

Miksa

Mayer

Unterberger

et al. 2014

Proceedings of the 16th International Conference on Information Integration and Web-Based Applications &Amp; Services

View full text Add to dashboard Cite

Many business and scientific processes make extensive use of service-oriented architectures, using distributed services. These are often provided by third parties and are thus not under direct control of process owners. In this paper we discuss the issues of ensuring continuous and faithful execution of processes in distributed environments, focusing specifically on Web Services. Recently, we introduced a specification of Resilient Web Services, that makes current Web Services more robust, and a framework for the monitoring of Web Services, that allows detecting anomalies. In this paper, we describe alternative implementations of the framework for monitoring of Web Services. We also present possible approaches easing the deployment of Resilient Web Services: a framework consisting of tools deployable at the Web Service operator site enabling easy transformation of a regular Web Service into a Resilient Web Service, and a registry with notifications that decorates existing Web Services with resilient methods.

show abstract

Online Testing Framework for Web Services

Cited by 28 publications

References 20 publications

Formal verification of service-oriented adaptive driver assistance systems

Formal verification of service-oriented adaptive driver assistance systems

Architecture-based testing of service-oriented applications in distributed systems

Resilient Web Services for Timeless Business Processes

Contact Info

Product

Resources

About