A declarative approach for flexible business processes management

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

Volumn 4103 LNCS, Issue , 2006, Pages 169-180

  Pesic, M ^a   Van Der Aalst, W M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Declarative model specification; Dynamic workflow; Flexibility; Temporal logic; Workflow management

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FLEXIBLE MANUFACTURING SYSTEMS; FORMAL LOGIC; INFORMATION MANAGEMENT; MATHEMATICAL MODELS;

DECLARATIVE MODEL SPECIFICATION; DYNAMIC WORKFLOW; FLEXIBILITY; TEMPORAL LOGIC; WORKFLOW MANAGEMENT;

ADMINISTRATIVE DATA PROCESSING;

EID: 33749635457     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11837862_18     Document Type: Conference Paper

References (20)

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, Advanced Information Systems Engineering, Proceedings of the 16th International Conference on Advanced Information Systems Engineering, 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. Specifying, discovering, and monitoring service flows: Making web services process-aware. BPM Center Report BPM-06-09, BPM Center, BPMcenter.org, 2006. http://is.tm.tue.nl/stafF/wvdaalst/ BPMcenter/reports/2006/BPM-06-09.pdf.
5. W.M.P. van der Aalst, M. Weske, and D. Grunbauer. Case Handling: A New Paradigm for Business Process Support. Data and Knowledge Engineering, 53(2):129-162, 2005.
6. F. Casati, S. Ceri, B. Pernici, and G. Pozzi. Workflow evolution. In ER '96: Proceedings of the 15th International Conference on Conceptual Modeling, pages 438-455. Springer-Verlag, 1996.
7. J. Desel. Validation of process models by construction of process nets. In Business Process Management, Models, Techniques, and Empirical Studies, pages 110-128, London, UK, 2000. Springer-Verlag.
8. B. 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.
9. H. J. Genrich and G. Thieler-Mevissen. The calculus of facts. Mathematical Foundations of Computer Science 1976, pages 588-595, 1976.
10. 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.
11. 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.
12. 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.
13. G.J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley,-Boston, Massachusetts, USA, 2003.
14. E.M. Clarke Jr., O. Grumberg, and D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts and London, UK, 1999.
15. P.J. Kammer, G.A. Bolcer, R.N. Taylor, A.S. Hitomi, and M. Bergman. Techniques for supporting dynamic and adaptive workflow. Comput. Supported Coop. Work. 9(3-4):269-292, 2000.
16. R. Milner. Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge, UK, 1999.
17. M. Reichert and P. Dadam. ADEPTflex: Supporting Dynamic Changes of Workflow without Loosing Control. Journal of Intelligent Information Systems, 10(2):93-129, 1998.
18. 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.
19. S. Rinderle, M. Reichert, and P. Dadam. Correctness Criteria For Dynamic Changes in Workflow Systems: A Survey. Data and Knowledge Engineering, 50(1):9-34, 2004.
20. M. Weske. Formal foundation and conceptual design of dynamic adaptations in a workflow management system. In HICSS '01: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, volume 7, page 7051, Washington, DC, USA, 2001. IEEE Computer Society.