International Conference on Conceptual Modeling

Conceptual Modeling pp 548-557 | Cite as

Static Weaving in Aspect Oriented Business Process Management

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9381)


Separation of concerns is an important topic in business process modelling that aims to reduce complexity, increase the re-usability and enhance the maintainability of business process models. Some concerns cross over several business processes (known as cross-cutting concerns), and they hinder current modularization techniques to encapsulate them efficiently. Aspect Oriented Business Process Modelling aims to encapsulate these concerns from business process models. Although many researchers proposed different aspect-oriented business process modelling approaches, there is no analysis technique to check these models in terms of soundness. Thus, this paper proposes a formal definitions and semantics for aspect-oriented business process models, and it enables the analysis of these models in terms of soundness at design time through defining a static weaving algorithm. The algorithm is implemented as an artefact that support weaving aspect-oriented business process models. The artefact is used to analyse different scenarios, and the result of analysis reveals the situations that can introduce different problems like deadlock. In addition, an example of such scenario is given that shows how the artefact can detect the problems at design time. Such analysis enables process modellers to discover the problems at design time, so the problems will not be left to be discovered at runtime - which apply a lot of costs to correct them.


Business process modelling Aspect orientation Weaving 


  1. 1.
    van der Aalst, W.M.P.: Interval timed coloured petri nets and their analysis. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 453–472. Springer, Heidelberg (1993) CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997) CrossRefGoogle Scholar
  3. 3.
    van der Aalst, W.M.P.: Woflan: a petri-net-based workflow analyzer. Syst. Anal. Model. Simul. 35(3), 345–358 (1999)MATHGoogle Scholar
  4. 4.
    van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. Knowl. Data Eng. 16(9), 1128–1142 (2004)CrossRefGoogle Scholar
  5. 5.
    Charfi, A., Müller, H., Mezini, M.: Aspect-oriented business process modeling with AO4BPMN. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 48–61. Springer, Heidelberg (2010) CrossRefGoogle Scholar
  6. 6.
    Eckleder, A., Freytag, T.: Woped a tool for teaching, analyzing and visualizing workflow nets. Petri Net Newslett. 75, 3–8 (2008)Google Scholar
  7. 7.
    Cappelli, C., et al.: Reflections on the modularity of business process models: the case for introducing the aspect-oriented paradigm. BPM J. 16, 662–687 (2010)Google Scholar
  8. 8.
    Jalali, A.: Assessing aspect oriented approaches in business process management. In: Johansson, B., Andersson, B., Holmberg, N. (eds.) BIR 2014. LNBIP, vol. 194, pp. 231–245. Springer, Heidelberg (2014) Google Scholar
  9. 9.
    Jalali, A., Wohed, P., Ouyang, C.: Operational semantics of aspects in business process management. In: Herrero, P., Panetto, H., Meersman, R., Dillon, T. (eds.) OTM-WS 2012. LNCS, vol. 7567, pp. 649–653. Springer, Heidelberg (2012) CrossRefGoogle Scholar
  10. 10.
    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., De Leenheer, P., Dou, D. (eds.) ODBASE 2013. LNCS, vol. 8185, pp. 2–20. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  11. 11.
    Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327–354. Springer, Heidelberg (2001) CrossRefGoogle Scholar
  12. 12.
    Polyvyanyy, A., Weidlich, M.: Towards a compendium of process technologies: The jbpt library for process model analysis. In: CAiSE 2013 Forum, pp. 106–113 (2013)Google Scholar
  13. 13.
    Rashid, A., Sawyer, P., Moreira, A., Araújo, J.: Early aspects: a model for aspect-oriented requirements engineering. In: Requirements Engineering, pp. 199–202. IEEE (2002)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Stockholm UniversityStockholmSweden

Personalised recommendations