On the formal semantics of change patterns in process-aware information systems

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

Volumn 5231 LNCS, Issue , 2008, Pages 279-293

  Rinderle Ma, Stefanie ^a   Reichert, Manfred ^a   Weber, Barbara ^b  

^a UNIVERSITY OF ULM   (Germany)

^b UNIVERSITY OF INNSBRUCK   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; INFORMATION SYSTEMS; INFORMATION USE; SEMANTICS;

ADAPTIVE PROCESS; BUSINESS PROCESS; CHANGE PATTERNS; FORMAL SEMANTICS; GROUND PATTERNS; PROCESS CHANGE; PROCESS META MODELS; PROCESS MODELING LANGUAGE;

MODELING LANGUAGES;

EID: 57049120554     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87877-3_21     Document Type: Conference Paper

References (19)

1. Adams, M., ter Hofstede, A., Edmond, D., van der Aalst, W.: A Service-Oriented Implementation of Dynami: Flexibility in Workflows. In: Proc. Coopis 2006 (2006)
2. Rinderle, S., Reichert, M., Dadam, P.: Flexible support of team processes by adaptive workflow systems. Distributed and Parallel Databases 16, 91-116 (2004)
3. flex - Supporting Dynamic Changes of Workflows Without Losing Control. JIIS 10, 93-129 (1998)
4. Van der Aalst, W., Weske, M., Grünbauer, D.: Case handling: A new paradigm for business process support. Data and Knowledge Engineering 53, 129-162 (2005)
5. Pesic, M., Schonenberg, M., Sidorova, N., van der Aalst, W.: Constraint-Based Workflow Models: Change Made Easy. In: CoopIS 2007, pp. 77-94 (2007)
6. Sadiq, S., Sadiq, W., Orlowska, M.: A Framework for Constraint Specification and Validation in Flexible Workflows. Information Systems 30, 349-378 (2005)
7. Van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. Distributed and Parallel Databases 14, 5-51 (2003)
8. Russell, N., van der Aalst, W., ter Hofstede, A.: Exception Handling Patterns in Process-Aware Information Systems. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 288-302. Springer, Heidelberg (2006)
9. Rinderle, S., Reichert, M., Dadam, P.: Correctness Criteria for Dynamic Changes in Workflow Systems - A Survey. Data and Knowledge Engineering 50, 9-34 (2004)
10. Weber, B., Rinderle, S., Reichert, M.: Change patterns and change support features in process-aware information systems. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007. LNCS, vol. 4495, pp. 574-588. Springer, Heidelberg (2007)
11. Weber, B., Rinderle, S., Reichert, M.: Change Support in Process-Aware Information Systems - A Pattern-Based Analysis. Technical report, CTIT (2007)
12. Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features - enhancing flexibility in process-aware information systems. Data and Knowledge Engineering (2008)
13. Puhlmann, F., Weske, M.: Using the Pi-Calculus for Formalizing Workflow Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153-168. Springer, Heidelberg (2005)
14. Zhang, F., D'Hollander, E.: Using Hammock Graphs to Structure Programs. IEEE Transactions on Software Engineering 30, 231-245 (2004)
15. Glabbeek, R.V., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Informatica 37, 229-327 (2001)
16. Russell, N., ter Hofstede, A., Edmond, D., van der Aalst, W.: Workflow data patterns. Technical Report FIT-TR-2004-01, Queensland Univ. of Techn. (2004)
17. Russell, N., ter Hofstede, A., Edmond, D., van der Aalst, W.: Workflow resource patterns. Technical Report WP 127, Eindhoven Univ. of Technology (2004)
18. Barros, A., Dumas, M., ter Hofstede, A.: Service Interaction Patterns. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 302-318. Springer, Heidelberg (2006)
19. Weber, B., Reichert, M.: Refactoring process models in large process repositories. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 124-139. Springer. Heidelberg (2008)