Testing BPEL-based Web Service Composition Using High-level Petri Nets

Authors:
Wen-Li Dong;Hang Yu;Yu-Bing Zhang
Affiliations:
Tsinghua University Beijing, China;Tsinghua University Beijing, China;Tsinghua University Beijing, China
Venue:
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Year:
2006

Citing 0
Cited 11

A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing

ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Design of Composable Services

Service-Oriented Computing --- ICSOC 2008 Workshops
Simulation of IT Service Processes with Petri-Nets

Service-Oriented Computing --- ICSOC 2008 Workshops
A Petri Nets based functional validation for services composition

Expert Systems with Applications: An International Journal
Towards pro-active adaptation with confidence: augmenting service monitoring with online testing

Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Analytical quality assurance

Service research challenges and solutions for the future internet
A model-driven framework for runtime adaptation of web service compositions

Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
DDAT: data dependency analysis tool for web service business processes

ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph

Journal of Systems and Software
An aggregation composition compensation method based on paired net

International Journal of Automation and Computing
Design for service compatibility

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a technique for analysis and testing BPEL-based web service composition using High-level Petri Nets. To illustrate how these compositions are verified, the relationships between BPEL-based web service composition and High-level Petri Nets is constructed. By analyzing the structure of web service composition based on BPEL, the corresponding HPN is constructed. The dynamism and occurrence are presented in HPN with guard expression with coloured token. After translation, the equivalent HPN of the web service composition based on BPEL can be verified on existing mature tool, and the related researches on HPN, e.g. testing coverage and reduction techniques that have been studied deeply, can be employed in testing of web service composition based on BPEL, optimized test case can be generated based on the HPN translated. An example is provided to illustrate the translation ruled and the automatic verify progress.