A Web service composition and analysis: A petri-net based approach

Proceedings - First International Conference on Semantics, Knowledge and Grid, SKG 2005

Volumn , Issue , 2006, Pages

  Liu, Bing ^a   Chen, Huaping ^a  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; PETRI NETS; SEMANTICS; SPECIFICATIONS; USABILITY ENGINEERING;

ATOMIC WEB SERVICES; WEB PROCESSES;

WEB SERVICES;

EID: 42749106471     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SKG.2005.143     Document Type: Conference Paper

References (9)

1. C.A. Petri, Kommunikation Mit Automaten, PhD Thesis, Institut fur Instrumentelle Mathematik, Bonn, 1962.
2. Best, E. and Desel, J. Partial order behaviour and structure of Petri Nets. Formal Aspects of Computing, 2:123-138, 1990.
3. Murata, T. Petri Nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541-580, 1989.
4. W.M.P. van der Aalst, The application of Petri nets to workflow management, The journal of Circuits Systems and Computers 8 (1) (1998) 21-66.
5. T. Andrews et al. Business Process Execution Language for Web Services (BPEL4WS) 1.1. Online: http://www106.ibm.com/developerworks/webservices/library/ ws-bpel, May 2003.
6. D. Martin et al. DAML-S (and OWL-S) 0.9 draft release. Online: http://www.daml.org/s-ervices/daml-s/0.9/, May 2003.
7. T. Andrews et al. Business Process Execution Language for Web Services (BPEL4WS) 1.1. Online: http://www106.ibm.com/developerworks/webservices/library/ ws-bpel, May 2003.
8. J. Hendler and D. L. McGuinness. The DARPA Agent Markup Language. IEEE Intelligent Systems,(6):67-73, 2000.
9. W3C. Web Services Conversation Language (WSCL) 1.0, WSCNote, 2002. http://www.w3.org/TR/wscl10/.