Detection of semantically equivalent fragments for business process model change management

Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010

Volumn , Issue , 2010, Pages 57-64

  Gerth, Christian ^a,b   Luckey, Markus ^b   Küster, Jochen M ^a   Engels, Gregor ^b  

^a IBM RESEARCH ZURICH   (Switzerland)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Business process models; Change management; Conflicts; Consistency

Indexed keywords

BUSINESS PROCESS MODEL; BUSINESS PROCESS MODELING; CHANGE MANAGEMENT; CONFLICTS; CONSISTENCY; DISTRIBUTED DEVELOPMENT; MODELING LANGUAGES; NORMAL FORM; PROCESS MODEL; SEMANTIC LEVELS; TERM REWRITING SYSTEMS; VERSION CONTROL;

SYNTACTICS;

MANAGEMENT;

EID: 77957911027     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2010.38     Document Type: Conference Paper

References (27)

1. T. Erl, Service-Oriented Architecture: Concepts, Technology, and Design. NJ, USA: Prentice Hall PTR, 2005.
2. J. Koehler, R. Hauser, J. Küster, K. Ryndina, J. Vanhatalo, and M. Wahler, "The Role of Visual Modeling and Model Transformations in Business-Driven Development," in Proceedings of GT-VMT'06, 2006, pp. 1-12.
3. J. M. Küster, C. Gerth, A. F̈orster, and G. Engels, "Detecting and Resolving Process Model Differences in the Absence of a Change Log," in BPM'08, ser. LNCS, M. Dumas and M. Reichert, Eds., vol. 5240. Springer, 2008, pp. 244-260.
4. R. v. Glabbeek, "The Linear Time-Branching Time Spectrum I - The Semantics of Concrete, Sequential Processes," in Handbook of Process Algebra, Chapter 1. Elsevier, pp. 3-99.
5. Object Management Group (OMG), "Business Process Modeling Notation (BPMN)," http://www.omg.org/spec/BPMN/1.2.
6. -, "Unified Modeling Language (UML): Superstructure," http://www.uml.org, 2005.
7. International Business Machines Corp. (IBM), "IBM WebSphere Business Modeler," http://www.ibm.com/software/integration/wbimodeler/.
8. Eclipse Foundation, "EMF Compare," http://www.eclipse.org/ modeling/emft/?project=compare.
9. U. Kelter, J. Wehren, and J. Niere, "A Generic Difference Algorithm for UML Models," in Software Engineering 2005, ser. LNI, P. Liggesmeyer, K. Pohl, and M. Goedicke, Eds., vol. 64. GI, 2005, pp. 105-116.
10. G. Kappel, E. Kapsammer, H. Kargl, G. Kramler, T. Reiter, W. Retschitzegger, W. Schwinger, and M. Wimmer, "Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages," in MoDELS, ser. LNCS, O. Nierstrasz, J. Whittle, D. Harel, and G. Reggio, Eds., vol. 4199. Springer, 2006, pp. 528-542.
11. C. Gerth, J. M. Küster, and G. Engels, "Language- Independent Change Management of Process Models," in MODELS'09, ser. LNCS, A. Schürr and B. Selic, Eds., vol. 5795. Springer, 2009, pp. 152-166.
12. J. Vanhatalo, H. Völzer, and F. Leymann, "Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition," in ICSOC 2007, ser. LNCS, vol. 4749. Springer, 2007, pp. 43-55.
13. W. M. P. van der Aalst, A. Hirnschall, and H. M. W. Verbeek, "An Alternative Way to Analyze Workflow Graphs," in CAiSE, ser. LNCS, A. B. Pidduck, J. Mylopoulos, C. C. Woo, and M. T. Ö zsu, Eds., vol. 2348. Springer, 2002, pp. 535-552.
14. T. Murata, "Petri Nets: Properties, Analysis and Applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, 1989.
15. F. Baader and T. Nipkow, Term Rewriting and All That. Cambridge University Press, Cambridge, 1998.
16. B. F. van Dongen, W. M. P. van der Aalst, and H. M. W. Verbeek, "Verification of EPCs: Using Reduction Rules and Petri Nets," in CAiSE, ser. LNCS, O. Pastor and J. F. e Cunha, Eds., vol. 3520. Springer, 2005, pp. 372-386.
17. J. Mendling and W. M. P. van der Aalst, "Formalization and Verification of EPCs with OR-Joins Based on State and Context," in CAiSE, ser. LNCS, J. Krogstie, A. L. Opdahl, and G. Sindre, Eds., vol. 4495. Springer, 2007, pp. 439-453.
18. R. M. Dijkman, "Diagnosing Differences between Business Process Models," in BPM, ser. LNCS, M. Dumas, M. Reichert, and M.-C. Shan, Eds., vol. 5240. Springer, 2008, pp. 261-277.
19. J. Eder, W. Gruber, and H. Pichler, "Transforming Workflow Graphs," in INTEROP-ESA'05. Genf, Switzerland: Springer London, 2 2005, pp. 203-214.
20. C. Gerth, M. Luckey, J. M. Küster, and G. Engels, "Detection of Semantically Equivalent Fragments for Business Process Model Change Management," IBM Research-Zurich, IBM Research Report RZ 3767, February 2010. [Online]. Available: http://www.cs.unipaderborn.de/uploads/txsibibtex/ rz3767.pdf.
21. C. Li, M. Reichert, and A. Wombacher, "On Measuring Process Model Similarity Based on High-Level Change Operations," in ER, ser. LNCS, Q. Li, S. Spaccapietra, E. S. K. Yu, and A. Oliv́e, Eds., vol. 5231. Springer, 2008, pp. 248-264.
22. J. Bae, J. Caverlee, L. Liu, and H. Yan, "Process Mining by Measuring Process Block Similarity," in Business Process Management Workshops, ser. LNCS, J. Eder and S. Dustdar, Eds., vol. 4103. Springer, 2006, pp. 141-152.
23. W. M. P. van der Aalst, A. K. A. de Medeiros, and A. J. M. M. Weijters, "Process Equivalence: Comparing Two Process Models Based on Observed Behavior," in BPM'09, ser. LNCS, S. Dustdar, J. L. Fiadeiro, and A. P. Sheth, Eds., vol. 4102. Springer, 2006, pp. 129-144.
24. M. Weidlich, M. Weske, and J. Mendling, "Change Propagation in Process Models Using Behavioural Profiles," in IEEE SCC. IEEE Computer Society, 2009, pp. 33-40.
25. M. Ehrig, A. Koschmider, and A. Oberweis, "Measuring Similarity between Semantic Business Process Models," in APCCM, ser. CRPIT, J. F. Roddick and A. Hinze, Eds., vol. 67. Australian Computer Society, 2007, pp. 71-80.
26. B. F. van Dongen, R. M. Dijkman, and J. Mendling, "Measuring Similarity between Business Process Models," in CAiSE, ser. LNCS, Z. Bellahsene and M. Ĺeonard, Eds., vol. 5074. Springer, 2008, pp. 450-464.
27. W. Sadiq and M. E. Orlowska, "Analyzing Process Models Using Graph Reduction Techniques," Inf. Syst., vol. 25, no. 2, pp. 117-134, 2000.