Skip to main content
SpringerLink
Log in

Specifying Artifact-Centric Business Process Models in UML

  • Conference paper
  • First Online:
Business Modeling and Software Design (BMSD 2014)

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

Included in the following conference series:

Abstract

In recent years, the artifact-centric approach to process modeling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing this in mind, this paper proposes a way to specify artifact-centric business process models by means of well-known UML diagrams, from a high-level of abstraction and with a technology-independent perspective. UML is a graphical language, widely used and with a precise semantics.

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

Access this chapter

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

Institutional subscriptions

Notes

  1. 1.

    Notice that we have not included the attribute types in the class diagram. This helps keeping it more compact. The types can be inferred from the OCL operation contracts.

  2. 2.

    Condition “All orders received” is defined in OCL as: self.order -> forAll(o | o.oclIsTypeOf(ReceivedOrder)).

References

  1. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., De Masellis, R., Felli, P.: Foundations of relational artifacts verification. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 379–395. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  2. Bagheri Hariri, B., et al.: Verification of relational data-centric dynamic systems with external services. In: PODS, pp. 163–174. ACM (2013)

    Google Scholar 

  3. Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of deployed artifact systems via data abstraction. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) Service Oriented Computing. LNCS, vol. 7084, pp. 142–156. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  4. Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifact-centered operational modeling: lessons from customer engagements. IBM Syst. J. 46, 703–721 (2007)

    Article  Google Scholar 

  5. Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288–304. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Bhattacharya, K., Hull, R., Su, J.: A data-centric design methodology for business processes. In: Handbook of Research on Business Process Management, pp. 1–28 (2009)

    Google Scholar 

  7. Calvanese, D., De Giacomo, G., Lembo, D., Montali, M., Santoso, A.: Ontology-based governance of data-aware processes. In: Krötzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 25–41. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  8. Calvanese, D., Montali, M., Estañol, M., Teniente, E.: Verifiable UML artifact-centric business process models. In: Li, J., Wang, X.S., Garofalakis, M.N., Soboroff, I., Suel, T., Wang, M. (eds.) CIKM 2014, pp. 1289–1298. ACM (2014)

    Google Scholar 

  9. Cangialosi, P., De Giacomo, G., De Masellis, R., Rosati, R.: Conjunctive artifact-centric services. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 318–333. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  10. Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst. 37, 22 (2012)

    Article  Google Scholar 

  11. 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(4), 561–584 (2011). special section on BPM 2011 conference

    Article  Google Scholar 

  12. Estañol, M., Queralt, A., Sancho, M.R., Teniente, E.: Artifact-centric business process models in UML. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 292–303. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  13. Estañol, M., Queralt, A., Sancho, M.R., Teniente, E.: Using UML to specify artifact-centric business process models. In: BMSD 2014 : Proceedings of the Fourth International Symposium on Business Modeling and Software Design, pp. 84–93. SciTePress (2014)

    Google Scholar 

  14. Estañol, M., Queralt, A., Sancho, M.R., Teniente, E.: Specifying artifact-centric business process models in UML. Technical report (2014). https://dl.dropboxusercontent.com/u/6613982/technical_report.pdf

  15. Estañol, M., Sancho, M.-R., Teniente, E.: Reasoning on UML data-centric business process models. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 437–445. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  16. Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P.: Behavioral conformance of artifact-centric process models. In: Abramowicz, W. (ed.) BIS 2011. LNBIP, vol. 87, pp. 37–49. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  17. Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based business processes. In: Fagin, R. (ed.) ICDT 2009, vol. 361, pp. 225–238. ACM (2009)

    Google Scholar 

  18. Gerede, C.E., Su, J.: Specification and verification of artifact behaviors in business process models. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 181–192. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  19. Hull, R.: Artifact-centric business process models: brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1152–1163. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  20. Hull, R., et al.: Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In: Eyers, D.M., Etzion, O., Gal, A., Zdonik, S.B., Vincent, P. (eds.) DEBS, pp. 51–62. ACM (2011)

    Google Scholar 

  21. Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1–24. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  22. ISO: ISO/IEC 19505–2:2012 - OMG UML superstructure 2.4.1 (2012). http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=52854

  23. Kucukoguz, E., Su, J.: On lifecycle constraints of artifact-centric workflows. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 71–85. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  24. Künzle, V., Reichert, M.: Philharmonicflows: towards a framework for object-aware process management. J. Softw. Maintenance 23, 205–244 (2011)

    Article  Google Scholar 

  25. Liu, R., Bhattacharya, K., Wu, F.Y.: Modeling business contexture and behavior using business artifacts. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 324–339. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  26. Lohmann, N., Wolf, K.: Artifact-centric choreographies. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 32–46. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  27. Ly, L.T., Rinderle, S., Dadam, P.: Semantic correctness in adaptive process management systems. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 193–208. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  28. Meyer, A., Pufahl, L., Fahland, D., Weske, M.: Modeling and enacting complex data dependencies in business processes. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 171–186. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  29. Nigam, A., Caswell, N.S.: Business artifacts: an approach to operational specification. IBM Syst. J. 42, 428–445 (2003)

    Article  Google Scholar 

  30. Olivé, A.: Conceptual Modeling of Information Systems. Springer, Heidelberg (2007)

    Google Scholar 

  31. Queralt, A., Teniente, E.: Specifying the semantics of operation contracts in conceptual modeling. In: Spaccapietra, S. (ed.) Journal on Data Semantics VII. LNCS, vol. 4244, pp. 33–56. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  32. Trčka, N., van der Aalst, W.M.P., Sidorova, N.: Data-flow anti-patterns: discovering data-flow errors in workflows. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 425–439. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  33. Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007)

    Google Scholar 

  34. Yourdon, E.: Just enough structured analysis (2006). http://www.yourdon.com/jesa/pdf/JESA_p.pdf

Download references

Acknowledgements

This work has been partially supported by the Ministerio de Ciencia e Innovación under project TIN2011-24747 and by Universitat Politècnica de Catalunya.

Author information

Authors and Affiliations

  1. Universitat Politècnica de Catalunya, Barcelona, Spain

    Montserrat Estañol, Maria-Ribera Sancho & Ernest Teniente

  2. Barcelona Supercomputing Center, Barcelona, Spain

    Anna Queralt & Maria-Ribera Sancho

Authors
  1. Montserrat Estañol
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anna Queralt
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maria-Ribera Sancho
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ernest Teniente
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Montserrat Estañol .

Editor information

Editors and Affiliations

  1. Bulgarian Academy of Sciences - BAS and Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology – IICREST, Sofia, Bulgaria

    Boris Shishkov

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Estañol, M., Queralt, A., Sancho, MR., Teniente, E. (2015). Specifying Artifact-Centric Business Process Models in UML. In: Shishkov, B. (eds) Business Modeling and Software Design. BMSD 2014. Lecture Notes in Business Information Processing, vol 220. Springer, Cham. https://doi.org/10.1007/978-3-319-20052-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-20052-1_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-20051-4

  • Online ISBN: 978-3-319-20052-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation