Splitting GSM schemas: A framework for outsourcing of declarative artifact systems
Rik Eshuis · 2013
Abstract. Case Management is emerging as an important paradigm for Business Process Management. The Guard-Stage-Milestone (GSM) model is a recent case management approach that substantially influences OMG’s emerging Case Man-agement Modeling Notation standard. We study the problem of outsourcing part of a GSM schema to another party, and develop a framework that supports split-ting and outsourcing of GSM schemas. One element of the framework focuses on restructuring the GSM schema to facilitate outsourcing while preserving the semantics of the original schema; the second focuses on locking protocols that define how the distributed parties should operate. Additionally, the framework allows parties to keep local parts of their GSM subschema private without affect-ing the outcomes of the global execution. The rules restructuring developed here enables a crisp separation of concerns, which allows reuse of existing GSM (and thus Case Management) engines for executing the subschemas. 1