Disjoint and overlapping process changes: challenges, solutions, applications

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

Volumn 3290, Issue , 2004, Pages 101-120

  Rinderle, Stefanie ^a   Reichert, Manfred ^a   Dadam, Peter ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SYSTEMS; MULTI AGENT SYSTEMS; SEMANTIC WEB; SEMANTICS;

ADAPTIVE PROCESS; CANONICAL REPRESENTATIONS; CONCURRENT PROCESS; FORMAL FRAMEWORK; MIGRATION STRATEGY; OVERLAPPING EFFECT; OVERLAPPING PROCESS; PROCESS INSTANCES;

DISTRIBUTED DATABASE SYSTEMS;

EID: 33750014853     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30468-5_9     Document Type: Article

References (23)

1. v.d. Aalst, W., van Hee, K.: Workflow Management. MIT Press (2002)
2. v.d. Aalst, W., Basten, T.: Inheritance of workflows: An approach to tackling problems related to change. Theoret. Comp. Science 270 (2002) 125-203
3. Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data and Knowledge Engineering 24 (1998) 211-238
4. Ellis, C., Keddara, K., Rozenberg, G.: Dynamic change within workflow systems. In: Proc. COOCS'95, Milpitas, CA (1995) 10-21
5. Sadiq, S., Marjanovic, O., Orlowska, M.: Managing change and time in dynamic workflow processes. IJCIS 9 (2000) 93-116
6. flex - supporting dynamic changes of workflows without losing control. JIIS 10 (1998) 93-129
7. Weske, M.: Formal foundation and conceptual design of dynamic adaptations in a workflow management system. In: Proc. HICSS-34. (2001)
8. Rinderle, S., Reichert, M., Dadam, P.: On dealing with structural conflicts between process type and instance changes. In: Proc. BPM'04. LNCS, Potsdam (2004)
9. Reichert, M., Rinderle, S., Dadam, P.: On the common support of workflow type and instance changes under correctness constraints. In: Proc. CoopIS '03, Catania, Italy (2003) 407-425
10. Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems - a survey. Data and Knowledge Engineering, Special Issue on Advances in Business Process Management 50 (2004) 9-34
11. Kochut, K., Arnold, J., Sheth, A., Miller, J., Kraemer, E., Arpinar, B., Cardoso, J.: IntelliGEN: A distributed workflow system for discovering protein-protein interactions. Distributed and Parallel Databases 13 (2003) 43-72
12. v.d. Aalst, W., Basten, T.: Identifying commonalities and differences in object life cycles using behavorial inheritance. In: Proc. ICATPN '01, Newcastle, UK (2001) 32-52
13. Kiepuszewski, B.: Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Brisbane (2002) (available via http://www.tm.tue.nl/it/research/patterns).
14. Rinderle, S., Reichert, M., Dadam, P.: Flexible support of team processes by adaptive workflow systems. Distributed and Parallel Databases 16 (2004) 91-116
15. Rinderle, S., Reichert, M., Dadam, P.: On dealing with semantically conflicting business process changes. Technical Report UIB-2003-04, University of Ulm (2003)
16. Guth, V., Oberweis, A.: Delta analysis of petri net based models for business processes. In: Proc. Applied Informatics. (1997) 23-32
17. Rinderle, S.: Schema Evolution In Process Management Systems. PhD thesis, University of Ulm (2004) (to appear).
18. Badrinath, B., Ramamritham, K.: Semantics-based concurrency control: Beyond commutativity. ACM Transactions on Database Systems 17 (1992) 163-199
19. Wasch, J., Klas, W.: History merging as a mechanism for concurrency control in cooperative environments. In: Proc. RIDE'96, New Orleans (1996) 76-85
20. Basten, T.: Branching bisimilarity is an equivalence indeed! Information Processing Letters 58 (1996) 141-147
21. Verbeek, E.: Verification of WF-Nets. PhD thesis, Technical University of Eindhoven (2004)
22. v. Glabbeek, R., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Informatica 37 (2001) 229-327
23. Frank, H., Eder, J.: Equivalence transformations on statecharts. In: Proc. SEKE'00, Chicago (2000) 150-158