Skip to main content
SpringerLink
Log in

UCL: Universal Constraint Language

  • Conference paper
  • First Online:
Information System Development

  • 1753 Accesses

Abstract

Current software applications typically consist of a system of multiple components, each being modeled using a different type of meta-model. In addition, when developing the application, various integrity-constraint languages are used for particular meta-models (e.g. OCL for UML, Schematron for XML schemas, or SQL triggers for relational databases). Hence, the constraint expressions need to be converted to expressions over the different meta-models (i.e. modeled) too, which is a non-trivial task. In this paper, a new universal language called Universal Constraint Language (UCL) for expressing integrity constraints over various data models is introduced. It is formally defined and also its parser is implemented within the DaemonX project. In particular, expressing constraints in UCL for UML class diagrams and for XML schemas is supported. Thanks to preserving mutual relations between models in DaemonX we can also we can also translate the respective constraints between the models.

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.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

References

  1. Service Oriented Architecture—SOA. IBM. http://www-01.ibm.com/software/solutions/soa/

  2. Object Management Group (2010) Unified modelling language specification, version 2.3. http://www.omg.org

  3. Nečaský M (2009) Conceptual modelling for XML, vol 99 of dissertations in database and information systems series. IOS Press/AKA Verlag, Amsterdam

    Google Scholar 

  4. Piják P (2011) Universal constraint language. Master’s thesis, Charles University in Prague. http://www.ksi.mff.cuni.cz/~holubova/dp/Pijak.pdf

  5. Object Management Group (2010) Object constraint language OMG available, specification version 2.2. http://www.omg.org

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

  7. Object Management Group. MetaObject facility. 2.4—Beta 2. ISO/IEC 19470:2005

    Google Scholar 

  8. ECore meta-model. Package org.eclipse.emf.ecore

    Google Scholar 

  9. Akehurst D, Linington P, Patrascoiu O (2003) OCL 2.0: implementing the standard. Computer Laboratory, University of Kent, Tonbridge

    Google Scholar 

  10. Demuth B, Hussmann H (1999) Using OCL constraints for relational database design. In: UML’99—the unified modelling language, Proceedings of the 2nd international conference, LNCS 1723, Springer, pp 598-613

    Google Scholar 

  11. DaemonX-Team (2001) DaemonX. http://DaemonX.codeplex.com/

Download references

Acknowledgement

This work was supported by the GACR grant no. P202/1 1/P455 and the GAUK grant no. 541013.

Author information

Authors and Affiliations

  1. Department of Software Engineering, Charles University in Prague, Malostranské nám. 25, 118 00, Praha 1, Czech Republic

    Peter Piják, Jakub Malý, Martin Nečaský & Irena Holubová (Mlýnková)

Authors
  1. Peter Piják
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jakub Malý
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Martin Nečaský
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Irena Holubová (Mlýnková)
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Peter Piják .

Editor information

Editors and Affiliations

  1. Dept of Computer Languages and Systems, University of Seville, Seville, Spain

    María José Escalona

  2. IWT2 Research Group FIDETIA, University of Seville, Seville, Spain

    Gustavo Aragón

  3. Monash University, Caaulfield East, Victoria, Australia

    Henry Linger

  4. National University of Ireland, Galway, Ireland

    Michael Lang

  5. National University of Ireland, Galway, Ireland

    Chris Barry

  6. City University of Hong Kong, Kowloon, Hong Kong SAR

    Christoph Schneider

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Piják, P., Malý, J., Nečaský, M., (Mlýnková), I.H. (2014). UCL: Universal Constraint Language. In: José Escalona, M., Aragón, G., Linger, H., Lang, M., Barry, C., Schneider, C. (eds) Information System Development. Springer, Cham. https://doi.org/10.1007/978-3-319-07215-9_42

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-07215-9_42

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-07214-2

  • Online ISBN: 978-3-319-07215-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation