Skip to main content
SpringerLink
Log in

Mixing Visual and Textual Constraint Languages

  • Conference paper
  • First Online:
«UML»’99 — The Unified Modeling Language (UML 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1723))

Included in the following conference series:

Abstract

The Object Constraint Language (OCL) is a precise language for notating behavioural constraints on UML models. Constraint diagrams have been proposed as a means of notating similar constraints, but in a visual form. This paper explores the utility of these two notations for depicting constraints, and shows how they can be used effectively together. The goal of this work is to provide more intuitive and expressive languages to support the construction and presentation of rich and precise 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 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

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.

References

  1. Evans A. and Kent S. Core Meta-Modelling Semantics of UML: The pUML approach, in Procs. UML’99 (this volume), Springer Verlag, 1999.

    Google Scholar 

  2. Euler L. Lettres a Une Princesse d’Allemagne, Vol 2, Letters No. 102–108, 1761.

    Google Scholar 

  3. Gil, J., Howse J. and Kent S. Formalizing Spider Diagrams. To appear in Procs. VL’99, IEEE, 1999.

    Google Scholar 

  4. Kent S. Constraint Diagrams: Visualising Invariants in Object Oriented Models. In: Proceedings of OOPSLA97, ACM Press, 1997.

    Google Scholar 

  5. Kent, S., Gaito, S. and Ross, N. Putting Semantics into the UML Meta-Model. In: Kilov, H., Simmonds, I. and Rumpe, B., (Eds.) Behavioral Specifications of Business and Systems, Kluwer Academic, 1999.

    Google Scholar 

  6. Kent, S. and Gil, J. Visualising Action Contracts in OO Modelling. IEE Proceedings: Software 145, 1998.

    Google Scholar 

  7. OMG UML 1.1. Specification. OMG Documents ad970802-ad970809, 1997.

    Google Scholar 

  8. OMG Object Constraint Language. In: UML Version 1.3 beta R7, Object Management Group, 1999.

    Google Scholar 

  9. Venn, J. On the Diagrammatic and Mechanical Representation of Propositions and Reasonings. Phil.Mag. 123, 1880.

    Google Scholar 

  10. Warmer, J. and Kleppe, A. The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Laboratory, University of Kent, Canterbury, UK

    Stuart Kent

  2. School of Maths & Computing, University of Brighton, Lewes Road, Brighton, UK

    John Howse

Authors
  1. Stuart Kent
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John Howse
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Colorado State University, Fort Collins, CO, 80523-1873, USA

    Robert France

  2. Institut für Informatik, Technische Universität München, D-80290, München, Germany

    Bernhard Rumpe

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kent, S., Howse, J. (1999). Mixing Visual and Textual Constraint Languages. In: France, R., Rumpe, B. (eds) «UML»’99 — The Unified Modeling Language. UML 1999. Lecture Notes in Computer Science, vol 1723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46852-8_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-46852-8_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66712-4

  • Online ISBN: 978-3-540-46852-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation