Skip to main content
SpringerLink
Log in
Book cover

Federation of International Conferences on Software Technologies: Applications and Foundations

STAF 2016: Software Technologies: Applications and Foundations pp 289–302Cite as

Continuing a Benchmark for UML and OCL Design and Analysis Tools

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9946))

Abstract

UML and OCL are frequently employed languages in model-based engineering. OCL is supported by a variety of design and analysis tools having different scopes, aims and technological corner stones. The spectrum ranges from treating issues concerning formal proof techniques to testing approaches, from validation to verification, and from logic programming and rewriting to SAT-based technology.

This paper presents steps towards a well-founded benchmark for assessing UML and OCL validation and verification techniques. It puts forward a set of UML and OCL models together with particular questions centered around OCL and the notions consistency, independence, consequences, and reachability. Furthermore aspects of integer arithmetic and aggregations functions (in the spirit of SQL functions as COUNT or SUM) are discussed. The claim of the paper is not to present a complete benchmark. It is intended to continue the development of further UML and OCL models and accompanying questions within the modeling community having the aim to obtain an overall accepted benchmark.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Notes

  1. 1.

    https://github.com/jcabot/ocl-repository.

  2. 2.

    http://www.satcompetition.org/.

  3. 3.

    http://www.transformation-tool-contest.eu.

References

  1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to alloy. Softw. Syst. Model. 9(1), 69–86 (2010)

    Article  Google Scholar 

  2. Beckert, B., Giese, M., Hähnle, R., Klebanov, V., Rümmer, P., Schlager, S., Schmitt, P.H.: The KeY system 1.0 (Deduction Component). In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 379–384. Springer, Heidelberg (2007). doi:10.1007/978-3-540-73595-3_26

    Chapter  Google Scholar 

  3. Boronat, A., Meseguer, J.: Algebraic semantics of OCL-constrained metamodel specifications. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol. 33, pp. 96–115. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02571-6_7

    Chapter  Google Scholar 

  4. Brucker, A.D., Wolff, B.: HOL-OCL: a formal proof environment for uml/ocl. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 97–100. Springer, Heidelberg (2008). doi:10.1007/978-3-540-78743-3_8

    Chapter  Google Scholar 

  5. Büttner, F., Cabot, J.: Lightweight string reasoning for OCL. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 244–258. Springer, Heidelberg (2012). doi:10.1007/978-3-642-31491-9_19

    Chapter  Google Scholar 

  6. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. In: Stirewalt, R.E.K., Egyed, A., Fischer, B. (eds.) ASE, pp. 547–548. ACM (2007)

    Google Scholar 

  7. Cabot, J., Mazón, J.-N., Pardillo, J., Trujillo, J.: Specifying aggregation functions in multidimensional models with OCL. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 419–432. Springer, Heidelberg (2010). doi:10.1007/978-3-642-16373-9_30

    Chapter  Google Scholar 

  8. Calì, A., Gottlob, G., Orsi, G., Pieris, A.: Querying UML class diagrams. In: Birkedal, L. (ed.) FoSSaCS 2012. LNCS, vol. 7213, pp. 1–25. Springer, Heidelberg (2012). doi:10.1007/978-3-642-28729-9_1

    Chapter  Google Scholar 

  9. Castillos, K.C., Dadeau, F., Julliand, J., Taha, S.: Measuring test properties coverage for evaluating UML/OCL model-based tests. In: Wolff, B., Zaïdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 32–47. Springer, Heidelberg (2011). doi:10.1007/978-3-642-24580-0_4

    Chapter  Google Scholar 

  10. Chimiak-Opoka, J.D., Demuth, B.: A Feature Model for an IDE4OCL. ECEASST 36 (2010)

    Google Scholar 

  11. Clavel, M., Egea, M., de Dios, M.A.G.: Checking unsatisfiability for OCL constraints. Electron. Commun. EASST 24, 1–13 (2009)

    Google Scholar 

  12. France, R.B., Bieman, J.M., Mandalaparty, S.P., Cheng, B.H.C., Jensen, A.C.: Repository for model driven development (ReMoDD). In: 34th International Conference on Software Engineering, ICSE 2012, pp. 1471–1472 (2012)

    Google Scholar 

  13. Gogolla, M., Büttner, F., Cabot, J.: Initiating a benchmark for UML and OCL analysis tools. In: Veanes, M., Viganò, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 115–132. Springer, Heidelberg (2013). doi:10.1007/978-3-642-38916-0_7

    Chapter  Google Scholar 

  14. Gogolla, M., Büttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Prog. 69, 27–34 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  15. Gonzalez, C.A., Büttner, F., Clariso, R., Cabot, J.: EMFtoCSP: a tool for the lightweight verification of EMF models. In: Gnesi, S., Gruner, S., Plat, N., Rumpe, B. (eds.) Proceedings of ICSE 2012 Workshop Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) (2012)

    Google Scholar 

  16. Hußmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. Sci. Comput. Program. 44(1), 51–69 (2002)

    Article  MATH  Google Scholar 

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

    Article  Google Scholar 

  18. Rocco, J.D., Ruscio, D.D., Iovino, L., Pierantonio, A.: Collaborative repositories in model-driven engineering. IEEE Softw. 32(3), 28–34 (2015)

    Article  Google Scholar 

  19. Roldán, M., Durán, F.: Dynamic Validation of OCL Constraints with mOdCL. ECEASST 44 (2011)

    Google Scholar 

  20. Semeráth, O., Vörös, A., Varró, D.: Iterative and incremental model generation by logic solvers. In: Stevens, P., Wąsowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 87–103. Springer, Heidelberg (2016). doi:10.1007/978-3-662-49665-7_6

    Chapter  Google Scholar 

  21. Wille, R., Soeken, M., Drechsler, R.: Debugging of inconsistent UML/OCL models. In: Rosenstiel, W., Thiele, L. (eds.) DATE, pp. 1078–1083. IEEE (2012)

    Google Scholar 

  22. Willink, E.D.: Re-engineering eclipse MDT/OCL for Xtext. ECEASST 36 (2010)

    Google Scholar 

  23. Yatake, K., Aoki, T.: SMT-based enumeration of object graphs from UML class diagrams. ACM SIGSOFT Softw. Eng. Notes 37(4), 1–8 (2012)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Bremen, Bremen, Germany

    Martin Gogolla

  2. ICREA, Barcelona, Spain

    Jordi Cabot

  3. Internet Interdisciplinary Institute, UOC, Barcelona, Spain

    Jordi Cabot

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jordi Cabot
    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. Dipartimento di Informatica, Universita di Pisa, Pisa, Italy

    Paolo Milazzo

  2. Budapest University of Technology and Economics, Budapest, Hungary

    Dániel Varró

  3. Vienna University of Technology, Vienna, Austria

    Manuel Wimmer

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Gogolla, M., Cabot, J. (2016). Continuing a Benchmark for UML and OCL Design and Analysis Tools. In: Milazzo, P., Varró, D., Wimmer, M. (eds) Software Technologies: Applications and Foundations. STAF 2016. Lecture Notes in Computer Science(), vol 9946. Springer, Cham. https://doi.org/10.1007/978-3-319-50230-4_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-50230-4_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-50229-8

  • Online ISBN: 978-3-319-50230-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation