A refinement checking method of web services composition

Proceedings - 5th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010

Volumn , Issue , 2010, Pages 103-106

  Zhang, Guangquan ^a,b   Rong, Mei ^c   He, Yali ^a   Zhu, Xueyang ^b   Yan, Rongjie ^d  

^a SOOCHOW UNIVERSITY   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^c JINAN UNIVERSITY   (China)

^d VERIMAG   (France)

Author keywords

Refinement checking; Temporal logic language; Timed automata; Web services composition

Indexed keywords

DISTRIBUTED COMPUTING; GLOBAL PERSPECTIVE; REFINEMENT CHECKING; SEMANTIC REPRESENTATION; SOFTWARE ARCHITECTURE DESCRIPTION LANGUAGES; SOFTWARE AS A SERVICE; SOFTWARE DEVELOPMENT PROCESS; TIMED-AUTOMATA; WEB SERVICE COMPOSITION; WEB SERVICES COMPOSITION; WHOLE SYSTEMS;

AUTOMATA THEORY; DISTRIBUTED COMPUTER SYSTEMS; SEMANTIC WEB; SOFTWARE ARCHITECTURE; SOFTWARE DESIGN; SYSTEMS ENGINEERING; WEB SERVICES;

TEMPORAL LOGIC;

EID: 78449244923     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOSE.2010.13     Document Type: Conference Paper

References (10)

1. M. Beek, A. Bucchiarone, and S. Gnesi, "Web Service Composition Approaches: From Industrial Standards to Formal Methods," In: the 2nd Int'l Conference on Internet and Web Applications and Services (ICIW 2007), IEEE , 2007, pp.13-19.
2. G. Diaz, J. Pardo, M. Cambronero, V. Valero, and F. Cuartero, "Automatic translation of WS-CDL choreographies to timed automata," In: Int'l Workshop on Web Services and Formal Methods(WS-FM 2005), LNCS, vol. 3670, 2005, pp. 230-242.
3. Zhuzhong Qian, Sanglu Lu, and Li Xie, "Automatic Composition of Petri Net Based Web Services," Chinese Journal of Computer, 2006, vol. 29, no. 7, pp. 1057-1066.
4. M. Rouached, O. Perrin, and C. Godart, "Towards Formal Verification of Web Service Composition," In: 4th Int'l Conference on Business Process Management (BPM 2006), LNCS vol. 4102, pp. 257-273.
5. Xin Yang, and Junliang Chen, "WSC/ADL: An Architecture Description Language for Web Services Composition System", Chinese Journal of Software, 2006, vol. 17, no. 5, pp. 1182-1194.
6. Guangquan Zhang, Mei Rong, Ling Wang, Yali He, and Hui Wei, "Modeling and Analysis for Web Services Composition Based on Dynamic Software Architecture," In: 6th Web Informaton Systems and Applications Conference(WISA 2009), IEEE Computer Society, 2009, pp.122-125.
7. Zhisong Tang, et al, Temporal Logic Programming and Software Engineering, Beijing: Science Press, 2002.
8. N. Milanovic, and M. Malek, "Architectural support for automatic service composition," In: Proc. of the IEEE Int'1 Conf. on Service Computing (SCC2005), IEEE Computer Society, 2005, pp. 133-140.
9. R. Alur, and DL. Dill, "A theory of timed automata," Theoretical Computer Science, 1994, vol 126, no 2, pp.183-235.
10. S.K. Rajamani, and T.A. Henzinger, "New directions in refinement checking,"[Ph.D.Thesis] Berkeley:University of California, 1999.