Using UML to Specify Artifact-centric Business Process Models

Montserrat Estañol, Anna Queralt, Maria-Ribera Sancho, Ernest Teniente

2014

Abstract

Business process modeling using an artifact-centric approach has raised a significant interest over the last few years. One of the research challenges in this area is looking for different approaches to represent all the dimensions in artifact-centric business process models. Bearing this in mind, the present paper proposes how to specify artifact-centric business process models by means of diagrams based on UML. The advantages of basing our work on UML are many: it is a semi-formal language with a precise semantics; it is widely used and easy to understand; and it provides an artifact-centric specification which incorporates also some aspects of process-awareness.

References

  1. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., De Masellis, R., and Felli, P. (2011). Foundations of relational artifacts verification. In Rinderle-Ma, S., Toumani, F., and Wolf, K., editors, BPM 2011, volume 6896 of LNCS, pages 379-395. Springer.
  2. Bagheri Hariri, B. et al. (2013). Verification of relational data-centric dynamic systems with external services. In PODS, pages 163-174. ACM.
  3. Belardinelli, F., Lomuscio, A., and Patrizi, F. (2011). Verification of deployed artifact systems via data abstraction. In Kappel, G., Maamar, Z., and Nezhad, H. R. M., editors, ICSOC 2011, volume 7084 of LNCS, pages 142-156. Springer Berlin Heidelberg.
  4. Bhattacharya, K., Caswell, N. S., Kumaran, S., Nigam, A., and Wu, F. Y. (2007a). Artifact-centered operational modeling: lessons from customer engagements. IBM Syst. J., 46(4):703-721.
  5. Bhattacharya, K., Gerede, C., Hull, R., Liu, R., and Su, J. (2007b). Towards formal analysis of artifact-centric business process models. In Alonso, G., Dadam, P., and Rosemann, M., editors, BPM 2007, volume 4714 of LNCS, pages 288-304. Springer.
  6. Bhattacharya, K., Hull, R., and Su, J. (2009). A DataCentric Design Methodology for Business Processes. In Handbook of Research on Business Process Management, pages 1-28.
  7. Calvanese, D., Giacomo, G. D., Lembo, D., Montali, M., and Santoso, A. (2012). Ontology-based governance of data-aware processes. In Krötzsch, M. and Straccia, U., editors, RR, volume 7497 of LNCS, pages 25-41. Springer.
  8. Cangialosi, P., Giacomo, G. D., Masellis, R. D., and Rosati, R. (2010). Conjunctive artifact-centric services. In Maglio, P. P., Weske, M., Yang, J., and Fantinato, M., editors, ICSOC 2010, volume 6470 of LNCS, pages 318-333. Springer.
  9. Damaggio, E., Deutsch, A., Hull, R., and Vianu, V. (2011). Automatic verification of data-centric business processes. In Rinderle-Ma, S., Toumani, F., and Wolf, K., editors, BPM 2011, volume 6896, pages 3-16. Springer.
  10. Damaggio, E., Deutsch, A., and Vianu, V. (2012). Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst., 37(3):22.
  11. Damaggio, E., Hull, R., and Vaculín, R. (2013). On the equivalence of incremental and fixpoint semantics for business artifacts with Guard Stage Milestone lifecycles. Information Systems, 38(4):561 - 584. Special section on BPM 2011 conference.
  12. Estan˜ol, M., Queralt, A., Sancho, M. R., and Teniente, E. (2013). Artifact-centric business process models in UML. In La Rosa, M. and Soffer, P., editors, Business Process Management Workshops 2012, volume 132 of LNBIP, pages 292-303. Springer.
  13. Fahland, D., Leoni, M. D., van Dongen, B. F., and van der Aalst, W. M. P. (2011). Behavioral conformance of artifact-centric process models. In Abramowicz, W., editor, BIS 2011, volume 87 of LNBIP, pages 37-49. Springer.
  14. Fritz, C., Hull, R., and Su, J. (2009). Automatic construction of simple artifact-based business processes. In Fagin, R., editor, ICDT 2009, volume 361, pages 225- 238. ACM.
  15. Hull, R. (2008). Artifact-centric business process models: Brief survey of research results and challenges. In Meersman, R. and Tari, Z., editors, OTM 2008, volume 5332 of LNCS, pages 1152-1163. Springer Berlin / Heidelberg.
  16. Hull, R. et al. (2011a). Business artifacts with guard-stagemilestone lifecycles: managing artifact interactions with conditions and events. In Eyers, D. M., Etzion, O., Gal, A., Zdonik, S. B., and Vincent, P., editors, DEBS, pages 51-62. ACM.
  17. Hull, R. et al. (2011b). Introducing the Guard-StageMilestone Approach for Specifying Business Entity Lifecycles. In Bravetti, M. and Bultan, T., editors, WS-FM 2010, volume 6551 of LNCS, pages 1-24.
  18. ISO (2012). ISO/IEC 19505-2:2012 - OMG UML superstructure 2.4.1. Available at: http://www.iso.org/ iso/iso catalogue/catalogue tc/catalogue detail.htm? csnumber=52854.
  19. ISO (2012). ISO/IEC 19507:2012 - OMG OCL version 2.3.1. Available at: http://www.iso.org/ Kucukoguz, E. and Su, J. (2011). On lifecycle constraints of artifact-centric workflows. In Bravetti, M. and Bultan, T., editors, WS-FM 2010, volume 6551 of LNCS, pages 71-85. Springer.
  20. Liu, R., Bhattacharya, K., and Wu, F. Y. (2007). Modeling Business Contexture and Behavior Using Business Artifacts. In Krogstie, J., Opdahl, A., and Sindre, G., editors, CAiSE 2007, volume 4495 of LNCS, pages 324-339. Springer.
  21. Lohmann, N. and Wolf, K. (2010). Artifact-Centric Choreographies. In Maglio, P. P., Weske, M., Yang, J., and Fantinato, M., editors, ICSOC 2010, volume 6470 of LNCS, pages 32-46. Springer.
  22. Ly, L. T., Rinderle, S., and Dadam, P. (2006). Semantic Correctness in Adaptive Process Management Systems. In Dustdar, S., Fiadeiro, J., and Sheth, A., editors, BPM 2006, volume 4102 of LNCS, pages 193-208. LNCS.
  23. Nigam, A. and Caswell, N. S. (2003). Business artifacts: An approach to operational specification. IBM Syst. J., 42(3):428-445.
  24. Olivé, A. (2007). Conceptual Modeling of Information Systems. Springer, Berlin.
  25. Queralt, A. and Teniente, E. (2006). Specifying the semantics of operation contracts in conceptual modeling. In Journal on Data Semantics VII, volume 4244 of LNCS, pages 33-56. Springer Berlin / Heidelberg.
  26. Queralt, A. and Teniente, E. (2012). Verification and validation of UML conceptual schemas with OCL constraints. ACM Trans. Softw. Eng. Methodol., 21(2):13.
  27. Trcka, N., Aalst, W. M. P. V. D., and Sidorova, N. (2009). Data-Flow Anti-patterns : Discovering Data-Flow Errors in Workflows. In van Eck, P., Gordijn, J., and Wieringa, R., editors, CAiSE 2009, volume 5565 of LNCS, pages 425-439.
  28. Weske, M. (2007). Business Process Management: Concepts, Languages, Architectures. Springer, Berlin Heidelberg.
Download


Paper Citation


in Harvard Style

Estañol M., Queralt A., Sancho M. and Teniente E. (2014). Using UML to Specify Artifact-centric Business Process Models . In Proceedings of the Fourth International Symposium on Business Modeling and Software Design - Volume 1: BMSD, ISBN 978-989-758-032-1, pages 84-93. DOI: 10.5220/0005424600840093


in Bibtex Style

@conference{bmsd14,
author={Montserrat Estañol and Anna Queralt and Maria-Ribera Sancho and Ernest Teniente},
title={Using UML to Specify Artifact-centric Business Process Models},
booktitle={Proceedings of the Fourth International Symposium on Business Modeling and Software Design - Volume 1: BMSD,},
year={2014},
pages={84-93},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005424600840093},
isbn={978-989-758-032-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Symposium on Business Modeling and Software Design - Volume 1: BMSD,
TI - Using UML to Specify Artifact-centric Business Process Models
SN - 978-989-758-032-1
AU - Estañol M.
AU - Queralt A.
AU - Sancho M.
AU - Teniente E.
PY - 2014
SP - 84
EP - 93
DO - 10.5220/0005424600840093