Skip to main content
SpringerLink
Log in

Modeling Behavioral Deontic Constraints Using UML and OCL

  • Conference paper
  • First Online:
Conceptual Modeling (ER 2020)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 12400))

Included in the following conference series:

Abstract

Business rules specify the required or desirable states of affairs or behavior of IT systems, and typically involve deontic constraints that must be adequately specified to enable their appropriate representation and effective analysis. Such deontic constraints focus on the permitted actions and obligations of the agents to carry them out. In this paper we present a proposal to explicitly specify dynamic deontic constraints in UML and OCL so that, on the one hand, they can guide and restrict the system behavior and, on the other hand, allow us to reason about such deontic behavior, including accountability analysis.

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

References

  1. Büttner, F., Gogolla, M.: On OCL-based imperative languages. Sci. Comput. Program. 92, 162–178 (2014). https://doi.org/10.1016/j.scico.2013.10.003

    Article  Google Scholar 

  2. Desai, N., Gogolla, M., Hilken, F.: Executing models by filmstripping: enhancing validation by filmstrip templates and transformation alternatives. In: Proceedings of MODELS 2017 Workshops. CEUR Workshop Proceedings, vol. 2019, pp. 88–94. CEUR-WS.org (2017). http://ceur-ws.org/Vol-2019/exe_2.pdf

  3. Gogolla, M., Hamann, L., Hilken, F., Kuhlmann, M., France, R.B.: From application models to filmstrip models: an approach to automatic validation of model dynamics. In: Proceedings of Modellierung 2014. LNI, vol. 225, pp. 273–288. GI (2014)

    Google Scholar 

  4. Gogolla, M., Hilken, F., Doan, K.H.: Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54, 474–511 (2018). https://doi.org/10.1016/j.cl.2017.10.001

    Article  Google Scholar 

  5. Gogolla, M., Hilken, F., Doan, K., Desai, N.: Checking UML and OCL model behavior with filmstripping and classifying terms. In: Proceedings of TAP 2017. LNCS, vol. 10375, pp. 119–128. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61467-0_7

  6. Gogolla, M., Vallecillo, A.: On softening OCL invariants. J. Object Technol. 18(2), 6:1–6:22 (2019). https://doi.org/10.5381/jot.2019.18.2.a6

  7. Halpin, T.: Business rule modality (2008). http://www.orm.net/pdf/RuleModality.pdf

  8. Halpin, T.: Object-Role Modeling Fundamentals. Technics Publications (2015)

    Google Scholar 

  9. Hilken, F., Gogolla, M.: Verifying linear temporal logic properties in UML/OCL class diagrams using filmstripping. In: Proceedings of DSD 2016, pp. 708–713. IEEE Computer Society (2016). https://doi.org/10.1109/DSD.2016.42

  10. Hilken, F., Hamann, L., Gogolla, M.: Transformation of UML and OCL models into filmstrip models. In: Proceedings of ICMT 2014. LNCS, vol. 8568, pp. 170–185. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-319-08789-4_13

  11. van den Hoven, J.: Ethics for the digital age: where are the moral specs? In: Proceedings of ECSS 2015 Informatics in the Future, pp. 65–76 (2015). https://doi.org/10.1007/978-3-319-55735-9_6

  12. ISO/IEC 15414, ITU-T Rec. X.911: Information technology - Open distributed processing - Reference model - Enterprise language. ISO/IEC and ITU-T (2015)

    Google Scholar 

  13. ISO/IEC 19793, ITU-T Rec. X.906: Information technology - Open distributed processing - Use of UML for ODP system specifications. ISO/IEC, ITU-T (2015)

    Google Scholar 

  14. Kuhlmann, M., Hamann, L., Gogolla, M.: Extensive validation of OCL models by integrating SAT solving into USE. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol. 6705, pp. 290–306. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21952-8_21

    Chapter  Google Scholar 

  15. Linington, P.F., Milosevic, Z., Tanaka, A., Vallecillo, A.: Building Enterprise Systems with ODP – An Introduction to Open Distributed Processing. Chapman & Hall/CRC Press (2012)

    Google Scholar 

  16. Linington, P.F., Miyazaki, H., Vallecillo, A.: Obligations and delegation in the ODP enterprise language. In: Proceedings of VORTE 2012 (EDOC Workshops), pp. 146–155. IEEE Computer Society (2012). https://doi.org/10.1109/EDOCW.2012.28

  17. Linington, P.F., Neal, S.: Using policies in the checking of business to business contracts. In: Proceedings of POLICY 2003, pp. 207–218. IEEE Computer Society (2003). https://doi.org/10.1109/POLICY.2003.1206975

  18. Meyer, J.C., Weigand, H., Wieringa, R.J.: A specification language for static, dynamic and deontic integrity constraints. In: Proceedings of MFDBS 1989. LNCS, vol. 364, pp. 347–366. Springer, Jeidelberg (1989). https://doi.org/10.1007/3-540-51251-9_23

  19. Milosevic, Z.: Ethics in digital health: a deontic accountability framework. In: Proceedings of EDOC 2019, pp. 105–111. IEEE (2019). https://doi.org/10.1109/EDOC.2019.00022

  20. Milosevic, Z.: Enacting policies in digital health: a case for smart legal contracts and distributed ledgers? Knowl. Eng. Rev. 35, e6 (2020). https://doi.org/10.1017/S0269888920000089

    Article  Google Scholar 

  21. Object Management Group: Semantics Of Business Vocabulary And Rules. Version 1.5 (Dec 2019), OMG document formal/19-10-02

    Google Scholar 

  22. Ramos, P.N.: Deontic database constraints - from UML to SQL. In: Proceedings of ICEIS 2013, pp. 102–109. SciTePress (2013). https://doi.org/10.5220/0004415801020109

  23. Rönnedal, D.: An Introduction to Deontic Logic. CreateSpace (2010)

    Google Scholar 

  24. Solhaug, B., Stølen, K.: Compositional refinement of policies in UML - exemplified for access control. In: Proceedings of ESORICS 2008. LNCS, vol. 5283, pp. 300–316. Springer, Cham (2008). https://doi.org/10.1007/978-3-540-88313-5_20

  25. Wieringa, R.J., Meyer, J.C., Weigand, H.: Specifying dynamic and deontic integrity constraints. Data Knowl. Eng. 4, 157–189 (1989). https://doi.org/10.1016/0169-023X(89)90038-4

    Article  Google Scholar 

Download references

Acknowledgment

We would like to thank the reviewers for their constructive and helpful comments on previous versions of this paper. This work has been partially supported by Spanish Research Project PGC2018-094905-B-I00.

Author information

Authors and Affiliations

  1. ITIS Software, Universidad de Málaga, Málaga, Spain

    Antonio Vallecillo

  2. University of Bremen, Bremen, Germany

    Martin Gogolla

Authors
  1. Antonio Vallecillo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Antonio Vallecillo .

Editor information

Editors and Affiliations

  1. University of Auckland, Auckland, New Zealand

    Gillian Dobbie

  2. University of Duisburg-Essen, Essen, Germany

    Ulrich Frank

  3. TU Wien, Vienna, Austria

    Gerti Kappel

  4. Brigham Young University, Provo, UT, USA

    Stephen W. Liddle

  5. University of Klagenfurt, Klagenfurt am Wörthersee, Austria

    Heinrich C. Mayr

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Vallecillo, A., Gogolla, M. (2020). Modeling Behavioral Deontic Constraints Using UML and OCL. In: Dobbie, G., Frank, U., Kappel, G., Liddle, S.W., Mayr, H.C. (eds) Conceptual Modeling. ER 2020. Lecture Notes in Computer Science(), vol 12400. Springer, Cham. https://doi.org/10.1007/978-3-030-62522-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-62522-1_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-62521-4

  • Online ISBN: 978-3-030-62522-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation