Skip to main content
SpringerLink
Log in

UnifiedOCL: Achieving System-Wide Constraint Representations

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

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

Included in the following conference series:

Abstract

Constraint definitions tend to be distributed across the components of an information system using a variety of technology-specific representations. We propose an approach where constraints are managed in a single place using OCL with extensions for technology-specific concepts. These constraints are then mapped to technology-specific representations which are validated at runtime. Bi-directional translations of constraint definitions allows existing components to be easily integrated into the system. We present an implementation of the approach and report on a user study with developers from industry and research.

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.

    https://eclipse.org/.

  2. 2.

    http://www.eclipse.org/Xtext/.

  3. 3.

    https://projects.eclipse.org/projects/modeling.mmt.qvt-oml.

  4. 4.

    https://wiki.eclipse.org/ATL.

  5. 5.

    https://eclipse.org/xtend/.

  6. 6.

    http://www.antlr.org/.

  7. 7.

    https://eclipse.org/MoDisco/.

  8. 8.

    http://www.dresden-ocl.org/index.php/DresdenOCL.

References

  1. Avila, C., Sarcar, A., Cheon, Y., Yeep, C.: Runtime constraint checking approaches for OCL. a critical comparison. In: SEKE (2010)

    Google Scholar 

  2. Baresi, L., Young, M.: Toward translating design constraints to run-time assertions. Electr. Notes Theor. Comput. Sci. 116, 73–84 (2005)

    Article  Google Scholar 

  3. Cosentino, V., Martínez, S.: Extracting UML/OCL integrity constraints and derived types from relational databases. In: MoDELS International Workshops (2013)

    Google Scholar 

  4. EssentialOCL. http://help.eclipse.org/juno/index.jsp?topic=%2Forg.eclipse.ocl.doc%2Fhelp%2FEssentialOCL.html. Accessed 04 Apr 2016

  5. Hamie, A.: Using patterns to map OCL constraints to JML specifications. In: Hammoudi, S., Pires, L.F., Filipe, J., Neves, R.C.D. (eds.) Model-Driven Engineering and Software Development. Communications in Computer and Information Science, vol. 506, pp. 35–48. Springer, Switzerland (2015)

    Chapter  Google Scholar 

  6. Khan, M.U., Arshad, N., Iqbal, M.Z., Umar, H.: AspectOCL: extending OCL for crosscutting constraints. In: Taentzer, G., Bordeleau, F. (eds.) ECMFA 2015. LNCS, vol. 9153, pp. 92–107. Springer, Heidelberg (2015). doi:10.1007/978-3-319-21151-0_7

    Chapter  Google Scholar 

  7. Kleppe, A., Warmer, J., Bast, W.: MDA explained - the model driven architecture: practice and promise. Addison-Wesley, Reading (2003)

    Google Scholar 

  8. Leavens, G.T., Baker, A.L., Ruby, C.: JML: a notation for detailed design. In: Kilov, E., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science, vol. 523, pp. 175–188. Springer, New York (1999)

    Chapter  Google Scholar 

  9. Mellor, S.J., Scott, K., Uhl, A., Weise, D.: Model-driven architecture. In: Bruel, J.-M., Bellahsene, Z. (eds.) OOIS 2002. LNCS, vol. 2426, pp. 290–297. Springer, Heidelberg (2002). doi:10.1007/3-540-46105-1_33

    Chapter  Google Scholar 

  10. Moiseev, R., Hayashi, S., Saeki, M.: Using hierarchical transformation to generate assertion code from OCL constraints. IEICE Trans. 94(3), 612–621 (2011)

    Article  Google Scholar 

  11. Obrenovic, N., Popovic, A., Aleksic, S., Lukovic, I.: Transformations of check constraint PIM specifications. Comput. Inf. 31(5), 1045–1079 (2012)

    MathSciNet  Google Scholar 

  12. Oriol, X., Teniente, E.: Incremental checking of OCL constraints with aggregates through SQL. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., López, Ó.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 199–213. Springer, Heidelberg (2015). doi:10.1007/978-3-319-25264-3_15

    Chapter  Google Scholar 

  13. Shimba, H., Hanada, K., Okano, K., Kusumoto, S.: Bidirectional translation between OCL and JML for round-trip engineering. In: APSEC (2013)

    Google Scholar 

  14. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, Reading (2009)

    Google Scholar 

  15. Szymanek, J.: Achieving unified data quality representation by constraints transformation. http://dx.doi.org/10.3929/ethz-a-010510131 (2015)

  16. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Longman Publishing Co. Inc., Boston (2003)

    Google Scholar 

  17. Wilke, C.: Java code generation for Dresden OCL2 for eclipse. Technische Universität Dresden, Germany (2009)

    Google Scholar 

  18. Wimmer, M., Burgueño, L.: Testing M2T/T2M transformations. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 203–219. Springer, Heidelberg (2013). doi:10.1007/978-3-642-41533-3_13

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, ETH Zurich, Zürich, Switzerland

    David Weber, Jakub Szymanek & Moira C. Norrie

Authors
  1. David Weber
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jakub Szymanek
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Moira C. Norrie
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to David Weber .

Editor information

Editors and Affiliations

  1. CEDRIC-CNAM & ESSEC Business School, Cergy-Pontoise, France

    Isabelle Comyn-Wattiau

  2. Kyoto University , Kyoto, Japan

    Katsumi Tanaka

  3. Drexel University , Philadelphia, Pennsylvania, USA

    Il-Yeol Song

  4. Nagoya University , Nagoya, Japan

    Shuichiro Yamamoto

  5. Tokyo Institute of Technology , Tokyo, Japan

    Motoshi Saeki

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Weber, D., Szymanek, J., Norrie, M.C. (2016). UnifiedOCL: Achieving System-Wide Constraint Representations. In: Comyn-Wattiau, I., Tanaka, K., Song, IY., Yamamoto, S., Saeki, M. (eds) Conceptual Modeling. ER 2016. Lecture Notes in Computer Science(), vol 9974. Springer, Cham. https://doi.org/10.1007/978-3-319-46397-1_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-46397-1_17

  • Published:

  • Publisher Name: Springer, Cham

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation