Generic CSSA-based pattern over boolean data for an improved WS-BPEL to petri net mappping

Proceedings - 3rd International Conference on Internet and Web Applications and Services, ICIW 2008

Volumn , Issue , 2008, Pages 590-595

  Heinze, Thomas S ^a   Amme, Wolfram ^a   Moser, Simon ^b  

^a FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

^b IBM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; PETRI NETS;

BPEL PROCESS; CONTROL FLOWS; CRITICAL PROPERTIES; FALSE NEGATIVES; FORMAL MODEL; PRECISE ANALYSIS; PROCESS MODELING; QUALITY PROPERTIES;

WEB SERVICES;

EID: 51049094639     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIW.2008.14     Document Type: Conference Paper

References (8)

1. A. Alves, A. Arkin, S. Askary, C. Barreto, B. Bloch, F. Curbera, M. Ford, Y. Goland, A. Guízar, N. Kartha, C. K. Liu, R. Khalaf, D. König, M. Marin, V. Mehta, S. Thatte, D. van der Rijn, P. Yendluri, and A. Yiu, Web Services Business Process Execution Language Version 2.0, Organization for the Advancement of Structured Information Standards (OASIS) Standard, Apr. 2007.
2. A. Martens, S. Moser, A. Gerhardt, and K. Funk, "Analyzing Compatibility of BPEL Processes," in Proc. Advanced Int. Conf. on Telecommunications and Int. Conf. on Internet and Web Applications and Services (AICT/ICIW'06), Feb. 19-25, 2006, Guadeloupe, French Carribbean. IEEE Computer Society Press, 2006, p. 147.
3. F. van Breugel and M. Koshkina, "Models and Verification of BPEL," Draft, Sep. 2006. [Online]. Available: http://www.cse.yorku.ca/ ~franck/research/drafts/
4. S. Moser, A. Martens, K. Görlach, W. Amme, and A. Godlinski, "Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis," in Proc. 2007 IEEE Int. Conf. on Services Computing (SCC 2007), Jul. 9-13, 2007, Salt Lake City, Utah, USA. IEEE Computer Society Press, 2007, pp. 98-105.
5. P. Massuthe, W. Reisig, and K. Schmidt, "An Operating Guideline Approach to the SOA," Annals of Mathematics, Computing & Teleinformatics, vol. 1, no. 3, pp. 35-43, 2005.
6. T. Heinze, "Möglichkeiten der Analyse von BPEL-Programmen, " Diploma thesis, Friedrich Schiller University Jena, Nov. 2007.
7. J. Clark and S. DeRose, "XML Path Language (XPath), Version 1.0," World Wide Web Consortium (W3C), W3C Recommendation, Nov. 1999.
8. J. Lee, S. P. Midkiff, and D. A. Padua, "Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs," in Proc. 10th Int. Workshop on Languages and Compilers for Parallel Computing (LCPC'97), Aug. 7-9, 1997, Minneapolis, Minnesota, USA, ser. Lecture Notes in Computer Science, no. 1366. Springer-Verlag, 1997, pp. 114-130.