Integration and verification of semantic constraints in adaptive process management systems

Data and Knowledge Engineering

Volumn 64, Issue 1, 2008, Pages 3-23

  Ly, Linh Thao ^a   Rinderle, Stefanie ^a   Dadam, Peter ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

Adaptive process management systems; Semantic constraints; Semantic correctness; Semantic process verification

Indexed keywords

ADAPTIVE ALGORITHMS; COMPUTER SIMULATION; PROCESS ENGINEERING; REAL TIME SYSTEMS;

ADAPTIVE PROCESS MANAGEMENT SYSTEMS; SEMANTIC CONSTRAINTS; SEMANTIC CORRECTNESS; SEMANTIC PROCESS VERIFICATION;

SEMANTICS;

EID: 36049040272     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2007.06.007     Document Type: Article

References (44)

1. van der Aalst W., and Basten T. Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270 1-2 (2002) 125-203
2. Casati F., Ceri S., Pernici B., and Pozzi G. Workflow evolution. DKE 24 3 (1998) 211-238
3. Rinderle S., Reichert M., and Dadam P. Flexible support of team processes by adaptive workflow systems. DPD 16 1 (2004) 91-116
4. Weske M. Formal foundation and conceptual design of dynamic adaptations in a workflow management system. HICSS '01 (2001), IEEE Computer Society, Washington, DC, USA 7051
5. Kochut K., Arnold J., Sheth A., Miller J., Kraemer E., Arpinar B., and Cardoso J. IntelliGEN: a distributed workflow system for discovering protein-protein interactions. DPD 13 1 (2003) 43-72
6. M. Reichert, S. Rinderle, P. Dadam, On the modeling of correct service flows with BPEL4WS, in: EMISA '04, 2004, pp. 117-128.
7. Rinderle S., Reichert M., and Dadam P. Correctness criteria for dynamic changes in workflow systems - a survey. DKE 50 1 (2004) 9-34
8. S. Rinderle, Schema Evolution in Process Management Systems, Ph.D. Thesis, University of Ulm, 2004.
9. A. Rowe, S. Stephens, Y. Guo, The use of business rules with workflow systems, in: W3C Workshop on Rule Languages for Interoperability, 2005.
10. Boxwala A., Peleg M., and Tu S. GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines. Biomed. Inform. 37 3 (2004) 147-161
11. Quaglini S., Stefanelli M., Cavallini A., Micieli G., Fassino C., and Mossa C. Guideline-based careflow systems. Artif. Intell. Med. 20 1 (2000) 5-22
12. L.T. Ly, S. Rinderle, P. Dadam, Semantic correctness in adaptive process management systems, in: BPM '06, LNCS, vol. 4102, Springer, 2006, pp. 193-208.
13. Hayes-Roth F., and Jacobstein N. The state of knowledge-based systems. Commun. ACM 37 3 (1994) 26-39
14. B. Schultheiß, J. Meyer, R. Mangold, T. Zemmler, M. Reichert, The modelling of a surgery process, Interne Ulmer Informatik-Berichte DBIS-6, Ulm University, Institute of Databases and Informations Systems, in german, 1996 (in German).
15. S. Rinderle, M. Reichert, P. Dadam, Disjoint and overlapping process changes: challenges, solutions, applications, in: CoopIS '04, 2004, pp. 101-120.
16. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, et al., BPELWS - Business Process Execution Language for Web Services, BEA Systems, International Business Machines Corporation, Microsoft Corporation, SAP AG, Siebel Systems, 2003.
17. S. Rinderle, M. Reichert, P. Dadam, On dealing with structural conflicts between process type and instance changes, in: BPM '04, 2004, pp. 274-289.
18. flex - supporting dynamic changes of workflows without losing control. JIIS 10 2 (1998) 93-129
19. M. Reichert, Dynamic Changes in Workflow-Management-Systems, Ph.D. Thesis, University of Ulm, Computer Science Faculty, 2000 (in German).
20. J. Klein, Advanced rule driven transaction management, in: Proceedings of IEEE COMPCON '93, 1991, pp. 562-567.
21. Attie P., Singh M., Sheth A., and Rusinkiewicz M. Specifying and enforcing intertask dependencies. Proceedings of the VLDB '93 (1993), Morgan Kaufmann Publishers Inc. 134-145
22. Singh M.P. Semantical considerations on workflows: an algebra for intertask dependencies. Workshop on Database Programming Languages (1996), Springer-Verlag, London, UK p. 5
23. Heinlein C. Workflow and process synchronisation with interaction expressions and graphs. ICDE '01 (2001), IEEE Computer Society, Washington, DC, USA 243-252
24. M. Pesic, W. van der Aalst, A declarative approach for flexible business processes management, in: Business Process Management Workshops, 2006, pp. 169-180.
25. H. Davulcu, M. Kifer, C.R. Ramakrishnan, I.V. Ramakrishnan, Logic based modeling and analysis of workflows, in: PODS, 1998, pp. 25-33.
26. W. Fan, S. Weinstein, Specifying and reasoning about workflows with path constraints, in: ICSC, 1999, pp. 226-235.
27. Dourish P., Holmes J., MacLean A., Marqvardsen P., and Zbyslaw A. Freeflow: mediating between representation and action in workflow systems. CSCW '96 (1996), ACM Press, New York, NY, USA 190-198
28. Knolmayer G., Endl R., and Pfahrer M. Modeling processes and workflows by business rules. In: van der Aalst W., et al. (Ed). BPM '00. LNCS vol. 1806 (2000), Springer 16-29
29. J. Wainer, F. de Lima Bezerra, P. Barthelmess, Tucupi: a flexible workflow system based on overridable constraints, in: ACM SAC '04, 2004, pp. 498-502.
30. M. Weske, Flexible modeling and execution of workflow activities, in: Proceedings of the Hawaii International Conference on System Sciences, Hawaii, 1998, pp. 713-722.
31. van der Aalst W., Basten T., Verbeek H., Verkoulen P., and Voorhoeve M. Adaptive workflow: on the interplay between flexibility and support. Interprise Inform. Syst. (2000) 63-70
32. Sadiq S., Orlowska M., and Sadiq W. Specification and validation of process constraints for flexible workflows. Inf. Syst. 30 5 (2005) 349-378
33. S. Deng, Z. Yu, Z. Wu, H. Lican, Enhancement of workflow flexibility by composing activities at run-time, in: ACM SAC '04, 2004, pp. 667-673.
34. U. Greiner, J. Ramsch, B. Heller, M. Löffler, R. Müller, E. Rahm, Adaptive guideline-based treatment workflows with AdaptFlow, in: CGP '04, 2004, pp. 113-117.
35. Müller R., Greiner U., and Rahm E. AgentWork: a workflow system supporting rule-based workflow adaption. DKE 51 (2004) 223-256
36. J. Pathak, D. Caragea, V. Honovar, Ontology-extended component-based workflows: a framework for constructing complex workflows from semantically heterogeneous software components, in: SWDB '04, 2005, pp. 41-56.
37. Bowers S., Lin K., and Ludäscher B. On integrating scientific resources through semantic registration. SSDBM '04 (2004), IEEE Computer Society, Washington, DC, USA 349
38. Kim J., Spraragen M., and Gil Y. An intelligent assistant for interactive workflow composition. International Conference on Intelligent User Interfaces (2004), ACM Press 125-131
39. Cardoso J., and Sheth A. Semantic e-workflow composition. JIIS 21 3 (2003) 191-225
40. R. Zhang, I. Budak Arpinar, B. Aleman-Meza, Automatic composition of semantic web services, in: International Conference on Web Services, 2003, pp. 38-41.
41. ILOG, ILOG JRules and IBM MQWF - White Paper, 2005.
42. A. Abecker, A. Bernardi, S. Ntioudis, L. van Elst, R. Herterich, C. Houy, M. Legal, G. Mentzas, S. Müller, Workflow-embedded organizational memory access: the DECOR project, in: IJCAI '01, Workshop on Knowledge Management and Organizational Memories, 2001.
43. C. Wargitsch, T. Wewers, F. Theisinger, An organizational-memory-based approach for an evolutionary workflow management system - concepts and implementation, in: HICSS (1), 1998, pp. 174-183.
44. W. van der Aalst, H. de Beer, B.van Dongen, Process mining and verification of properties: an approach based on temporal logic, in: CoopIS '05, 2005, pp. 130-147.