Abstract
Coping with complexity is an important issue in both research and industry. One strategy to deal with complexity is separation of concerns, which can be addressed using aspect-oriented paradigm. Despite being well researched in programming, this paradigm is still in a preliminary stage in the area of business process management (BPM). While some efforts have been made to introduce aspect orientation in business process modelling, there is no holistic approach with a formal underlying foundation to support aspect-oriented business process design and enactment, and this gap restricts aspect-oriented paradigm from being practically deployed in the area of BPM. Therefore, this paper proposes a sound systematic approach which builds on a formal syntax for modelling aspect-oriented business processes and a Petri Net-based operational semantics for enacting these processes. The approach enables the implementation of software system artefacts as a proof of concept to support design and enactment of aspect-oriented business processes in practice. The approach is demonstrated using a banking case study, where processes are modelled using a concrete notation that conforms to the proposed formal syntax and then executed in a state-of-the-art BPM system where the implemented artefacts are deployed.



















Similar content being viewed by others
Notes
Artefacts are defined as objects made by humans with the intention that it be used to address a practical problem [32].
We adopt this common approach in our paper.
BPMN stands for Business Process Model and Notation (http://www.bpmn.org/).
YAWL stands for Yet Another Workflow Language (http://www.yawlfoundation.org/).
Full details of the model and the results of simulation and state-space analysis are publicly available and can be downloaded from http://www.aobpm.com.
References
Aalst, W.: Business process management: a comprehensive survey. ISRN Softw. Eng. 2013, 37 (2013)
Aalst, W.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 08(01), 21–66 (1998)
Aalst, W., van Hee, K., ter Hofstede, A., Sidorova, N., Verbeek, H., Voorhoeve, M., Wynn, M.: Soundness of workflow nets: classification, decidability, and analysis. Form. Asp. Comput. 23(3), 333–363 (2011)
Adams, M.: Facilitating dynamic flexibility and exception handling for workflows. Ph.D. thesis, Faculty of Information Technology, Queensland University of Technology (2007)
Agrawal, A., Amend, M., Das, M., Ford, M., Keller, C., Kloppmann, M., König, D., Leymann, F., Müller, R., Pfau, G., Plsser, k., Rangaswamy, R., Rickayzen, A., Rowley, M., Schmidt, P., Trickovic, I., Yiu, A., Zeller, M.: WS-BPEL extension for people (BPEL4people), version 1.0. Technical report (2007)
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services, p. 136 (2003)
Bider, I., Jalali, A.: Agile business process development: why, how and when—applying Nonaka’s theory of knowledge transformation to business process development. Inf. Syst. e-Bus. Manag., 1–39 (2014). doi:10.1007/10257-014-0256-1
Cappelli, C., Santoro, F., do Prado Leite, J., Batista, T., Medeiros, A., Romeiro, C.: Reflections on the modularity of business process models: the case for introducing the aspect-oriented paradigm. Bus. Process Manag. J. 16(4), 662–687 (2010)
Cardoso, J., Mendling, J., Neumann, G., Reijers, H.: Business Process Management Workshops. In: Eder, J., Dustdar, S. (eds.) Lecture Notes in Computer Science, vol. 4103, pp. 117–128. Springer, Berlin, Heidelberg (2006)
Cardoso, J.: Control-flow complexity measurement of processes and weyukers properties. In: 6th International Enformatika Conference, vol. 8, pp. 213–218 (2005)
Charfi, A., Müller, H., Mezini, M.: Aspect-oriented business process modeling with AO4BPMN. In: Kühne, T. et al. (eds) Modelling Foundations and Applications, LNCS vol. 6138, pp. 48–61. Springer (2010)
Charfi, A.: Aspect-oriented workflow languages: AO4BPEL and applications. Ph.D. thesis, der Technischen Universitat Darmstadt, Darmstadt (2007)
Charfi, A., Mezini, M.: Aspect-oriented web service composition with AO4BPEL. In: Zhang, L., Jeckle, M. (eds.) Web Services. LNCS, vol. 3250, pp. 168–182. Springer, Berlin, Heidelberg (2004)
Charfi, A., Mezini, M.: Aspect-oriented workflow languages. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE. Lecture Notes in Computer Science, vol. 4275, pp. 183–200. Springer, Berlin, Heidelberg (2006)
Charfi, A., Mezini, M.: AO4BPEL: an aspect-oriented extension to BPEL. World Wide Web 10(3), 309–344 (2007)
Decker, G., Overdick, H., Weske, M.: Oryx an open modeling platform for the bpm community. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) Business Process Management. Lecture Notes in Computer Science, vol. 5240, pp. 382–385. Springer, Berlin (2008)
Di Francescomarino, C., Tonella, P.: Crosscutting concern mining in business processes. IET Softw. 5(6), 552–562 (2011)
Filman, R., Friedman, D., Norvig, P.: Aspect-oriented programming is quantification and obliviousness, vol. 17, pp. 18–31 (2000)
Francescomarino, C., Tonella, P.: Crosscutting concerndocumentation by visual query of business processes. In: Ardagna, D., Mecella, M., Yang, J. (eds.) Business Process Management Workshops. Lecture Notes in Business Information Processing, vol. 17, pp. 18–31. Springer, Berlin, Heidelberg (2009)
Fuentes, L., Sánchez, P.: Towards executable aspect-oriented uml models. In: Proceedings of the 10th international workshop on Aspect-oriented modeling, AOM ’07, pp. 28–34. ACM, New York, NY, USA (2007)
Ghidini, C., Francescomarino, C., Rospocher, M., Tonella, P., Serafini, L.: Semantics-based aspect-oriented management of exceptional flows in business processes. IEEE Trans. Syst. Man Cybern. Part C Appl. Rev. 42(1), 25–37 (2012)
Grundy, J.: Aspect-oriented requirements engineering for component-based software systems. In: Proceedings of IEEE international symposium on requirements engineering, 1999, pp. 84–91 (1999)
Hollingsworth, D.: Workflow management coalition—the workflow reference model. Technical report, Workflow Management Coalition (1995)
Jabeen, A., Tariq, S., Farooq, Q., Malik, Z.: A lightweight aspect modelling approach for bpmn. In: IEEE 14th International on Multitopic Conference (INMIC), 2011, pp. 255–260 (2011)
Jalali, A., Johannesson, P.: Multi-perspective business process monitoring. In: Nurcan, S. et al. (eds.) Enterprise, Business-Process and Information Systems Modeling. LNBIP, vol. 147, pp. 199–213. Springer, Berlin, Heidelberg (2013)
Jalali, A., Wohed, P., Ouyang, C.: Aspect oriented business process modelling with precedence. In: Mendling, J. et al. (eds.) BPMN. LNCS, vol. 125, pp. 23–37. Springer (2012)
Jalali, A., Wohed, P., Ouyang, C.: Operational semantics of aspects in business process management. In: Herrero, P. et al. (eds.) OTM 2012 Workshops, vol. 7567, pp. 649–653. Springer (2012)
Jalali, A.: Aspect mining in business process management. In: Johansson, B., Andersson, B., Holmberg, N. (eds.) Perspectives in Business Informatics Research. Lecture Notes in Business Information Processing, vol. 194, pp. 246–260. Springer International Publishing (2014)
Jalali, A.: Assessing aspect oriented approaches in business process management. In: Johansson, B., Andersson, B., Holmberg, N. (eds.) Perspectives in Business Informatics Research. Lecture Notes in Business Information Processing, vol. 194, pp. 231–245.Springer International Publishing (2014)
Jalali, A., Wohed, P., Ouyang, C., Johannesson, P.: Dynamic weaving in aspect oriented business process management. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., Leenheer, P., Dou, D. (eds.) On the Move to Meaningful Internet Systems: OTM 2013 Conferences (CoopIS). Lecture Notes in Computer Science, vol. 8185, pp. 2–20. Springer, Berlin, Heidelberg (2013)
Jensen, K., Kristensen, L., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3–4), 213–254 (2007)
Johannesson, P., Perjons, E.: An Introduction to Design Science. Springer, Switzerland (2014)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J., Irwin, J.: In: Akit, M., Matsuoka, S. (eds.) ECOOP’97 Object-Oriented Programming. Lecture Notes in Computer Science, vol. 1241, pp. 220–242. Springer, Berlin, Heidelberg (1997)
Law, J.: After Method: Mess in Social Science Research. Routledge, London (2004)
Machado, I., Bonifácio, R., Alves, V., Turnes, L., Machado, G.: Managing variability in business processes: an aspect-oriented approach. In: Proceedings of the 2011 international workshop on Early aspects, EA ’11, pp. 25–30. ACM, New York, NY, USA (2011)
McCabe, T.: A complexity measure. IEEE Trans. Softw. Eng. SE–2(4), 308–320 (1976)
Moreira, A., Araújo, J., Brito, I.: Crosscutting quality attributes for requirements engineering. In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE ’02, pp. 167–174. ACM, New York, NY, USA (2002)
Patiniotakis, I., Papageorgiou, N., Verginadis, Y., Apostolou, D., Mentzas, G.: An aspect oriented approach for implementing situational driven adaptation of bpmn2.0 workflows. In: Rosa, M., Soffer, P. (eds.) Business Process Management Workshops. Lecture Notes in Business Information Processing, vol. 132, pp. 414–425. Springer, Berlin, Heidelberg (2013)
Pinto, M., Fuentes, L., Troya, J.: A dynamic component and aspect-oriented platform. Comput. J. 48(4), 401–420 (2005)
Popovici, A., Alonso, G., Gross, T.: Just-in-time aspects: efficient dynamic weaving for java. In: Proceedings of the 2nd international conference on aspect-oriented software development, pp. 100–109. ACM Press (2003)
Popovici, A., Gross, T., Alonso, G.: Dynamic weaving for aspect-oriented programming. In: Proceedings of the 1st international conference on Aspect-oriented software development, AOSD ’02, pp. 141–147. ACM (2002)
Rashid, A., Moreira, A., Araújo, J.: Modularisation and composition of aspectual requirements. In: Proceedings of the 2nd international conference on Aspect-oriented software development, AOSD ’03, pp. 11–20. ACM, New York, NY, USA (2003)
Russell, N., Aalst, W.: Evaluation of the BPEL4People and WS-HumanTask extensions to WS-BPEL 2.0 using the workflow resource patterns. BPM Center Report, BPMcenter.org, p. 513 (2007)
Russell, N., Hofstede, A.: new YAWL: towards workflow 2.0. In: Jensen, K., Aalst, W. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. Lecture Notes in Computer Science, vol. 5460, pp. 79–97. Springer, Berlin, Heidelberg (2009)
Russell, N., van der Aalst, W., ter Hofstede, A., Edmond, D.: Workflow resource patterns: identification, representation and tool support. In: Pastor, O. et al. (eds.) CAiSE. LNCS, vol. 3520, pp. 216–232. Springer (2005)
Russell, N., van der Aalst, W.M.: Evaluation of the BPEL4people and WS-HumanTask extensions to WS-BPEL 2.0 using the workflow resource patterns. Bpm center report, Department of Technology Management, Eindhoven University of Technology GPO Box, 513 (2007)
Santos, F., Cappelli, C., Santoro, F., do Prado Leite, J., Batista, T.: Analysis of heuristics to identify crosscutting concerns in business process models. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC ’12, pp. 1725–1726. ACM, New York, NY, USA (2012)
Santos, F., Sampaio do Prado Leite, J., Cappelli, C., Batista, T., Santoro, F.: Using goals to identify aspects in business process models. In: Proceedings of the 2011 international workshop on Early aspects, EA ’11, pp. 19–23. ACM, New York, NY, USA (2011)
Santos, F.: Prado Leite, J., Cappelli, C., Santoro, F., Batista, T.: A proposal for ownership representation in the context of business process models. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Wrycza, S. (eds.) Enterprise. Business-Process and Information Systems Modeling. Lecture Notes in Business Information Processing, vol. 113, pp. 61–75. Springer, Berlin, Heidelberg (2012)
Santos, F., Cappelli, C., Santoro, F., do Prado Leite, J., Batista, T.: Aspect-oriented business process modeling: analyzing open issues. Bus. Process Manag. J. 18(6), 964–991 (2012)
Shankardass, A.: The dynamic adaptation of an aspect oriented business process in a service oriented architecture platform. Master’s thesis, Athabasca University, Athabasca, Alberta (2009)
Souza, A., Capelli, C., Santoro, F., Azevedo, L., Sampaio do Prado Leite, J., Batista, T.: Service identification in aspect-oriented business process models. In: 2011 IEEE 6th International Symposium on Service Oriented System Engineering (SOSE), pp. 164–174 (2011)
Tarr, P., Ossher, H., Harrison, W., Stanley, J., Sutton, M.: N degrees of separation: multi-dimensional separation of concerns. In: Proceedings of 21st International Conference on Software engineering, pp. 107–119. ACM, New York, USA (1999)
Wang, J., Zhu, J., Liang, H., Xu, K.: Concern oriented business process modeling. In: IEEE International Conference on e-Business Engineering, 2007. ICEBE 2007, pp. 355–358 (2007)
Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Berlin (2007)
Witteborg, H., Charfi, A., Colomer Collell, D., Mezini, M.: Weaving aspects and business processes through model transformation. In: Villari, M. e. a. (ed) Service-Oriented and Cloud Computing. LNCS, vol. 8745, pp. 47–61. Springer (2014)
Acknowledgments
We would like to express our gratitude to Mr. Saman Mesgari for his valuable help in the case study. Moreover, we thank the anonymous reviewers for their constructive comments that helped us to improve the paper. This work is partially supported by an Australian Research Council Discovery grant with number DP120101624.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Prof. Dragan Milicev.
Rights and permissions
About this article
Cite this article
Jalali, A., Ouyang, C., Wohed, P. et al. Supporting aspect orientation in business process management. Softw Syst Model 16, 903–925 (2017). https://doi.org/10.1007/s10270-015-0496-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-015-0496-7