Skip to main content
SpringerLink
Log in
Book cover

International Conference on Business Process Management

BPM 2013: Business Process Management Workshops pp 141–154Cite as

Towards a Reference Implementation for Data Centric Dynamic Systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 171))

Abstract

Data- and artifact-centric business processes are gaining momentum due to their ability of explicitly capturing the interplay between the process control-flow and the manipulated data. In this paper, we rely on the framework of Data-Centric Dynamic Systems (DCDSs), which has been recently introduced for the formal specification and verification of data-centric processes, showing how it can be lifted towards run-time execution support. In particular, we focus on the problem of database update as induced by the action execution, introducing a set of patterns that allow for an incremental management of the update. At the same time, we discuss the natural correspondence between DCDSs and state-of-the-art rule engines, e.g., JBoss Drools, which paves the way towards a reference implementation for data- and artifact-centric processes, where the model used for analysis and verification is fully aligned with the one adopted for the execution.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    http://www.omg.org/spec/CMMN/1.0/Beta1/

  2. 2.

    \({\textsc {adom}}({\mathcal {I}}_0)\) is the set of constants/values mentioned in the initial database instance \({\mathcal {I}}_0\).

  3. 3.

    We assume here two-way blocking service calls.

  4. 4.

    Notice that the \(\mathsf {read}\) operation is in fact already supported through queries over the data layer.

  5. 5.

    http://www.jboss.org/drools/

  6. 6.

    Conditions defined in a query or in CA rules are referred to as patterns, and the process of matching patterns against the data is called pattern matching.

References

  1. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of PODS (2013)

    Google Scholar 

  2. Calvanese, D., De Giacomo, G., Montali, M.: Foundations of Data-Aware Process Analysis: A Database Theory Perspective. In: Proceedings of PODS (2013)

    Google Scholar 

  3. Cohn, D., Dhoolia, P., Heath III, F., Pinel, F., Vergo, J.: Siena: from powerpoint to web app in 5 minutes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 722–723. Springer, Heidelberg (2008)

    Google Scholar 

  4. Dumas, M.: On the convergence of data and process engineering. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds.) ADBIS 2011. LNCS, vol. 6909, pp. 19–26. Springer, Heidelberg (2011)

    Google Scholar 

  5. Hull, R., Damaggio, E., De Masellis, R. et al.: Business Artifacts with Guard-Stage-Milestone Lifecycles: Managing Artifact Interactions with Conditions and Events. In: Proceedings of DEBS ’11 (2011)

    Google Scholar 

  6. Kunzle, V., Reichert, M.: PHILharmonicFlows: towards a framework for object-aware process management. J. Softw. Maint. Evol.: Res. Pract. 23(4), 205–244 (2011)

    Article  Google Scholar 

  7. Kunzle, V., Weber, B., Reichert, M.: Object-aware business processes: fundamental requirements and their support in existing approaches. Int. J. Inf. Syst. Model. Design (IJISMD) 2(2), 19–46 (2011)

    Article  Google Scholar 

  8. Meyer, A., Smirnov, S., Weske, M.: Data in business processes. EMISA Forum 31(3), 5–31 (2011)

    Google Scholar 

  9. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full support for loosely-structured processes. In: Proceedings of EDOC (2007)

    Google Scholar 

  10. Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns: identification, representation and tool support. In: Delcambre, L.M.L., Kop, Ch., Mayr, H.C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. LNCS, vol. 3716, pp. 353–368. Springer, Heidelberg (2005)

    Google Scholar 

  11. Solomakhin, D., Montali, M., Tessaris, S., De Masellis, R.: Verification of artifact-centric systems: decidability and modeling issues. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 252–266. Springer, Heidelberg (2013)

    Google Scholar 

  12. Swenson, K.D. (ed.): Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer Press, Tampa (2010)

    Google Scholar 

  13. Vaculin, R., Hull, R., Heath, T., Cochran, C., Nigam, A., Sukaviriya, P.: Declarative business artifact centric modeling of decision and knowledge intensive business processes. In: Proceedings of EDOC 2011 (2011)

    Google Scholar 

Download references

Acknowledgments

This work has been partially supported by the Sapienza grants TESTMED, SUPER and “Premio Ricercatori Under-40”, and by the EU FP7-ICT Project ACSI (257593).

Author information

Authors and Affiliations

  1. DIAG, Sapienza Università di Roma, Rome, Italy

    Alessandro Russo, Massimo Mecella & Fabio Patrizi

  2. KRDB Research Centre, Free University of Bozen-Bolzano, Bolzano, Italy

    Marco Montali

Authors
  1. Alessandro Russo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Massimo Mecella
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marco Montali
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Fabio Patrizi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alessandro Russo .

Editor information

Editors and Affiliations

  1. University of Rostock, Rostock, Germany

    Niels Lohmann

  2. Ulsan National Institute of Science and Technology, Ulsan, Korea, Republic of (South Korea)

    Minseok Song

  3. Stockholm University, Stockholm, Sweden

    Petia Wohed

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Russo, A., Mecella, M., Montali, M., Patrizi, F. (2014). Towards a Reference Implementation for Data Centric Dynamic Systems. In: Lohmann, N., Song, M., Wohed, P. (eds) Business Process Management Workshops. BPM 2013. Lecture Notes in Business Information Processing, vol 171. Springer, Cham. https://doi.org/10.1007/978-3-319-06257-0_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-06257-0_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-06256-3

  • Online ISBN: 978-3-319-06257-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation