Diagnosing differences between business process models

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

Volumn 5240 LNCS, Issue , 2008, Pages 261-277

  Dijkman, Remco ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; FORMAL METHODS;

BUSINESS ANALYSTS; BUSINESS PROCESS MODEL; EXPONENTIAL COMPLEXITY; FORMAL SEMANTICS; OPERATIONAL PROCESS; SCOPING;

SEMANTICS;

EID: 57049179525     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85758-7_20     Document Type: Conference Paper

References (20)

1. van der Aalst, W.: Formalization and Verification of Event-driven Process Chains. Information and Software Technology 41, 639-650 (1999)
2. Benatallah, B., Casati, F., Grigori, D., Motahari Nezhad, H.R., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 415-429. Springer, Heidelberg (2005)
3. Cleaveland, R.: On Automatically Explaining Bisimulation Inequivalence. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol. 575, pp. 364-372. Springer, Heidelberg (1992)
4. Dijkman, R.M.: A Classification of Differences in Similar Business Processes. In: EDOC 2007, pp. 37-47 (2007)
5. Dijkman, R.M.: Feedback on Differences between Business Processes. BETA Working Paper WP-234, Eindhoven University of Technology, The Netherlands (2007)
6. van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring Similarity between Business Process Models. In: CAiSE 2008, pp. 450-464 (2008)
7. van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 372-386. Springer, Heidelberg (2005)
8. Dumas, M., Spork, M., Wang, K.: Adapt or Perish: Algebra and Visual Notation for Interface Adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 65-80. Springer, Heidelberg (2006)
9. van Glabbeek, R.: The Linear Time - Branching Time Spectrum I: The Semantics of Concrete Sequential Processes. Handbook of Process Algebra, pp. 3-99. Elsevier, Amsterdam (2001)
10. Keller, G., Nüttgens, M., Scheer, A.-W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Heft 89, Institut fur Wirtschaftsinformatik, Saarbrücken, Germany (1992)
11. Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data & Knowledge Engineering 56, 23-40 (2006)
12. Lohmann, N.: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. In: BPM 2008 (accepted, 2008)
13. Mendling, J., van der Aalst, W.M.P.: Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 439-453. Springer. Heidelberg (2007)
14. Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. Ph.D. Thesis, Vienna University of Economics and Business Administration, Austria (2007)
15. Mendling, J., van der Aalst, W.: Towards EPC Semantics based on State and Context. In: EPK 2006, pp. 25-48 (2006)
16. Motahari Nezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semiautomated adaptation of service interactions. In: WWW 2007, pp. 993-1002 (2007)
17. Preuner, G., Conrad, S., Schrefl, M.: View Integration of Behavior in Object-Oriented Databases. Data & Knowledge Engineering 36(2), 153-183 (2001)
18. Rozinat, A., van der Aalst, W.: Conformance checking of processes based on monitoring real behavior. Information Systems 33(1), 64-95 (2008)
19. Sudkamp, T.: Languages and Machines, 2nd edn. Addison-Wesley, Reading (1996)
20. 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 and WES 2007. LNCS, vol. 4495, pp. 574-588. Springer, Heidelberg (2007)