Advertisement

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)

Abstract

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 http://dcr.itu.dk/icsoc16.

References

  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). http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
  4. 4.
    Business Process Model and Notation (BPMN), Version 2.0 (2011). http://www.omg.org/spec/BPMN/2.0/PDF
  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). http://ceur-ws.org/Vol-1439/paper9.pdf
  9. 9.
    Eshuis, R., Debois, S., Slaats, T., Hildebrandt, T.: Deriving consistent GSM schemas from DCR graphs (full version). IT University of Copenhagen (2016). http://itu.dk/people/debois/tr.pdf
  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. http://DCRGraphs.net
  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). http://dx.doi.org/10.1142/S021884301550001X
  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