Skip to main content
SpringerLink
Log in

Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification

  • Chapter
  • First Online:
Conceptual Modeling Perspectives

Abstract

Model validation and verification tools should provide good support for generating test cases. We here sketch essential use cases for model validation and verification that help developers to find deficiencies in models on the basis of generated test cases and thus improve model quality. Along with such use cases, we demonstrate how to realize them in the UML and OCL tool USE. We apply the tool for a small case study showing the development of a relational database schema on the basis of a conceptual UML schema in form of a UML class diagram and accompanying OCL constraints.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Beckert, B., Keller, U., Schmitt, P.: Translating the Object Constraint Language into first-order predicate logic. In: Proc. 2nd Verification WS: VERIFY. vol. 2, pp. 2–7 (2002)

    Google Scholar 

  2. Boehm, B.: Software risk management. In: Ghezzi, C., McDermid, J.A. (eds.) Proc. 2nd European Software Engineering Conf. (ESEC 1989). LNCS, vol. 387, pp. 1–19. Springer (1989)

    Google Scholar 

  3. Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. Journal of Systems and Software 82(9), 1459–1478 (2009)

    Google Scholar 

  4. Farré, C., Queralt, A., Rull, G., Teniente, E., Urpí, T.: Automated reasoning on UML conceptual schemas with derived information and queries. Information & Software Technology 55(9), 1529–1550 (2013)

    Google Scholar 

  5. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1-3), 27–34 (2007)

    Google Scholar 

  6. Gogolla, M., Hilken, F.: Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. In: Oberweis, A., Reussner, R. (eds.) Proc. Modellierung (MODELLIERUNG’ 2016). pp. 203–218. GI, LNI 254 (2016)

    Google Scholar 

  7. Granda, M.F.: Testing-based conceptual schema validation in a model-driven environment. In: Proceedings of the Doctoral Consortium of the 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013), Valencia, Spain, June 21, 2013 (2013), http://ceur-ws.org/Vol-1001/paper6.pdf

  8. Olivé, A.: Conceptual modeling of information systems. Springer (2007)

    Google Scholar 

  9. Oriol, X., Teniente, E.: Incremental checking of OCL constraints with aggregates through SQL. In: Conceptual Modeling - 34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings. pp. 199–213 (2015)

    Google Scholar 

  10. Oriol, X., Teniente, E., Tort, A.: Fixing up non-executable operations in UML/OCL conceptual schemas. In: Conceptual Modeling - 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedings. pp. 232–245 (2014)

    Google Scholar 

  11. Oriol, X., Teniente, E., Tort, A.: Computing repairs for constraint violations in UML/OCL conceptual schemas. Data Knowl. Eng. 99, 39–58 (2015)

    Google Scholar 

  12. Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73, 1–22 (2012)

    Google Scholar 

  13. Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM Trans. Softw. Eng. Methodol. 21(2), 13:1–13:41 (2012)

    Google Scholar 

  14. Selic, B.: UML2: A Model-Driven Development Tool. IBM Systems Journal 45(3), 607–620 (2006)

    Google Scholar 

  15. Snook, C., Savicks, V., Butler, M.: Verification of UML Models by Translation to UML-B. In: Aichernig, B., de Boer, F., Bonsangue, M. (eds.) Formal Methods for Components and Objects, FMCO 2010. LNCS, vol. 6957, pp. 251–266. Springer (2010)

    Google Scholar 

  16. Torlak, E., Jackson, D.: Kodkod: A Relational Model Finder. In: Grumberg, O., Huth, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007. LNCS, vol. 4424, pp. 632–647. Springer (2007)

    Google Scholar 

  17. Tort, A., Olivé, A.: An approach to testing conceptual schemas. Data Knowl. Eng. 69(6), 598–618 (2010)

    Google Scholar 

  18. Tort, A., Olivé, A., Sancho, M.: On checking executable conceptual schema validity by testing. In: Database and Expert Systems Applications - 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I. pp. 249–264 (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Database Systems Group, University of Bremen, Bremen, Germany

    Martin Gogolla & Khanh-Hoang Doan

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Khanh-Hoang Doan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Gogolla .

Editor information

Editors and Affiliations

  1. ICREA, Universitat Oberta de Catalunya, Barcelona, Spain

    Jordi Cabot

  2. Department of Service and Information System Engineering, Universitat Politècnica de Catalunya, Barcelona, Spain

    Cristina Gómez

  3. PROS Research Center, Universitat Politècnica de València, Valencia, Spain

    Oscar Pastor

  4. Education and Training Department, Barcelona Supercomputing Center, Barcelona, Spain

    Maria Ribera Sancho

  5. Department of Service and Information System Engineering, Universitat Politècnica de Catalunya, Barcelona, Spain

    Ernest Teniente

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Gogolla, M., Doan, KH. (2017). Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification. In: Cabot, J., Gómez, C., Pastor, O., Sancho, M., Teniente, E. (eds) Conceptual Modeling Perspectives. Springer, Cham. https://doi.org/10.1007/978-3-319-67271-7_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-67271-7_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-67270-0

  • Online ISBN: 978-3-319-67271-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation