Exploiting hierarchical CP-nets to increase the reliability of Web services workflow

Proceedings - 2006 International Symposium on Applications and the Internet, SAINT 2006

Volumn 2006, Issue , 2006, Pages 116-122

  Yang, Yanping ^a   Tan, Qingping ^a   Xiao, Yong ^a   Yu, Jinshan ^a   Liu, Feng ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER NETWORKS; COMPUTER SYSTEM RECOVERY; HIERARCHICAL SYSTEMS; PETRI NETS; SEMANTICS;

COLORED PETRI NETS (CP-NETS); MATHEMATICAL SEMANTICS; SERVICE PROCESS DESIGNS; WEB SERVICES;

WORLD WIDE WEB;

EID: 33749414793     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SAINT.2006.31     Document Type: Conference Paper

References (16)

1. K. Jensen, "Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use", Volume 1, 2 and 3, second edition, 1996.
2. M. Mecella, B. Pernici, and P. Craca, "Compatibility of Web Services in a Cooperative Multi-Platform Environment", in Proceedings of VLDB-TES 2001, Rome, Italy, 2001.
3. S. Nakajima, "Verification of Web service flows with model-checking techniques," presented at First International Symposium on Cyber Worlds, 2002.
4. C. Karamanolis, D. Giannakopoulou, J. Magee, and S.M. Wheater. "Model checking of workflow schemas". In Proceedings of the 4th International Enterprise Distributed Object Computing Conference, pages 170-179, Makuhari, Japan, September 2000. IEEE.
5. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Model-based verification of web service composition," presented at Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on, 2003.
6. J. Koehler, G. Tirenni, and S. Kumaran. "From business process model to consistent implementation: a case study for formal verification methods", the 6th International Enterprise Distributed Object Computing Conference (EDOC02), Lausanne, September 2002. IEEE CS, pages 96-106.
7. M. Koshkina. "Verification of business processes for web services". Master's thesis, York University, 2003.
8. M. Schroeder. Verification of business processes for a correspondence handling center using CCS. In A.I. Vermesan and F. Coenen, editors, Proceedings of European Symposium on Validation and Verification of Knowledge Based Systems and Components, pages 1-15, Oslo, June 1999. Kluwer.
9. W.M.P. van der Aalst. "Verification of workflow nets". In P. Azema and G. Balbo, editors, Proceedings of the 18th International Conference on Applications and Theory in Petri Nets, volume 1248 of Lecture Notes in Computer Science, pages 407-426, Toulouse, June 1997. Springer-Verlag.
10. A. Martens. "Distributed Business Processes -Modeling and Verification by help of Web Services". PhD thesis, Humboldt-Universitat zu Berlin, July 2003. Available at http://www.informatik.huberlin.de/top/download/documents/pdf/Mar03.pdf.
11. S. Narayanan and S. Mcllraith, "Analysis and simulation of Web services," Computer Networks, vol. 42, pp. 675-693, 2003.
12. Christian Stahl. "Transformation von BPEL4WS in Petrinetze". Diplomarbeit, Humboldt-UniversitÄat zu Berlin, April 2004.
13. Adam, N., Alturi, V. & Huang, W.-K. (1998), "Modeling and Analysing of Workflows Using Petri Nets", Journal of Intelligent Information Systems 10(2), 131-158.
14. Karsten Schmidt. Lola - a low level analyser. In Nielsen, M. and Simpson, D., editors, International Conference on Application and Theory of Petri Nets, LNCS 1825, page 465. Springer-Verlag, 2000.
15. W. Visser, K. Havelund, G. Brat, S. Spark, and F. Lerda. Model checking programs. Automated Software Engineering, 10(2):203-232, April 2003.
16. Y.P.Yang, Q.P.Tan, J.S.Yu, F. Liu, Transformation BPEL to CP-Nets for Verifying Web services Composition, the International Conference on Next generation Web services Practices (NWeSP'05), IEEE Computer Society, Seoul, Korea, August 2005.