Deriving Consistent GSM Schemas from DCR Graphs

  • Rik Eshuis
  • Søren DeboisEmail author
  • Tijs Slaats
  • Thomas Hildebrandt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9936)


Case Management (CM) is a BPM technology for supporting flexible services orchestration. CM approaches like CMMN, an OMG standard, and GSM, one of CMMN’s core influences, use Event-Condition-Action rules, which can be inconsistent due to cyclic inter-dependencies between the rules; repairing such an inconsistent case management schema is difficult. To avoid the problem of inconsistencies altogether, we provide a technique for automatically deriving consistent GSM case management schemas from higher-level business policies defined as DCR graphs, an alternative CM approach. Concretely, we define a behaviour-preserving mapping that (1) removes the burden from the modeller of GSM schemas to prove consistency and define the ordering of rules, (2) provides high-level patterns for modelling GSM schemas, and (3) gives a way to define a notion of progress (liveness) and acceptance for GSM instances. The mapping is illustrated by a running example of a mortgage loan application; and a prototype implementation available at


  1. 1.
    van der Aalst, W.M.P., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1–23. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    BizAgi, et al.: Case Management Model and Notation (CMMN), v1, OMG Document Number formal/2014-05-05, Object Management Group, May 2014Google Scholar
  3. 3.
    Web Services Business Process Execution Language (BPEL), Version 2.0 (2007).
  4. 4.
    Business Process Model and Notation (BPMN), Version 2.0 (2011).
  5. 5.
    Damaggio, E., Hull, R., Vaculín, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. Inf. Syst. 38, 561–584 (2013)CrossRefGoogle Scholar
  6. 6.
    Debois, S., Slaats, T.: The analysis of a real life declarative process. In: CIDM 2015, pp. 1374–1382 (2015)Google Scholar
  7. 7.
    Debois, S., Hildebrandt, T., Slaats, T.: Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. In: Bjørner, N., Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 143–160. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  8. 8.
    Debois, S., Hildebrandt, T.T., Marquard, M., Slaats, T.: Hybrid process technologies in the financial sector. In: BPM 2015 (Industry track), pp. 107–119 (2015).
  9. 9.
    Eshuis, R., Debois, S., Slaats, T., Hildebrandt, T.: Deriving consistent GSM schemas from DCR graphs (full version). IT University of Copenhagen (2016).
  10. 10.
    Eshuis, R., Hull, R., Sun, Y., Vaculín, R.: Splitting GSM schemas: a framework for outsourcing of declarative artifact systems. Inf. Syst. 46, 157–187 (2014)CrossRefGoogle Scholar
  11. 11.
    Eshuis, R., Van Gorp, P.: Synthesizing data-centric models from business process models. Computing 98(4), 345–373 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Exformatics: Dcrgraphs editor and simulator.
  13. 13.
    Gonzalez, P., Griesmayer, A., Lomuscio, A.: Verifying GSM-based business artifacts. In: Proceedings of the 2012 IEEE 19th International Conference on Web Services (ICWS), pp. 25–32. IEEE Computer Society (2012)Google Scholar
  14. 14.
    Heath, F., Vaculín, R., Hull, R.: Barcelona: a design and runtime environment for modeling and execution of artifact-centric business processes. In: Proceedings of the 9th International Conference on Business Process Management, BPM (2011)Google Scholar
  15. 15.
    Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: PLACES, pp. 59–73 (2010)Google Scholar
  16. 16.
    Marin, M., Hull, R., Vaculín, R.: Data centric BPM and the emerging case management standard: a short survey. In: Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 24–30. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  17. 17.
    Marquard, M., Shahzad, M., Slaats, T.: Web-based modelling and collaborative simulation of declarative processes. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM. LNCS, vol. 9253, pp. 209–225. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  18. 18.
    Mukkamala, R.R.: A formal model for declarative workflows: dynamic condition response graphs. Ph.D. thesis, IT University of Copenhagen, June 2012Google Scholar
  19. 19.
    Popova, V., Fahland, D., Dumas, M.: Artifact lifecycle discovery. Int. J. Coop. Inf. Syst. 24(1) (2015).
  20. 20.
    Sadoghi, M., Jergler, M., Jacobsen, H., Hull, R., Vaculín, R.: Safe distribution and parallel execution of data-centric workflows over the publish/subscribe abstraction. IEEE Trans. Knowl. Data Eng. 27(10), 2824–2838 (2015)CrossRefGoogle Scholar
  21. 21.
    Slaats, T., Mukkamala, R.R., Hildebrandt, T., Marquard, M.: Exformatics declarative case management workflows as DCR graphs. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 339–354. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  22. 22.
    Solomakhin, D., Montali, M., Tessaris, S.: Formalizing guard-stage-milestone meta-models as data-centric dynamic systems. Technical report (2012)Google Scholar
  23. 23.
    Swenson, K.D.: Mastering the Unpredictable: How Adaptive Case Management will Revolutionize the Way that Knowledge Workers Get Things Done. Meghan-Kiffer, Tampa (2010)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Rik Eshuis
    • 1
  • Søren Debois
    • 2
    • 3
    Email author
  • Tijs Slaats
    • 2
    • 4
  • Thomas Hildebrandt
    • 2
  1. 1.School of Industrial EngineeringEindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.IT University of CopenhagenCopenhagenDenmark
  3. 3.Exformatics A/SCopenhagenDenmark
  4. 4.Department of Computer ScienceUniversity of CopenhagenCopenhagenDenmark

Personalised recommendations