Deciding behaviour compatibility of complex correspondences between process models

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

Volumn 6336 LNCS, Issue , 2010, Pages 78-94

  Weidlich, Matthias ^a   Dijkman, Remco ^b   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT;

CHOICE PROCESS; COMPLEX 1; COMPLEX CORRESPONDENCES; COMPUTATIONALLY EFFICIENT; PROCESS MODEL; REFERENCE PROCESS MODELS;

ADMINISTRATIVE DATA PROCESSING;

EID: 78049306551     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15618-2_8     Document Type: Conference Paper

References (33)

1. Dijkman, R., Dumas, M.: Service-oriented design: a multi-viewpoint approach. IJCIS 13(4), 337-368 (2004) (Pubitemid 39638650)
2. van der Aalst, W. M. P.: Inheritance of business processes: A journey visiting four notorious problems. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 383-408. Springer, Heidelberg (2003)
3. Guth, V., Oberweis, A.: Delta-analysis of petri net based models for business processes. In: Proc. of the 3rd Int. Conf. on Applied Informatics, pp. 23-32 (1997)
4. Basten, T., Aalst, W.: Inheritance of Behavior. JLAP 47(2), 47-145 (2001) (Pubitemid 32605536)
5. Schrefl, M., Stumptner, M.: Behavior-consistent specialization of object life cycles. ACM Trans. Softw. Eng. Methodol. 11(1), 92-148 (2002)
6. Weidlich, M., Dijkman, R., Weske, M.: Deciding Behaviour Compatibility of Complex Correspondences between Process Models. Technical report 11-2010, Hasso Plattner Institute, http://bpt.hpi.uni-potsdam.de/pub/Public/MatthiasWeidlich/ bc-r.pdf
7. Aalst, W.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21-66 (1998) (Pubitemid 128540249)
8. Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77-91. Springer, Heidelberg (2008) (Pubitemid 351641718)
9. Dijkman, R. M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information & Software Technology 50(12), 1281-1294 (2008)
10. Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Trans. Software Eng. 30(7), 437-447 (2004)
11. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)
12. Aalst, W.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997) (Pubitemid 127088954)
13. Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)
14. Hack, M.: Decidability Questions for Petri Nets. PhD thesis, M. I. T. (1976)
15. Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 429-528. Springer, Heidelberg (1998) (Pubitemid 128165819)
16. Kiepuszewski, B., Hofstede, A., Aalst, W.: Fundamentals of control flow in workflows. Acta Inf. 39(3), 143-209 (2003) (Pubitemid 36467936)
17. Aalst, W.: Workflow verification: Finding control-flow errors using petri-net-based techniques. In: van der Aalst, W. M. P, Desel, J., Oberweis, A. (eds.) BPM 2000. LNCS, vol. 1806, pp. 161-183. Springer, Heidelberg (2000)
18. Kovalyov, A., Esparza, J.: A polynomial algorithm to compute the concurrency relation of free-choice signal transition graphs. In: WODES. The Institution of Electrical Engineers, pp. 1-6 (1996)
19. Weidlich, M., Mendling, J., Weske, M.: Efficient Consistency Measurement based on Behavioural Profiles of Process Models. IEEE Trans. on Software Engineering (2010) (to appear)
20. Documentair structuurplan, http://model-dsp. nl/(accessed: February 20, 2009)
21. Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S. M., Zave, P.: Matching and merging of statecharts specifications. In: ICSE, pp. 54-64. IEEE CS (2007) (Pubitemid 47430641)
22. Dijkman, R., Dumas, M., García-Banuelos, L., Käärik, R.: Aligning business process models. In: EDOC, pp. 45-53 (2009)
23. Weidlich, M., Dijkman, R., Mendling, J.: The ICoP framework: Identification of correspondences between process models. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 483-498. Springer, Heidelberg (2010)
24. Rahm, E., Bernstein, PA.: A survey of approaches to automatic schema matching. VLDB Journal 10(4), 334-350 (2001) (Pubitemid 33570972)
25. van Glabbeek, R. J., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inf. 37 (4/5), 229-327 (2001) (Pubitemid 33588635)
26. Aceto, L., Hennessy, M.: Adding action refinement to a finite process algebra. Inf. Comput. 115(2), 179-247 (1994)
27. Quartel, D., Pires, L. F., van Sinderen, M.: On architectural support for behavior refinement in distributed systems design. Journal of Integrated Design and Process Science 6(1), 1-30 (2002)
28. Vogler, W.: Behaviour preserving refinement of petri nets. In: Tinhofer, G., Schmidt, G. (eds.) WG 1986. LNCS, vol. 246, pp. 82-93. Springer, Heidelberg (1987)
29. Brauer, W., Gold, R., Vogler, W.: A survey of behaviour and equivalence preserving refinements of petri nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 1-46. Springer, Heidelberg (1991)
30. Dumas, M., García-Bañuelos, L., Dijkman, R. M.: Similarity search of business process models. IEEE Data Eng. Bull. 32(3), 23-28 (2009)
31. van Dongen, B. F., Dijkman, R. M., Mendling, J.: Measuring Similarity between Business Process Models. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 450-464. Springer, Heidelberg (2008)
32. Wombacher, A.: Evaluation of technical measures for workflow similarity based on a pilot study. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 255-272. Springer, Heidelberg (2006) (Pubitemid 44891960)
33. Sokolsky, O., Kannan, S., Lee, I.: Simulation-based graph similarity. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 426-440. Springer, Heidelberg (2006) (Pubitemid 44019386)