Improving control flow verification in a business process using an extended Petri net

CEUR Workshop Proceedings

Volumn 438, Issue , 2009, Pages 95-101

  Monakova, Ganna ^a   Kopp, Oliver ^a   Leymann, Frank ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; CONTROL FLOWS; EXTENDED PETRI NET; LOGICAL RELATIONS;

PETRI NETS;

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

References (11)

1. Monakova, G., et al.: Verifying Business Rules Using an SMT Solver for BPEL Processes. In: BPSC. (2009)
2. Leymann, F., Roller, D.: Production Workow - Concepts and Techniques. Prentice Hall PTR (2000)
3. Moser, S., et al.: Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis, IEEE Computer Society (2007) 98-105
4. Lohmann, N.: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In: WS-FM. (2007)
5. Breugel, F.v., Koshkina, M.: Models and Verification of BPEL. http://www.cse.yorku.ca/~franck/research/drafts/tutorial.pdf (2006)
6. OASIS: Web Services Business Process Execution Language Version 2.0. (2007)
7. Lee, J., Midkiff, S.P., Padua, D.A.: Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs. In: International Workshop on Languages and Compilers for Parallel Computing, Springer (1997)
8. Dutertre, B., de Moura, L.: The YICES SMT Solver (2008) Available at http://yices.csl.sri.com/.
9. Beckert, B., et al.: Intelligent Systems and Formal Methods in Software Engineering. IEEE Intelligent Systems 21(6) (2006) 71-81
10. Nelson, G., D., O.: Simplification by Cooperating Decision Procedures. ACM Transactions on Programming Languages and Systems 1(2) (1979) 245-257
11. Schmidt, K.: LoLA: A Low Level Analyser. In: ICATPN. (2000) 465-474