An approach for synthesis Petri nets for modeling and verifying composite web service

Journal of Information Science and Engineering

Volumn 24, Issue 5, 2008, Pages 1309-1328

  Ding, Zhi Jun ^a,b   Wang, Jun L I ^a   Jiang, Chang Jun ^a  

^a TONGJI UNIVERSITY   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Composition; Modeling; Petri net; Refinement; Service composition; Verification; Web service

Indexed keywords

GRAPH THEORY; MARINE BIOLOGY; MATHEMATICAL MODELS; PETRI NETS; WEB SERVICES; WORLD WIDE WEB;

COMPOSITION; MODELING; PETRI NET; REFINEMENT; SERVICE COMPOSITION;

DATA FLOW ANALYSIS;

EID: 54149105962     PISSN: 10162364     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (28)

1. N. Milanovic and M. Malek, "Current solutions for web service composition," IEEE Internet Computing, Vol. 8, 2004, pp. 51-59.
2. J. H. Rao and X. M. Su, "A survey of automated web service composition methods," in Proceedings of the 1st International Workshop on Semantic Web Services and Web Process Composition, 2004, pp. 43-54.
3. T. Andrews, "Business process execution language for web service version 1.1," http://www-128.ibm.com/developerworks/library/specification/ ws-bpel/, 2003.
4. OWL-S 1.1 Release, http://www.daml.org/services/owl-s/1.1/, 2004.
5. X. Fu, T. Bultan, and J. Su, "Formal verification of e-services and workflows," in Proceedings of Workshop on Web Service, E-Business, and the Semantic Web, LNCS 2512, 2002, pp. 188-202.
6. M. Mecella, F. Parisi-Presicce, and B. Pernici, "Modeling e-service orchestration through Petri nets," in Proceedings of the 3rd VLDB International Workshop on Technologies for e-Services, LNCS 2444, 2002, pp. 38-47.
7. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems," IEEE Transactions on Robotics and Automation, Vol. 8, 1992, pp. 350-361.
8. A. U. Shankar, "An introduction to assertional reasoning for concurrent systems," ACM Computing Surveys, Vol. 25, 1993, pp. 225-262.
9. A. Wombacher, "Decentralized decision making protocol for service composition," in Proceedings of IEEE International Conference on Web Services, 2005, pp. 203-210.
10. L. G. Meredith and S. Bjorg. "Contracts and types," Communications of ACM, Vol. 46, 2003, pp. 41-47.
11. J. P. Thomas, M. Thomas, and G. Ghinea, "Modeling of web services flow," in Proceedings of the IEEE International Conference on e-Commerce Technology, 2003, pp. 391-399.
12. H. Schlingloff, A. Martens, and K. Schmidt, "Modeling and model checking web services," Electronic Notes in Theoretical Computer Science, Vol. 126, 2005, pp. 3-26.
13. S. Narayanan and S. McIlraith, "Simulation, verification and automated composition of web services," in Proceedings of the 11th International World Wide Web Conference, 2002, pp. 77-88.
14. J. Sun and C. J. Jiang, "Web service composition based on BPWS-net," Advanced Workshop on Content Computing, LNCS 3309, 2004, pp. 303-313.
15. R. Hamadi and B. Benatallah, "A Petri net-based model for web service composition," in Proceedings of the 14th Australasian Database Conference on Database Technologies, 2003, pp. 191-200.
16. J. Zhang, J. Y. Chung, C. K. Chang, and S. Kim, "WS-net: a Petri-net based specification model for web services," in Proceedings of the IEEE International Conference on Web Services, 2004, pp. 420-427.
17. I. Suzuki and T. Murata, "A method for stepwise refinement and abstraction of Petri nets," Journal of Computer and System Science, Vol. 27, 1983, pp. 51-76.
18. H. J. Huang, T. Y. Cheung, and W. M. Mak, "Structure and behavior preservation by petri-net-based refinements in system design," Theoretical Computer Science, Vol. 328, 2004, pp. 245-269.
19. H. J. Huang, T. Y. Cheung, and X. L. Wang. "Applications of property-preserving algebras to component-based manufacturing system design," Journal of Information Science and Engineering, Vol. 23, 2007, pp. 167-181.
20. Z. J. Ding, C. J. Jiang, M. C. Zhou, and Y. Y. Zhang, "Preserving languages and properties in stepwise refinement-based synthesis of Petri nets," IEEE Transactions on System, Man and Cybernetics-Part A, Vol. 38, 2008, pp. 791-801.
21. J. S. Ahuja and K. P. Valavanis, "A hierarchical modeling methodology for flexible manufacturing systems using extended petri nets," in Proceedings of the International Conference on Computer Integrated Manufacturing, 1988, pp. 350-356.
22. H. Q. Wang, C. J. Jiang, and S. Y. Liao, "Behaviour relations in synthesis process of Petri net models," IEEE Transactions on Robotics and Automation, Vol. 16, 2000, pp. 400-407.
23. Y. Y. Du, D. F. Cao, and X. Z. Li, "Analysis of liveness and fairness for T-composition Petri net," Journal of Computer Research and Development, Vol. 36, 1999, pp. 182-185.
24. M. Burstein, J. Hobbs, and O. Lassila, "DAML-S: semantic markup for web services," in Proceedings of the 1st International Semantic Web Working Symposium, 2001, pp. 411-430.
25. T. Murata, "Petri nets: properties, analysis and applications," in Proceedings of the IEEE, Vol. 77, 1989, pp. 541-580.
26. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, 2nd ed., Springer, Berlin, New York, 1997.
27. W. M. P van der Aalst, "Workflow verification: finding control-flow errors using Petri-net-based techniques," in Proceedings of the International Conference on Business Process Management: Models, Techniques, and Empirical Studies, LNCS 1806, 2000, pp. 161-183.
28. B. Benatallah, R. Hamadi, P. C. Wachtel, M. O'Dell, and A. Susanto, "A top-down Petri net-based approach for dynamic workflow modeling," in Proceedings of the International Conference on Business Process Management, LNCS 2678, 2003, pp. 336-353.