DECLARE: Full support for loosely-structured processes

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2007, Pages 287-298

  Pesic, Maja ^a   Schonenberg, Helen ^a   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MODELING LANGUAGES; WORK SIMPLIFICATION;

CONSTRAINT-BASED; DECLARATIVE MODELS; MODEL ANALYSIS; MODEL VERIFICATION; MODELS AT RUN TIME; PROCESS MODELING LANGUAGE; STRUCTURED PROCESS; WORKFLOW MANAGEMENT SYSTEMS;

COMPUTER AIDED MANUFACTURING;

EID: 47949131563     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2007.4384001     Document Type: Conference Paper

References (30)

1. W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede. Design and Implementation of the YAWL System. In A. Persson and J. Stirna, editors, Proceedings of the 16th International Conference on Advanced Information Systems Engineering (CAiSE'04), volume 3084 of Lecture Notes in Computer Science, pages 142-159. Springer-Verlag, Berlin, 2004.
2. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002.
3. W.M.P. van der Aalst and S. Jablonski. Dealing with Workflow Change: Identification of Issues and Solutions. International Journal of Computer Systems, Science, and Engineering, 15(5):267-276, 2000.
4. W.M.P. van der Aalst and M. Pesic. DecSerFlow: Towards a Truly Declarative Service Flow Language. In M. Bravetti, M. Nunez, and G. Zavattaro, editors, International Conference on Web Services and Formal Methods (WS-FM 2006), volume 4184 of Lecture Notes in Computer Science, pages 1-23. Springer-Verlag, Berlin, 2006.
5. W.M.P. van der Aalst, B.F. van Dongen, J. Herbst, L. Maruster, G. Schimm, and A.J.M.M. Weijters. Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering, 47(2):237-267, 2003.
6. M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Worklets: A service-oriented implementation of dynamic flexibility in workflows. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems, OTM Confederated International Conferences, 14th International Conference on Cooperative Information Systems (CoopIS 2006), volume 4275 of Lecture Notes in Computer Science, pages 291-308, Berlin, 2006. Springer-Verlag.
7. A. Bouajjani, Y Lakhnech, and S. Yovine. Model-checking for extended timed temporal logics. In FTRTFT '96: Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 306-326, London, UK, 1996. Springer-Verlag.
8. C. Bussler, S. Jablonski, and H. Schuster. A new generation of workflow-management-systems: beyond taylorism with mobile. SIGOIS Bull., 17(1):17-20, 1996.
9. B.F. van Dongen and W.M.P. van der Aalst. A Meta Model for Process Mining Data. In J. Casto and E. Teniente, editors, Proceedings of the CAiSE'05 Workshops (EMOI-INTEROP Workshop), volume 2, pages 309-320. FEUP, Porto, Portugal, 2005.
10. B.F. van Dongen, A.K. Alves de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst. The ProM framework: A New Era in Process Mining Tool Support. In G. Ciardo and P. Darondeau, editors, Application and Theory of Petri Nets 2005, Lecture Notes in Computer Science, pages 444-454. Springer-Verlag, Berlin, 2005.
11. P. Dourish, J. Holmes, A. MacLean, P. Marqvardsen, and A. Zbyslaw. Freeflow: mediating between representation and action in workflow systems. In CSCW '96: Proceedings of the 1996 ACM conference on Computer supported cooperative work, pages 190-198, New York, NY, USA, 1996. ACM Press.
12. M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Process-Aware Information Systems. Wiley & Sons, 2005.
13. D. Georgakopoulos. Teamware: An evaluation of key technologies and open problems. Distributed and Parallel Databases, 15(1):9-44, 2004.
14. D. Georgakopoulos, M.Hornick, and A. Sheth. An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3:119-153, 1995.
15. R. Gerth, D. Peled, M.Y. Vardi, and P. Wolper. Simple On-The-Fly Automatic Verification of Linear Temporal Logic. In Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, pages 3-18, London, UK, 1996. Chapman & Hall, Ltd.
16. D. Giannakopoulou and K. Havelund. Automata-based verification of temporal properties on running programs. In ASE '01: Proceedings of the 16th IEEE international conference on Automated software engineering, page 412, Washington, DC, USA, 2001. IEEE Computer Society.
17. P. Heinl, S. Horn, S. Jablonski, J. Neeb, K. Stein, and M. Teschke. A comprehensive approach to flexibility in workflow management systems. In WACC '99: Proceedings of the international joint conference on Work activities coordination and collaboration, pages 79-88, New York, NY, USA, 1999. ACM Press.
18. S. Jablonski and C. Bussler. Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London, UK, 1996.
19. E.M. Clarke Jr., O. Grumberg, and D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts and London, UK, 1999.
20. M. Klein, C. Dellarocas, and A. Bernstein, editors. Adaptive Workflow Systems, volume 9 of Special issue of the journal of Computer Supported Cooperative Work, 2000.
21. L. Thao Ly, S. Rinderle, and P. Dadam. Semantic correctness in adaptive process management systems. In S. Dustdar, J.L. Fiadeiro, and A.P. Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 193-208. Springer, 2006.
22. P. Mangan and S. Sadiq. On building workflow models for flexible processes. In ADC '02: Proceedings of the 13th Australasian database conference, pages 103-109, Darlinghurst, Australia, Australia, 2002. Australian Computer Society, Inc.
23. R. Milner. Communicating and Mobile Systems: The PiCalculus. Cambridge University Press, Cambridge, UK, 1999.
24. Pallas Athena. Flower User Manual. Pallas Athena BV, Apeldoorn, The Netherlands, 2002.
25. M. Pesic and W.M.P. van der Aalst. A Declarative Approach for Flexible Business Processes. In J. Eder and S. Dustdar, editors, Business Process Management Workshops, Workshop on Dynamic Process Management (DPM 2006), volume 4103 of Lecture Notes in Computer Science, pages 169-180. Springer-Verlag, Berlin, 2006.
26. H. Reijers, J. Rigter, and W.M.P. van der Aalst. The Case Handling Case. International Journal of Cooperative Information Systems, 12(3):365-391, 2003.
27. W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998.
28. S. Rinderle, M. Reichert, and P. Dadam. Flexible Support of Team Processes by Adaptive Workflow Systems. Distrib. Parallel Databases, 16(1):91-116, 2004.
29. J. Wainer and F. de Lima Bezerra. Groupware: Design, Implementation, and Use, volume 2806, chapter Constraint-Based Flexible Workflows, pages 151 - 158. Springer Berlin /Heidelberg, 2003.
30. B. Weber, B.F. van Dongen, M. Pesic, C.W. Günther, and W.M.P. van der Aalst. Supporting Flexible Processes Through Recommendations Based on History. BETA Working Paper Series, WP 212, Eindhoven University of Technology, Eindhoven, 2007.