Skip to main content
SpringerLink
Log in

A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams

  • Conference paper
  • First Online:
Enterprise, Business-Process and Information Systems Modeling (BPMDS 2022, EMMSAD 2022)

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

Abstract

Software models are the basis of the Model-Driven Engineering paradigm. The most popular modeling notation is UML class diagrams, which can be annotated with OCL predicates to describe complex integrity constraints.

When creating and managing UML/OCL models, a challenge for domain engineers is diagnosing faults. Problems like inconsistencies among integrity constraints can render a model useless. While existing verification tools provide ample support for detecting faults, users have less support when trying to understand and fix them. In this paper, we present a tool aimed at helping domain engineers locate, understand and fix faults in UML/OCL class diagrams. This tool is built as a plug-in within an existing UML modeling tool, the UML Specification Environment (USE).

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 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 84.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.

    You can download the tool at: https://github.com/juanto2021/MVM#readme.

References

  1. Brida, S.G., et al.: Bounded exhaustive search of Alloy specification repairs. In: ICSE 2021, pp. 1135–1147. IEEE (2021)

    Google Scholar 

  2. Cabot, J., Clarisó, R., Riera, D.: On the verification of UML/OCL class diagrams using constraint programming. JSS 93, 1–23 (2014)

    Google Scholar 

  3. Clarisó, R., Cabot, J.: Fixing defects in integrity constraints via constraint mutation. In: QUATIC 2018, pp. 74–82. IEEE (2018)

    Google Scholar 

  4. Gogolla, M., Büttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69, 27–34 (2007). https://doi.org/10.1016/j.scico.2007.01.013

    Article  MathSciNet  MATH  Google Scholar 

  5. González, C.A., Büttner, F., Clarisó, R., Cabot, J.: EMFtoCSP: a tool for the lightweight verification of EMF models. In: FormSERA 2012, pp. 44–50 (2012). https://doi.org/10.1109/FormSERA.2012.6229788

  6. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)

    Google Scholar 

  7. 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 

  8. Przigoda, N., Wille, R., Drechsler, R.: Analyzing inconsistencies in UML/OCL models. J. Circuits Syst. Comput. 25(03), 1640021 (2016)

    Google Scholar 

  9. Rull, G., Farré, C., Queralt, A., Teniente, E., Urpí, T.: AuRUS: explaining the validation of UML/OCL conceptual schemas. Softw. Syst. Model. 14(2), 953–980 (2013). https://doi.org/10.1007/s10270-013-0350-8

    Article  Google Scholar 

  10. Semeráth, O., Nagy, A.S., Varró, D.: A graph solver for the automated generation of consistent domain-specific models. In: ICSE 2018, pp. 969–980 (2018)

    Google Scholar 

  11. Semeráth, O., Varró, D.: Iterative generation of diverse models for testing specifications of DSL tools. In: FASE 2018, vol. 18, pp. 227–245 (2018)

    Google Scholar 

  12. Soltana, G., Sabetzadeh, M., Briand, L.C.: Practical constraint solving for generating system test data. ACM TOSEM 29(2), 1–48 (2020)

    Article  Google Scholar 

  13. Torlak, E., Chang, F.S.-H., Jackson, D.: Finding minimal unsatisfiable cores of declarative specifications. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 326–341. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-68237-0_23

    Chapter  Google Scholar 

  14. Wang, K., Sullivan, A., Khurshid, S.: Automated model repair for Alloy. In: ASE 2018, pp. 577–588. IEEE (2018)

    Google Scholar 

  15. Wu, H.: MaxUSE: a tool for finding achievable constraints and conflicts for inconsistent UML class diagrams. In: Polikarpova, N., Schneider, S. (eds.) IFM 2017. LNCS, vol. 10510, pp. 348–356. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66845-1_23

    Chapter  Google Scholar 

  16. Zhang, C., et al.: AlloyMax: bringing maximum satisfaction to relational specifications. In: ESEC-FSE 2021, pp. 155–167 (2021)

    Google Scholar 

  17. Zheng, G., Bagheri, H., Nguyen, T.: Debugging declarative models in Alloy. In: ICSME 2020, pp. 844–848. IEEE (2020)

    Google Scholar 

Download references

Acknowledgements

This work is partially funded by the Spanish Agencia Estatal de Investigación through the project “LOw-COde development of Smart Software” (LOCOSS, PID2020-114615RB-I00/AEI/10.13039/501100011033).

Author information

Authors and Affiliations

  1. Universitat Oberta de Catalunya, Barcelona, Spain

    Juan Antonio Gómez-Gutiérrez & Robert Clarisó

  2. ICREA, Barcelona, Spain

    Jordi Cabot

Authors
  1. Juan Antonio Gómez-Gutiérrez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Clarisó
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jordi Cabot
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Juan Antonio Gómez-Gutiérrez .

Editor information

Editors and Affiliations

  1. The University of Melbourne, Carlton, VIC, Australia

    Adriano Augusto

  2. University of Technology Sydney, Ultimo, NSW, Australia

    Asif Gill

  3. TU Wien, Vienna, Austria

    Dominik Bork

  4. University Paris 1 Pantheon-Sorbonne, Paris, France

    Selmin Nurcan

  5. University of Haifa, Haifa, Israel

    Iris Reinhartz-Berger

  6. Hochschule für angewandte Wissenschaften München, Munich, Germany

    Rainer Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Gómez-Gutiérrez, J.A., Clarisó, R., Cabot, J. (2022). A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams. In: Augusto, A., Gill, A., Bork, D., Nurcan, S., Reinhartz-Berger, I., Schmidt, R. (eds) Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2022 2022. Lecture Notes in Business Information Processing, vol 450. Springer, Cham. https://doi.org/10.1007/978-3-031-07475-2_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-07475-2_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-07474-5

  • Online ISBN: 978-3-031-07475-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation