access icon free Changes in artefact-centric business process instances and their correctness prediction

Change of artefact-centric business process instances is important for an enterprise to keep competitive. However, to preserve the correctness of changes of an artefact-centric business process instance is still a big challenge. The hardness mainly stems from the fact that whether a business process instance can reach a final state has been proved to be undecidable. As such, finding a reliable verification algorithm for preserving correctness becomes impossible. In this study, the authors propose a random-forest-based approach to predict the correctness of changes in a business process instance. The availability of the proposed method is validated by comparing it to the traditional formal verification method. They also propose two optimisations of the proposed method and validate their effectiveness through extensive experimental analysis.

Inspec keywords: business data processing; Web services; formal verification

Other keywords: traditional formal verification method; correctness prediction; artefact-centric business process instance; random-forest-based approach; reliable verification algorithm

Subjects: Internet software; Formal methods

References

    1. 1)
      • 16. Prati, R.C., Batista, G.E.A.P.A., Monard, M.C.: ‘A survey on graphical methods for classification predictive performance evaluation’, IEEE Trans. Knowl. Data Eng., 2011, 23, (11), pp. 16011618.
    2. 2)
      • 39. Oberhauser, R.: ‘Towards dynamic business process management: adapting processes via cloud-based adaptation processes’. Proc. Int. Conf. Symp. On Business Modeling and Software Design, Milan, Italy, July 2015, pp. 122.
    3. 3)
      • 38. Patiniotakis, I., Apostolou, D., Verginadis, Y., et al: ‘Assessing flexibility in event-driven process adaptation’, Inf. Syst., 2017, 81, pp. 201219.
    4. 4)
      • 40. Lei, J., Bai, R., Guo, L., et al: ‘Towards a scalable framework for artifact-centric business process management systems’. Proc. Int. Conf. on Web Information Systems Engineering, Shanghai, China, November 2016, pp. 309323.
    5. 5)
      • 25. Wang, Y., Wang, Y.: ‘Change analysis for artifact-centric business processes’. Proc. Int. Conf. on Business Information Systems, Larnaca, Cyprus, May 2011, pp. 98109.
    6. 6)
      • 24. Hull, R., Damaggio, E., Masellis, R.D.: ‘Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events’. Proc. Int. Conf. on Distributed Event-Based System, New York, USA, July 2011, pp. 5162.
    7. 7)
      • 8. Bhattacharya, K., Gerede, C., Hull, R., et al: ‘Towards formal analysis of artifact-centric business process models’. Proc. Int. Conf. on Business Process Management, Brisbane, Australia, September 2007, pp. 288304.
    8. 8)
      • 11. Ngamakeur, K., Yongchareon, S., Liu, C.: ‘A framework for realizing artifact-centric business processes in service-oriented architecture’. Proc. Int. Conf. on Database Systems for Advanced Applications, Busan, South Korea, April 2012, pp. 6378.
    9. 9)
      • 14. Rodriguez-galiano, V.F., Ghimire, B., Rogan, J., et al: ‘An assessment of the effectiveness of a random forest classifier for land-cover classification’, ISPRS J. Photogramm. Remote Sens., 2012, 67, pp. 93104.
    10. 10)
      • 17. ‘International Workshop on Business Process Intelligence 2017’. Available at https://www.win.tue.nl/bpi/doku.php?id=2017:challenge, accessed October 2018.
    11. 11)
      • 13. Basu, S., Söderquist, F., Wallner, B.: ‘Proteus: a random forest classifier to predict disorder-to-order transitioning binding regions in intrinsically disordered proteins’, J. Comput. Aided Mol. Des., 2017, 31, (5), pp. 453466.
    12. 12)
      • 15. Manning, C.D., Raghavan, P., Schütze, H.: ‘Introduction to information retrieval’ (Cambridge University Press, New York, 2010).
    13. 13)
      • 29. Ayora, C., Torres, V., Weber, B., et al: ‘Enhancing modeling and change support for process families through change patterns’. Proc. Int. Conf. on Enterprise, Business-Process and Information Systems Modeling, Valencia, Spain, June 2013, pp. 246260.
    14. 14)
      • 32. Xiu, P., Yang, J., Zhao, W.: ‘Change management of service based business processes’, Serv. Oriented Comput. Appl., 2019, 13, (1), pp. 5166.
    15. 15)
      • 5. Jurisch, M.C., Rosenberg, Z., Krcmar, H.: ‘Emergent risks in business process change projects’, Bus. Process Manage. J., 2016, 22, (4), pp. 791811.
    16. 16)
      • 36. Dam, H.K., Ghose, A.: ‘Mining version histories for change impact analysis in business process model repositories’, Comput. Ind., 2015, 67, pp. 7285.
    17. 17)
      • 23. ‘About the Case Management Model and Notation Specification Version 1.1’. Available at https://www.omg.org/spec/cmmn/1.1/, accessed November 2018.
    18. 18)
      • 20. Cognini, R., Corradini, F., Gnesi, S., et al: ‘Business process flexibility: a systematic literature review with a software systems perspective’, Inf. Syst. Front., 2018, 20, (2), pp. 129.
    19. 19)
      • 19. ‘Tianchi’, available at https://tianchi.aliyun.com/dataset/, accessed October 2018.
    20. 20)
      • 6. Kumaran, S., Liu, R., Wu, F.Y.: ‘On the duality of information-centric and activity-centric models of business processes’. Proc. Int. Conf. on Advanced Information Systems Engineering, Montpellier, France, June 2008, pp. 3247.
    21. 21)
      • 7. Kunchala, J., Yu, J., Yongchareon, S.: ‘A survey on approaches to modeling artifact-centric business processes’. Proc. Int. Conf. on Web Information Systems Engineering, Thessaloniki, Greece, October 2014, pp. 117132.
    22. 22)
      • 4. Rosa, M.L., Aalst, W.M.P.V.D., Dumas, M., et al: ‘Business process variability modeling: a survey’, ACM Comput. Surv., 2013, 50, (1), pp. 146.
    23. 23)
      • 27. Weber, B., Reichert, M., Rinderle-Ma, S.: ‘Change patterns and change support features-enhancing flexibility in process-aware information systems’, Data Knowl. Eng., 2008, 66, (3), pp. 438466.
    24. 24)
      • 35. Fdhila, W., Indiono, C., Rinderle-Ma, S.: ‘Dealing with change in process choreographies: design and implementation of propagation algorithms’, Inf. Syst., 2015, 49, pp. 124.
    25. 25)
      • 37. Nunes, V.T., Santoro, F.M., Werner, C.M.L., et al: ‘Real-time process adaptation: a context-aware replanning approach’, IEEE Trans. Syst. Man, Cybern. Syst., 2018, 48, (1), pp. 99118.
    26. 26)
      • 18. ‘Kaggle’. Available at https://www.kaggle.com/, accessed October 2018.
    27. 27)
      • 3. Wetzstein, B.: ‘KPI-related monitoring, analysis, and adaptation of business processes’. PhD thesis, Stuttgart university, 2016.
    28. 28)
      • 28. Rinderle, S., Reichert, M., Dadam, P.: ‘Correctness criteria for dynamic changes in workflow systems-a survey’, Data Knowl. Eng., 2004, 50, (1), pp. 934.
    29. 29)
      • 26. Li, S., Yu, S.: ‘Research on change adaptation technology of data-centric business process models’, Intel. Comput. Appl., 2016, 6, (1), pp. 3640.
    30. 30)
      • 9. Yongchareon, S., Liu, C., Yu, J., et al: ‘A view framework for modeling and change validation of artifact-centric inter-organizational business processes’, Inf. Syst., 2015, 47, pp. 5181.
    31. 31)
      • 10. Zhang, J., Liu, G.: ‘The adaptation of a model of an artifact-centric business process instance and its validation’, Information, 2019, 10, (2), p. 57.
    32. 32)
      • 33. Alférez, G.H., Pelechano, V., Mazo, R., et al: ‘Dynamic adaptation of service compositions with variability models’, J. Syst. Softw., 2014, 91, pp. 2447.
    33. 33)
      • 31. Ayora, C., Torres, V., Vara, J.L.D.L., et al: ‘Variability management in process families through change patterns’, Inf. Softw. Technol., 2016, 74, pp. 86104.
    34. 34)
      • 21. Song, W., Jacobsen, H.A.: ‘Static and dynamic process change’, IEEE Trans. Serv. Comput., 2016, 1374, (c), pp. 118.
    35. 35)
      • 12. Liu, R., Bhattacharya, K., Wu, F.Y.: ‘Modeling business contexture and behavior using business artifacts’. Proc. Int. Conf. on Advanced Information Systems Engineering, Trondheim, Norway, June 2007, pp. 324339.
    36. 36)
      • 30. Richert, M., Weber, B.: ‘Enabling flexibility in process-aware information systems: challenges, methods, technologies’ (Springer Press, Berlin, Heidelberg, 2012).
    37. 37)
      • 34. Rossi, F., Beek, P.V., Walsh, T.: ‘Handbook of constraint programming’ (Elsevier, New York, 2006).
    38. 38)
      • 1. Martins, P.V., Zacarias, M.: ‘An agile business process improvement methodology’, Procedia Comput. Sci., 2017, 121, pp. 129136.
    39. 39)
      • 22. Eshuis, R., Hull, R., Yi, M.: ‘Property preservation in adaptive case management’. Proc. Int. Conf. on Service-Oriented Computing, Goa, India, November 2015, pp. 285302.
    40. 40)
      • 2. Saidani, O., Nurcan, S.: ‘Business process modeling: a multi-perspective approach integrating variability’. Proc. Int. Conf. on Enterprise, Business-Process and Information Systems Modeling, Thessaloniki, Greece, June 2014, pp. 169183.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-sen.2019.0310
Loading

Related content

content/journals/10.1049/iet-sen.2019.0310
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading