Specification and verification of web service composition based on XYZ/ADL

Tien Tzu Hsueh Pao/Acta Electronica Sinica

Volumn 39, Issue 3 A, 2011, Pages 86-93

  Zhang, Guang Quan ^a,b   Rong, Mei ^c   Zhu, Xue Yang ^b   He, Ya Li ^a   Shi, Hui Juan ^a  

^a SOOCHOW UNIVERSITY   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^c JINAN UNIVERSITY   (China)

Author keywords

Model checking; Refinement checking; Timed automata; Web services composition; XYZ ADL; XYZ RE

Indexed keywords

REFINEMENT CHECKING; TIMED AUTOMATA; WEB SERVICES COMPOSITION; XYZ/ADL; XYZ/RE;

MODEL CHECKING; QUALITY OF SERVICE; SOFTWARE ARCHITECTURE; SPECIFICATIONS; TEMPORAL LOGIC; USER INTERFACES;

WEB SERVICES;

EID: 79959603274     PISSN: 03722112     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. Wen Y J, Wang J, Qi ZC. Compositional model checking and compositional refinement checking of concurrent reactive systems[J]. Journal of Software, 2007, 18(6): 1270-1281. (in Chinese)
2. Lin H M, Zhang W H. Model checking: theories, techniques and applications[J]. Acta Electronica Sinica, 2002, 30(12A): 1907-1912. (in Chinese)
3. Zhu X Y, Tang Z S. A temporal logic-based software architecture description language XYZ/ADL[J]. Journal of Software, 2003, 14(4): 714-720. (in Chinese)
4. Zhang G Q, Rong M, Wang L, et al. Modeling and analysis for Web services composition based on dynamic software architecture[A]. Proceedings of the 6th International Symposium on Web Information Systems and Applications (WISA2009)[C]. Xuzhou, China: IEEE Computer Society, 2009. 122-125.
5. Zhang G Q, Rong M, He Y L, et al. A refinement checking method of web services composition[A]. 5th IEEE Int'l Workshop on Service-Oriented System Engineering(SOSE2010)[C]. Nanjing, China: IEEE Computer Society, 2010. 103-106.
6. Behrmann G, David A, Larsen KG. A tutorial on UPPAAL[A]. Int'l School on Formal Methods for the Design of Computer, Communication, and Software Systems(SFM-RT2004)[C]. LNCS 3185, Springer-Verlag, 2004. 200-236.
7. Diaz G, Pardo J, Cambronero M, et al. Automatic translation of WS-CDL choreographies to timed automata[A]. Int'l Workshop on Web Services and Formal Methods (WS-FM 2005)[C]. LNCS 3670, 2005. 230-242.
8. Fu X, Bultan T, Su JW. Model checking interactions of composite web services[N]. UCSB Computer Science Department Technical Report, 2004.
9. Vinoski S. WS-nonexistent standards[J]. IEEE Internet Computing, 2004, 8(6): 94-96.
10. Milanovic N, Malek M. Architectural support for automatic service composition[A]. Proc IEEE Int'1 Conf. Service Computing(SCC2005)[C]. Washington. DC. USA: IEEE Computer Society, 2005. 133-140.
11. Yang X, Chen J L. WSC/ADL: An architecture description language for web services composition system[J]. Journal of Software, 2003, 14(4): 714-720. (in Chinese)