Towards overcoming deficiencies in constraint diagrams

Gem Stapleton, Aidan Delaney

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

The constraint diagram language was designed to be used in conjunction with the Unified Modelling Language (UML), primarily for placing formal constraints on software models. In particular, constraint diagrams play a similar role to the textual Object Constraint Language in that they can be used for specifying system invariants and operation contracts in the context of a UML model. Constraint diagrams can also be used independently of the UML. In this paper, we illustrate a range of counter-intuitive features of constraint diagrams and highlight some (potential) expressiveness limitations. We propose a generalized version of the constraint diagram language that overcomes the illustrated counter-intuitive features and limitations.
Original languageEnglish
Title of host publicationProceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing
Place of PublicationUSA
PublisherIEEE Computer Society
Pages33-40
Number of pages8
ISBN (Print)9780769529875
DOIs
Publication statusPublished - 1 Jan 2007
EventProceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing - Coeur d'Alène, Idaho, USA, 23-27 September, 2007
Duration: 1 Jan 2007 → …

Conference

ConferenceProceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing
Period1/01/07 → …

Keywords

  • Constraint diagrams
  • UML

Fingerprint Dive into the research topics of 'Towards overcoming deficiencies in constraint diagrams'. Together they form a unique fingerprint.

  • Cite this

    Stapleton, G., & Delaney, A. (2007). Towards overcoming deficiencies in constraint diagrams. In Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (pp. 33-40). IEEE Computer Society. https://doi.org/10.1109/VLHCC.2007.13