Formalizing web service and modeling web service-based system based on object oriented Petri net

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3032, Issue , 2004, Pages 1008-1011

  Tao, Xiaofeng ^a,b   Jiang, Changjun ^a,b  

^a TONGJI UNIVERSITY   (China)

^b National Engineering and Technology Center of High Performance Computer   (China)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; WEBSITES; WORLD WIDE WEB;

CONTROL FLOWS; FORMAL DESCRIPTION; GRAPHIC TOOL; ITS APPLICATIONS; MODELING TECHNIQUE; OBJECT-ORIENTED PETRI NET; SERVICE-BASED; WEB SERVICE-BASED SYSTEM;

WEB SERVICES;

EID: 35048858502     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24679-4_168     Document Type: Article

References (5)

1. Chinnici, R., Gudgin M., etc.: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language, http://www.w3.org/TR/wsd112/#Service (2003)
2. Tao, X.F., Jiang, C.J., Duan J.T.: Construction of a Kind of Object-Oriented Petri Net and its Application, Mechanical Science and Technology, Vol. 22, No.5 (2003)
3. Andrews, T., Curbera, F., Dholakia, H., etc.: Specification: Business Process Execution Language for Web Services Version 1.1. http://www-106.ibm.com/ developerworks/library/ws-bpel (2003)
4. Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition, In Proc. Fourteenth Australasian Database Conference (ADC2003),Vol. 17 (2003)
5. Tadao, M.: Petri Nets: Properties,Analysis and Applications, Proceeding of IEEE, Vol 77, No. 4 (1989) 541-560