A grammatical approach to data-centric case management in a distributed collaborative environment

This paper presents a purely declarative approach to artifact-centric case management systems. Each case is presented as a tree-like structure; nodes bear information that combines data and computations. Each node belongs to a given stakeholder, and semantic rules govern the evolution of the tree structure, as well as how data values derive from information stemming from the context of the node. Stakeholders communicate through asynchronous message passing without shared memory, enabling convenient distribution.

[1]  Rik Eshuis,et al.  Splitting GSM schemas: A framework for outsourcing of declarative artifact systems , 2013, Inf. Syst..

[2]  Eric Van Wyk,et al.  Forwarding in Attribute Grammars for Modular Language Design , 2002, CC.

[3]  Clarence A. Ellis,et al.  ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems , 2000, Computer Supported Cooperative Work (CSCW).

[4]  João Saraiva,et al.  Functional Incremental Attribute Evaluation , 2000, CC.

[5]  Anil Nigam,et al.  Business artifacts: An approach to operational specification , 2003, IBM Syst. J..

[6]  Niels Lohmann,et al.  Artifact-Centric Choreographies , 2010, ICSOC.

[7]  João Saraiva,et al.  Generating Spreadsheet-Like Tools from Strong Attribute Grammars , 2003, GPCE.

[8]  Ralf Lämmel,et al.  Towards an engineering discipline for GRAMMARWARE Draft as of August 17 , 2003 , 2003 .

[9]  Richard Hull,et al.  On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles , 2013, Inf. Syst..

[10]  Ioana Manolescu,et al.  Active XML: A Data-Centric Perspective on Web Services , 2004, Web Dynamics.

[11]  Robert Giegerich,et al.  Attribute coupled grammars , 1984, SIGPLAN '84.

[12]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[13]  Donald E. Knuth,et al.  Semantics of context-free languages , 1968, Mathematical systems theory.

[14]  PaakkiJukka.  Attribute grammar paradigmsa high-level methodology in language implementation , 1995 .

[15]  Alberto Martelli,et al.  An Efficient Unification Algorithm , 1982, TOPL.

[16]  Ioana Manolescu,et al.  Active XML: Peer-to-Peer Data and Web Services Integration , 2002, VLDB.

[17]  Jukka Paakki,et al.  Attribute grammar paradigms—a high-level methodology in language implementation , 1995, CSUR.

[18]  Anna Philippou,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.

[19]  Richard Hull,et al.  Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events , 2011, DEBS '11.

[20]  João Saraiva,et al.  Designing and Implementing Combinator Languages , 1998, Advanced Functional Programming.

[21]  Eric Van Wyk,et al.  Implementing aspect-oriented programming constructs as modular language extensions , 2007, Sci. Comput. Program..

[22]  David F. Martin,et al.  An order-algebraic definition of knuthian semantics , 1979, Mathematical systems theory.

[23]  Kevin Backhouse,et al.  A Functional Semantics of Attribute Grammars , 2002, TACAS.

[24]  Brian H. Mayoh,et al.  Attribute Grammars and Mathematical Semantics , 1978, SIAM J. Comput..

[25]  Bruno Courcelle,et al.  Attribute Grammars and Recursive Program Schemes II , 1982, Theor. Comput. Sci..

[26]  Harald Ganzinger.  Increasing Modularity and Language-Independency in Automatically Generated Compilers , 1983, Sci. Comput. Program..

[27]  Giorgio De Michelis,et al.  Computer Supported Cooperative Work and Petri Nets , 1996, Petri Nets.

[28]  Alin Deutsch,et al.  Artifact systems with data dependencies and arithmetic , 2012, TODS.

[29]  S. Doaitse Swierstra,et al.  Higher order attribute grammars , 1989, PLDI '89.

[30]  Jan Maluszynski,et al.  Relating Logic Programs and Attribute Grammars , 1985, J. Log. Program..

[31]  Richard Hull,et al.  Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges , 2008, OTM Conferences.

[32]  Jan Maluszynski,et al.  A grammatical view of logic programming , 1988, PLILP.

[33]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[34]  Bruno Courcelle,et al.  Attribute Grammars and Recursive Program Schemes I , 1982, Theoretical Computer Science.

[35]  Thomas Johnsson,et al.  Attribute grammars as a functional programming paradigm , 1987, FPCA.