Investigations on soundness regarding lazy activities

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

Volumn 4102 LNCS, Issue , 2006, Pages 145-160

  Puhlmann, Frank ^a   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; DATABASE SYSTEMS; FORMAL LOGIC; INFORMATION MANAGEMENT; SYNCHRONIZATION;

BUSINESS PROCESSES; LAZY ACTIVITIES; SOUNDNESS;

ADMINISTRATIVE DATA PROCESSING;

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

References (24)

1. van der Aalst, W.M.P., ter Hofstede, A.H., Weske, M.: Business Process Management: A Survey. In van der Aalst, W.M.P., ter Hofstede, A.H., Weske, M., eds.: Proceedings of the 1st International Conference on Business Process Management, volume 2678 of LNCS, Berlin, Springer-Verlag (2003) 1-12
2. Burbeck, S.: The Tao of e-business services. Available at: http://www-128.ibm.com/developerworks/library/ws-tao/ (2000)
3. van der Aalst, W.M.P.: Verification of Workflow Nets. In Azéma, P., Balbo, G., eds.: Application and Theory of Petri Nets, volume 1248 of LNCS, Berlin, Springer-Verlag (1997) 407-426
4. Dehnert, J., Rittgen, P.: Relaxed Soundness of Business Processes. In Dittrich, K., Geppert, A., Norrie, M.C., eds.: CAiSE 2001, volume 2068 of LNCS, Berlin, Springer-Verlag (2001) 157-170
5. Martens, A.: On Compatibility of Web Services. Petri Net Newsletter 65 (2003) 12-20
6. van der Aalst, W., van Hee, K.: Workflow Management. MIT Press (2002)
7. Barros, A., Dumas, M., ter Hofstede, A.: Service Interaction Patterns. In van der Aalst, W., Benatallah, B., Casati, F., eds.: Proceedings of the 3rd International Conference on Business Process Management, volume 3649 of LNCS, Berlin, Springer-Verlag (2005) 302-318
8. Puhlmann, F., Weske, M.: Using the Pi-Calculus for Formalizing Workflow Patterns. In van der Aalst, W., Benatallah, B., Casati, F., eds.: Proceedings of the 3rd International Conference on Business Process Management, volume 3649 of LNCS, Berlin, Springer-Verlag (2005) 153-168
9. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Part I/II. Information and Computation 100 (1992) 1-77
10. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.: Workflow Patterns. Technical Report BETA Working Paper Series, WP 47, Eindhoven University of Technology (2000)
11. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language (Revised version. Technical Report FIT-TR-2003-04, Queensland University of Technology, Brisbane (2003)
12. Verbeek, H., van der Aalst, W., ter Hofstede, A.: Verifying Workflows with Cancellation Regions and OR-joins: An Approach based on Invariants, BETA Working Paper Series, WP 156. Technical report, Eindhoven University of Technology, Eindhoven, The Netherlands (2006)
13. Puhlmann, F.: Why do we actually need the Pi-Calculus for Business Process Management? In: Proceedings of the 9th International Conference on Business Information Systems. (2006) (to appear)
14. Sangiorgi, D., Walker, D.: The π-calculus: A Theory of Mobile Processes. Paper-back edn. Cambridge University Press, Cambridge (2003)
15. Sangiorgi, D.: A Theory of Bisimulation for the Pi-Calculus. In: CONCUR '93: Proceedings of the 4th International Conference on Concurrency Theory, Berlin, Springer-Verlag (1993) 127-142
16. Overdick, H., Puhlmann, F., Weske, M.: Towards a Formal Model for Agile Service Discovery and Integration. In Verma, K., Sheth, A., Zaremba, M., Bussler, C., eds.: Proceedings of the International Workshop on Dynamic Web Processes (DWP 2005). IBM technical report RC23822, Amsterdam (2005)
17. BPMI.org: Business Process Modeling Notation. 1.0 edn. (2004)
18. Knuth, D.E.: The Art of Computer Programming. 3rd edn. Volume 1. Addison-Wesley (1997)
19. Björn Victor, Faron Moller, M.D., Eriksson, L.H.: The Mobility Workbench. Available at: http://www.it.uu.se/research/group/mobility/mwb (2005)
20. Briais, S.: ABC Bisimulation Checker. Available at: http://lamp.epfl.ch/ ~sbriais/abc/abc.html (2003)
21. Frendrup, U., Jensen, J.N., Hüttel, H.: OBC Workbench. Available at: http://www.cs.auc.dk/research/FS/ny/PR-pi/ (2001)
22. Wynn, M., Edmond, D., van der Aalst, W., ter Hofstede, A.: Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets (2005)
23. Kindler, E.: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In Desel, J., Pernici, B., Weske, M., eds.: Proceedings of the 2nd International Conference on Business Process Management, volume 3080 of LNCS, Berlin, Springer-Verlag (2004) 82-97
24. van der Aalst, W.M.P., Weske, M.: The P2P Approach to Interorganizational Workflow. In Dittrich, K., Geppert, A., Norrie, M., eds.: Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of LNCS, Berlin, Springer-Verlag (2001) 140-156