SRN: An extended petri-net-based workflow model for web service composition

Proceedings - IEEE International Conference on Web Services

Volumn , Issue , 2004, Pages 591-599

  Tang, Yu ^a   Chen, Luo ^a   He, Kai Tao ^b   Jing, Ning ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

^b CHINA GEOLOGICAL SURVEY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA COMMUNICATION SYSTEMS; MATHEMATICAL MODELS; ONLINE SYSTEMS; PETRI NETS; COMPUTER SIMULATION; COMPUTER SYSTEMS; NETWORK PROTOCOLS; SEMANTICS; THEOREM PROVING; WORLD WIDE WEB;

ONTOLOGY; SERVICE ORIENTED MODELS; WEB SERVICES; WORKFLOW FORMATION; CYCLIC MONOID; SERVICE/RESOURCE NET (SRN); WEB SERVICE SEMIGROUPS; WORKFLOW MODEL;

WORLD WIDE WEB; TELECOMMUNICATION SERVICES;

EID: 4744352776     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. World Wide Web Consortium, "Web Services Architecture Draft 14", 2002. Available: http://www.w3.org/TR/2002/WD-ws-arch-20021114/.
2. D.Hollingsworth, "Workflow management coalition: The workflow reference model", WFMC document WFMC-TC00-1003, 1994.
3. Workflow Management Coalition, "Workflow Management Coalition Specification: Terminology & Glossary", WFMC document WFMC-TC-1011, 1999.
4. W.M.P.Van der Aalst, "Petri-net-based Workflow Management Software", In Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, Athens, Georgia, 1996, pp. 114-118.
5. T.Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of the IEEE, 77(4), 1989, pp. 541-580.
6. J. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs, 1981.
7. C.Y.Yuan, Petri Net Theory (in Chinese), Publishing House of Electronics Industry, Beijing, China, 1998.
8. C.J.Jiang, Behavior Theory and Applications of Petri Net (in Chinese), Higher Education Press, Beijing, China, 2003.
9. W. M. P. Van der Aalst. "The Application of Petri Nets to Workflow Management". The Journal of Circuits, Systems and Computers, 8(1), 1998, pp. 21-66.
10. Y.Q.Dai, G.Z.Hu, W.Chen, Graph Theory and Algebra Structure(in Chinese). Tsinghua University Press, Beijing, China, 1999.
11. K. H. Rosen. Discrete Mathematics and Its Applications, Fourth Edition, McGraw-Hill, Inc, 1995.
12. F.Casati, S.Ilnicki, L.Jin, M.C.Shan, "An Open, Flexible, and Configurable System for E-Service Composition", Technical Report HPL-2000-41, HP Labs, 2000.
13. T.Andrews, F.Curbera, H.Dholakia et al, "Specification: Business Process Execution Language for Web Services Version 1.1", 2003. Available: http://www.ibm.com/developerworks/library/ws-bpel/.
14. A.Ankolekar, M.Burstein, J.Hobbs et al, "DAML-S: Web Service Description for the Semantic Web", In Proceedings of the 1st International Semantic Web Conference (ISWC), 2002.
15. R.Hamadi, B.Benatallah, "A Petri net-based model for web service composition", In Proceedings of the Fourteenth Australasian database conference on Database technologies 2003, Adelaide, Australia, 2003, pp. 191-200.
16. N.Shahmehri, J.Takkinen, C.Aberg, "Towards Creating Workflows On-the-Fly and Maintaining Them Using the Semantic Web: The sButler Project at Linköpings universitet", Technical Report, 2003. Available: http://www2003.org/cdrom/papers/poster/p120/p120-shahmehri/p120-shahmehri.html.
17. T.Murata, J.Y.Koh, "Reduction and Expansion of Live and Safe Marked Graphs", IEEE Trans. Circuits Syst., 27(1), 1980, pp. 68-70.
18. I.Suzukiand, T.Murata. "A Methods for Stepwise Refinements and Abstractions of Petri Nets", J.comput. Syst. Sci., 21(1), 1983, pp. 51-76.
19. J.Edmonds, "Path, trees, and flowers". Canadian J. Math., 17, 1965, pp. 449-467.
20. J.Edmonds, E.L.Johnson. "Matching: a Well-Solved Class of Integer Linear Programs". In Combinatorial Structures and Their Applications, Gordon and Breach, NY, 1970, pp. 89-92.
21. M.Silva, E. Teruel, J.M. Colom, "Linear algebraic and linear programming techniques for the analysis of place/transition net systems", In Lectures on Petri Nets I: Basic Models, W. Reisig and G. Rozenberg, Eds, Berlin, Germany: Springer-Verlag, vol. 1491, Lecture Notes in Computer Science, 1998, pp. 309-373.
22. T.Liu, C.Lin, W.D.Liu, "Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models" (in Chinese), ACTA ELECTRONICA SINICA, 30(2), 2002, pp. 245-248.