Skip to main content
SpringerLink
Log in

Static Weaving in Aspect Oriented Business Process Management

  • Conference paper
  • First Online:
Conceptual Modeling (ER 2015)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 9381))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    The superscript N for a set specifies the net that contains the elements of the set.

References

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  3. van der Aalst, W.M.P.: Woflan: a petri-net-based workflow analyzer. Syst. Anal. Model. Simul. 35(3), 345–358 (1999)

    MATH  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. Stockholm University, Stockholm, Sweden

    Amin Jalali

Authors
  1. Amin Jalali
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Amin Jalali .

Editor information

Editors and Affiliations

  1. Stockholm University, Kista, Sweden

    Paul Johannesson

  2. National University of Singapore, Singapore, Singapore

    Mong Li Lee

  3. Brigham Young University, Provo, Utah, USA

    Stephen W. Liddle

  4. University of Bergen, Bergen, Norway

    Andreas L. Opdahl

  5. Universidad Politécnica de Valencia, Valencia, Spain

    Óscar Pastor López

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Jalali, A. (2015). Static Weaving in Aspect Oriented Business Process Management. In: Johannesson, P., Lee, M., Liddle, S., Opdahl, A., Pastor López, Ó. (eds) Conceptual Modeling. ER 2015. Lecture Notes in Computer Science(), vol 9381. Springer, Cham. https://doi.org/10.1007/978-3-319-25264-3_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25264-3_41

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25263-6

  • Online ISBN: 978-3-319-25264-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation