Verification of Web service flows with model-checking techniques

Proceedings - 1st International Symposium on Cyber Worlds, CW 2002

Volumn , Issue , 2002, Pages 378-385

  Nakajima, S ^a  

^a HOSEI UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; INTERNET; MODEL CHECKING; SOFTWARE ENGINEERING; VERIFICATION; WEBSITES;

DISTRIBUTED COLLABORATION; MODEL-CHECKING TECHNIQUES; REMOTE SERVICES; SERVICE FLOWS; SHARED NETWORK; SOFTWARE MODEL CHECKING; SOFTWARE TECHNOLOGY; SPIN MODELS;

WEB SERVICES;

EID: 84961775491     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CW.2002.1180904     Document Type: Conference Paper

References (15)

1. M. Aoyama. Introduction to Software Service Technologies (in Japanese). In IPSJ Magazine, Vol. 42, No. 9, pages 857-862, September 2001.
2. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Service Description Language (WSDL). W3C Web Site, 2001.
3. E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
4. H. Eertink, W. Janssen, P.O. Luttighuis, W. Teeuw, and C. Vissers. A Business Process Design Language, In Proc. FME FM'99, pages 76-95, September 1999.
5. G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
6. G.J. Holzmann. The Model Checker SPIN. IEEE Trans. Soft. Engin., Vol.23, No.5, pages 279-295, May 1997.
7. K. Jensen. Coloured Petri Nets 1. Springer-Verlag, 1992.
8. C. Karamanolis, D. Giannakopoulou, J. Magee, and S.M. Wheater. Model Checking of Workflow Schemas. In Proc. IEEE EDOC 2000, pages 170-179, September 2000.
9. F. Leymann and W. Altenhuber. Managing Business Processes as an Information Resource. IBM System Journal, vol.33, no.2, pages 326-348, 1994.
10. F. Leymann. Web Services Flow Language (WSFL 1.0). IBM Corporation, May 2001.
11. S. Nakajima. Verifying Business Flow Diagrams with CCS (in Japanese). In Proc. 1st JSSST Workshop on FOSE, pages 135-140, December 1994.
12. S. Nakajima. On Verifying Web Service Flows. In Proc. SAINT 2002 Workshop, pages 223-224, January 2002. Presented at WebSE 2002 [15].
13. S. Thatte. XLANG - Web Services for Business Process Design. Microsoft Corporation, May 2001.
14. UDDI Web Site. UDDI Technical White Paper. http://www.uddi.org . September 2000.
15. WebSE 2002. International Workshop on Web Service Engineering. Nara, February 2002.