On verifying web service flows

Proceedings - 2002 Symposium on Applications and the Internet Workshops, SAINT 2002

Volumn , Issue , 2002, Pages 223-224

  Nakajima, S ^a  

^a NEC CORPORATION   (Japan)

Author keywords

Concurrent computing; IP networks; National electric code; Petri nets; Scattering; Telecommunication traffic; Web and internet services; Web services; XML; Yarn

Indexed keywords

INTERNET; INTERNET PROTOCOLS; MODEL CHECKING; PETRI NETS; SCATTERING; SPECIFICATIONS; TELECOMMUNICATION SERVICES; TELECOMMUNICATION TRAFFIC; VERIFICATION; WEBSITES; XML; YARN;

CONCURRENT COMPUTING; INTERFACE SPECIFICATION; INTERNET SERVICES; IP NETWORKS; NATIONAL ELECTRIC CODE; SERVICE FLOWS; SOFTWARE MODEL CHECKING; WEB SERVICE DESCRIPTION LANGUAGE;

WEB SERVICES;

EID: 84950150868     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SAINTW.2002.994574     Document Type: Conference Paper

References (12)

1. M. Aoyama. Introduction to Service-Oriented Software Engineering for E-Business (in Japanese). In Proc. 62th Convention of IPS Japan, 3H-04, March 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. R. Ellison, D. Fisher, R. Linger, H. Lipton, T. Longstaff, and N. Mead. Survivable Network Systems - an emerging discpline. CMU/SEI-97-153. Software Engineering Institute, Carnegie Mellon University, November 1997.
5. K. Jensen. ColouredPetri Nets 1. Springer-Verlag, 1992.
6. S. Jha and J. Wing. Survivability Analysis of NetworkedSystems. In Proc. IEEE/ACM ICSE 2001, pages 307-317, May 2001.
7. 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.
8. F. Leymann and W. Altenhuber. Managing Business Processes as an Information Resource. IBM System Journal, vol. 33, no. 2, pages 326-348, 1994.
9. F. Leymann. Web Services Flow Language (WSFL 1.0). IBM Corporation, May 2001.
10. S. Nakajima. Verifying Business Flow Diagrams with CCS (in Japanese). In Proc. 1st JSSST Workshop on FOSE, pages 135-140, December 1994.
11. S. Nakajima. A SOAP-basedInfrastructure for Service Broker. In Proc. ICSE Workshop on XSE 2001, pages 8-11, May 2001.
12. S. Thatte. XLANG - Web Services for Business Process Design. Microsoft Corporation, May 2001.