Declarative Enhancement Framework for Business Processes

  • Heerko Groefsema
  • Pavel Bulanov
  • Marco Aiello
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7084)


While Business Process Management (BPM) was designed to support rigid production processes, nowadays it is also at the core of more flexible business applications and has established itself firmly in the service world. Such a shift calls for new techniques. In this paper, we introduce a variability framework for BPM which utilizes temporal logic formalisms to represent the essence of a process, leaving other choices open for later customization or adaption. The goal is to solve two major issues of BPM: enhancing reusability and flexibility. Furthermore, by enriching the process modelling environment with graphical elements, the complications of temporal logic are hidden from the user.


BPM Variability Temporal Logic e-Government 


  1. 1.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1–12. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W., Jablonski, S.: Dealing with workflow change: Identification of issues and solutions. International Journal of Computer Systems, Science, and Engineering 15(5), 267–276 (2000)Google Scholar
  3. 3.
    Aiello, M., Bulanov, P., Groefsema, H.: Requirements and tools for variability management. In: IEEE Workshop on Requirement Engineering for Services (REFS 2010) at IEEE COMPSAC (2010)Google Scholar
  4. 4.
    Bandara, W., Indulska, M., Sadiq, S., Chong, S.: Major issues in business process management: an expert perspective. In: European Conference on Information Systems, ECIS (2007)Google Scholar
  5. 5.
    Dadam, P., Reichert, M.: The adept project: a decade of research and development for robust and flexible process support. Computer Science - R&D 23(2), 81–97 (2009)Google Scholar
  6. 6.
    Emerson, E.A., Halpern, J.Y.: Decision procedures and expressiveness in the temporal logic of branching time. In: Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, pp. 169–180 (1982)Google Scholar
  7. 7.
    Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H., Rosa, M.L.: Configurable workflow models. Int. J. Cooperative Inf. Syst. 17(2), 177–221 (2008)CrossRefGoogle Scholar
  8. 8.
    Hallerbach, A., Bauer, T., Reichert, M.: Managing process variants in the process life cycle. In: ICEIS, vol. (3-2), pp. 154–161 (2008)Google Scholar
  9. 9.
    Lu, R., Sadiq, S., Governatori, G.: On managing business processes variants. Data Knowl. Eng. 68(7), 642–664 (2009)CrossRefGoogle Scholar
  10. 10.
    Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-Based Workflow Models: Change Made Easy. In: Meersman, R. (ed.) OTM 2007, Part I. LNCS, vol. 4803, pp. 77–94. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Inf. Syst. 30(5), 349–378 (2005)CrossRefGoogle Scholar
  12. 12.
    Schonenberg, H., Mans, R., Russell, N., Mulyar, N., van der Aalst, W.M.P.: Process flexibility: A survey of contemporary approaches. In: Dietz, J.L.G., Albani, A., Barjis, J. (eds.) CIAO! / EOMAS. LNBIP, vol. 10, pp. 16–30. Springer, Heidelberg (2008)Google Scholar
  13. 13.
    Sinnema, M., Deelstra, S., Hoekstra, P.: The COVAMOF Derivation Process. In: Morisio, M. (ed.) ICSR 2006. LNCS, vol. 4039, pp. 101–114. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. 14.
    Sun, C., Rossing, R., Sinnema, M., Bulanov, P., Aiello, M.: Modelling and managing the variability of web service-based systems. Journal of Systems and Software 83, 502–516 (2010)CrossRefGoogle Scholar
  15. 15.
    Sun, C.-a., Aiello, M.: Towards Variable Service Compositions Using VxBPEL. In: Mei, H. (ed.) ICSR 2008. LNCS, vol. 5030, pp. 257–261. Springer, Heidelberg (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Heerko Groefsema
    • 1
  • Pavel Bulanov
    • 1
  • Marco Aiello
    • 1
  1. 1.Distributed Systems Group, Johann Bernoulli InstituteUniversity of GroningenGroningenThe Netherlands

Personalised recommendations