Analyzing interacting BPEL processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4102 LNCS, Issue , 2006, Pages 17-32

  Lohmann, Niels ^a   Massuthe, Peter ^a   Stahl, Christian ^a   Weinberg, Daniela ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Business process modeling and analysis; Formal models in business process management; Petri nets; Process verification and validation

Indexed keywords

COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING; PROCESS CONTROL;

BUSINESS PROCESS MODELING AND ANALYSIS; FORMAL MODELS IN BUSINESS PROCESS MANAGEMENT; PROCESS VERIFICATION AND VALIDATION;

ADMINISTRATIVE DATA PROCESSING;

EID: 33749986269     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841760_3     Document Type: Conference Paper

References (23)

1. Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: PODS '03, New York, USA, ACM Press (2003) 1-14
2. Papazoglou, M.P.: Agent-Oriented Technology in Support of E-Business. Communications of the ACM 44(4) (2001) 71-77
3. Andrews, T., et al.: Business Process Execution Language for Web Services, Version 1.1. Technical report, BEA, IBM, Microsoft (2003)
4. Weinberg, D.: Reduction Rules for Interaction Graphs. Technical Report 198, Humboldt-Universität zu Berlin (2006)
5. Massuthe, P., Schmidt, K.: Operating Guidelines - An Automata-Theoretic Foundation for Service-Oriented Architectures. In: QSIC 2005, Melbourne, Australia, IEEE Computer Society (2005) 452-457
6. Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. AMCT 1(3) (2005) 35-43 To appear.
7. Stahl, C.: A Petri Net Semantics for BPEL. Techn. Report 188, Humboldt-Universität zu Berlin (2005)
8. Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: BPM 2005. Volume 3649 of LNCS., Nancy, France, Springer-Verlag (2005) 220-235
9. Schmidt, K.: Controllability of Open Workflow Nets. In: EMISA. LNI, Bonner Köllen Verlag (2005) 236-249
10. Aalst, W.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8(1) (1998) 21-66
11. Ramadge, P., Wonham, W.: Supervisory Control of a Class of Discrete Event Processes. SIAM J. Control and Optimization 25(1) (1987) 206-230
12. Massuthe, P., Schmidt, K.: Operating Guidelines - An Automata-Theoretic Foundation for Service-Oriented Architectures, to appear (2006)
13. Martens, A.: Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt-Universität zu Berlin (2004)
14. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. 2nd edn. Springer-Verlag (2005)
15. Schmidt, K.: LoLA: A Low Level Analyser. In: ICATPN 2000. Number 1825 in LNCS, Springer-Verlag (2000) 465-474
16. Arias-Fisteus, J., Fernández, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: EC-Web'04. Volume 3182 of LNCS., Springer (2004) 76-85
17. Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: WWW '04, ACM Press (2004) 621-630
18. Ferrara, A.: Web Services: A Process Algebra Approach. In: ICSOC, ACM (2004) 242-251
19. Fahland, D., Reisig, W.: ASM-based Semantics for BPEL: The Negative Control Flow. In: ASM'05, Paris XII (2005) 131-151
20. Farahbod, R., Classer, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. In: ASM. Volume 3052 of LNCS., Springer (2004) 78-94
21. Ouyang, C., Verbeek, E., van der Aalst, W.M., Breutel, S., Dumas, M., ter Hofstede, A.H.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical report (revised version), Queensland University of Technology (2005)
22. Ouyang, C., Verbeek, E., Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A.: WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: ICSOC 2005. Volume 3826 of LNCS., Amsterdam, The Netherlands (2005) 484-489
23. Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing Compatibility of BPEL Processes - Towards a Business Process Analysis Framework in IBM's Business Integration Tools. In: ICIW'06, IEEE Computer Society Press (2006)