Verifying service composition based on modular reachability graph and generating BPEL codes

Ruan Jian Xue Bao/Journal of Software

Volumn 21, Issue 8, 2010, Pages 1810-1819

  Du, Yan Hua ^a   Fan, Yu Shun ^b   Li, Xi Tong ^b  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY BEIJING   (China)

^b TSINGHUA UNIVERSITY   (China)

Author keywords

ECA rule; Mediator; Modular reachability graph; Service composition; Verification

Indexed keywords

BUSINESS PROCESS EXECUTION LANGUAGE; COMPOSITE SERVICES; EBUSINESS; ECA RULE; EXISTING METHOD; MEDIATOR; PETRI NET MODELS; REACHABILITY GRAPHS; SERVICE COMPOSITIONS; STATE SPACE; STATE-SPACE EXPLOSION; SUBMODELS;

ELECTRONIC COMMERCE; GRAPH THEORY; PETRI NETS;

QUALITY OF SERVICE;

EID: 77955995731     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2010.03618     Document Type: Article

References (18)

1. Yue K, Wang XL, Zhou AY. Underlying techniques for Web services: A survey. Journal of Software, 2004, 15(3):428-442 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/15/428.htm
2. Benatallah B, Casati F, Grigori D, Nezhad HRM, Toumani F. Developing adapters for Web services integration. In: Pastor O, Fakae-cunba J, eds. Proc. of the CaiSE 2005. LNCS 322, Heidelberg: Springer-Verlag, 2005. 415-429.
3. Brogi A, Popescu R. Automated generation of BPEL adapters. In: Dan A, Lamersdorf W, eds. Proc. of the ICSOC 2006. LNCS 4294, Heidelberg: Springer-Verlag Press, 2006. 27-39.
4. Nezhad HRM, Benatallah B, Martens A, Curbera F, Casati F. Semi-Automated adaptation of service interactions. In: Williamson CL, ed. Proc. of the WWW 2007. Banff: ACM Press, 2007. 993-1002.
5. Martens A. Consistency between executable and abstract processes. In: Proc. of the ICTCS 2005. Washington: IEEE Computer Society Press, 2005. 60-67.
6. Tan W, Fan YS, Zhou MC. A Petri net-based method for compatibility analysis and composition of Web services in business process execution language. IEEE Trans. on Automation Science and Engineering, 2009, 6(1):94-106. [doi: 10.1109/TASE.2008. 916747]
7. Kongdenfha W, Saint-Paul R, Benatallah B, Casati F. An aspect-oriented framework for service adaptation. In: Dan A, Lamersdorf W, eds. Proc. of the ICSOC 2006. LNCS 4294, Heidelberg: Springer-Verlag, 2006. 15-26.
8. Juric MB, Mathew B, Sarang P. Business Process Execution Language For Web Services-An Architect and Developer's Guide to Orchestrating Web Services Using BPEL4WS. 2nd ed., Birmingham: Packt Publishing, 2006. 122-156.
9. Lohmann N, Massuthe P, Stahl C, Weinberg D. Analyzing interacting BPEL processes. In: Dustdar S, Fiadeiro JL, Sheth A, eds. Proc. of the BPM 2006. LNCS 4102, Heidelberg: Springer-Verlag, 2006. 17-32.
10. Dijkman RM, Dumas M, Ouyang C. Formal semantics and analysis of BPMN process models using Petri nets. Technical Report, 7115, Brisbane: Queensland University of Technology, 2007.
11. Li JQ, Fan YS, Zhou MC. Timing constraint workflow nets for workflow analysis. IEEE Trans. on Systems, Man, and Cybernetics-Part A, 2003, 33(2):179-193. [doi: 10.1109/TSMCA.2003.811771]
12. Christensen S, Petrucci L. Modular analysis of Petri nets. The Computer Journal, 2000, 43(3):224-242. [doi: 10.1093/comjnl/ 43.3.224]
13. CPN tools. 2001. http://www.daimi.au.dk/CPNTools
14. Ouyang C, Dumas M, Breutel S, ter Hofstede A. Translating standard process models to BPEL. In: Dubois E, Pohl K, eds. Proc. of the CaiSE 2006. LNCS 4001, Heidelberg: Springer-Verlag, 2006. 417-432.
15. Ouyang C, Dumas M, ter Hofstede AHM, van der Aalst WMP. Pattern-Based translation of BPMN process models to BPEL Web services. Int'l Journal of Web Services Research, 2007, 5(1):26-35.
16. Korherr B, List B. Extending the UML 2 activity diagram with business process goals and performance measures and the mapping to BPEL. In: Roddick JF, et al., eds. Proc. of the ER 2006. LNCS 4231, Heidelberg: Springer-Verlag, 2006. 7-18.
17. Zhao ZK, Sheng QJ, Shi ZZ. An execution semantics of UML activity view for workflow modeling. Journal of Computer Research and Development, 2005, 42(2):300-307 (in Chinese with English abstract).
18. White SA. Process modeling notations and workflow patterns. Business Process Trends, 2004, 3(1):1-24.