Towards Analyzing Declarative Workflows

Dagstuhl Seminar Proceedings

Volumn 7061, Issue , 2007, Pages

  Fahland, Dirk ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISASTER PREVENTION; DISASTERS; PETRI NETS;

APPLICATIONS DOMAINS; DECLARATIVE WORKFLOWS; DISASTER MANAGEMENT; FLEXIBLE WORKFLOWS; OPERATIONAL MODELING; PROCESS-MODELS; WORK-FLOWS; WORKFLOW ANALYSIS; WORKFLOW MODELS; WORKFLOW PROCESS;

WORKFLOW MANAGEMENT;

EID: 79952412592     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.
2. Alessandra Agostini and Giorgio De Michelis. Improving flexibility of workflow management systems. In Business Process Management, Models, Techniques, and Empirical Studies, pages 218–234, London, UK, 2000. Springer-Verlag.
3. Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman. Alternating-time temporal logic. In COMPOS’97: Revised Lectures from the International Symposium on Compositionality: The Significant Difference, pages 23–60, London, UK, 1998. Springer-Verlag.
4. Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, and Michael Weber. The petri net markup language: Concepts, technology, and tools. In ICATPN, pages 483–505, 2003.
5. F. Casati, P. Grefen, B. Pernici, G. Pozzi, and G. Sanchez. Wide workflow model and architecture (ctit 96-19). Technical report, University of Twente, 1996.
6. Fabio Casati, Stefano Ceri, Barbara Pernici, and Giuseppe Pozzi. Workflow evolution. In International Conference on Conceptual Modeling / the Entity Relationship Approach, pages 438–455, 1996.
7. Constantin Courcoubetis, Moshe Y. Vardi, Pierre Wolper, and Mihalis Yannakakis. Memory-efficient algorithms for the verification of temporal properties. Formal Methods in System Design, 1(2/3):275–288, 1992.
8. Hasan Davulcu, Michael Kifer, and I.V. Ramakrishnan. CTR–S: A logic for specifying contracts in semantic web services. In WWW2004, pages 144+, 2004.
9. C. Dufourd, A. Finkel, and Ph. Schnoebelen. Reset nets between decidability and undecidability. In Kim Guldstrand Larsen, Sven Skyum, and Glynn Winskel, editors, ICALP’98, volume 1443 of LNCS, pages 103–115, 1998.
10. Jr. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, Cambridge, MA, USA, 1999.
11. Clarence Ellis, Karim Keddara, and Grzegorz Rozenberg. Dynamic change within workflow systems. In COCS’95: Proceedings of conference on Organizational computing systems, pages 10–21, New York, NY, USA, 1995. ACM Press.
12. Dov Gabbay, Amir Pnueli, Saharon Shelah, and Jonathan Stavi. On the temporal analysis of fairness. In POPL’80: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 163–173, New York, NY, USA, 1980. ACM Press.
13. Rob Gerth, Doron Peled, Moshe Y. Vardi, and Pierre Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Protocol Specification Testing and Verification, pages 3–18, Warsaw, Poland, 1995. Chapman & Hall.
14. Valentin Goranko and Govert van Drimmelen. Complete axiomatization and decidability of alternating-time temporal logic. Theor. Comput. Sci., 353(1):93–117, 2006.
15. H. Ben-Abdallah and S. Leue. Syntactic detection of process divergence and non-local choice in message sequence charts. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, pages 259–274, Enschede, The Netherlands, 1997. Springer Verlag, LNCS 1217.
16. Petra Heinl, Stefan Horn, Stefan Jablonski, Jens Neeb, Katrin Stein, and Michael Teschke. A comprehensive approach to flexibility in workflow management systems. In WACC’99, pages 79–88, New York, NY, USA, 1999. ACM Press.
17. Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting BPEL Processes. In BPM 2006, Proceedings, volume 4102 of LNCS, pages 17–32. Springer-Verlag, September 2006.
18. Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral constraints for services. Informatik-Berichte 214, Humboldt-Universität zu Berlin, May 2007.
19. Peter Massuthe and Karsten Wolf. Operating Guidelines for Services. Petri Net Newsletter, 70:9–14, April 2006.
20. Rocco De Nicola and Frits Vaandrager. Three logics for branching bisimulation. J. ACM, 42(2):458–487, 1995.
21. Amir Pnueli. The temporal logic of programs. In FOCS, pages 46–57, 1977.
22. flex-supporting dynamic changes of workflows without losing control. J. Intell. Inf. Syst., 10(2):93–129, 1998.
23. Wolfgang Reisig. A Primer in Petri Net Design. Springer Compass International, 1992.
24. Stefanie Rinderle, Manfred Reichert, and Peter Dadam. Evaluation of correctness criteria for dynamic workflow changes. In Business Process Management, pages 41–57, 2003.
25. Stefanie Rinderle, Manfred Reichert, and Peter Dadam. Correctness criteria for dynamic changes in workflow systems: a survey. Data Knowl. Eng., 50(1):9–34, 2004.
26. Shazia W. Sadiq, Wasim Sadiq, and Maria E. Orlowska. Pockets of flexibility in workflow specification. In ER, pages 513–526, 2001.
27. Shazia Wasim Sadiq, Maria E. Orlowska, and Wasim Sadiq. Specification and validation of process constraints for flexible workflows. Inf. Syst., 30(5):349–378, 2005.
28. Karsten Schmidt. Lola: A low level analyser. In ICATPN, pages 465–474, 2000.
29. Peter H. Starke. Analyse von Petri-Netz-Modellen. Stuttgart, Germany: Teubner, 1990. NewsletterInfo: 38.
30. W. M. P. van der Aalst and T. Basten. Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci., 270(1-2):125–203, uary.
31. W. M. P. van der Aalst and S. Jablonski. Dealing with workflow change: identification of issues and solutions. CSSE, 15(5):267–276, September 2000.
32. Wil M. P. van der Aalst and Maja Pesic. Decserflow: Towards a truly declarative service flow language. In WS-FM, pages 1–23, 2006.
33. Wil M. P. van der Aalst and Kees M. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, 2002.
34. Gottfried Vossen and Mathias Weske. The wasa2 object-oriented workflow management system. In SIGMOD’99: Proceedings of the 1999 ACM SIGMOD international conference on Management of data, pages 587–589, New York, NY, USA, 1999. ACM Press.
35. WfMC. Terminology and glossary, 3rd edition. Technical report, Workflow Management Coalition, Winchester, 1999.