Constraint trees

Stuart Kent, John Howse

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNChapterResearchpeer-review

Abstract

OCL's contribution to the definition of constraint languages is twofold: the identification of core concepts for a constraint language suitable for object-oriented modeling; a developer-friendly notation for that language, as an alternative to traditional mathematical syntax. Whilst the former is an important contribution the latter is more questionable. Not only is notation often a matter of taste, but it would also be desirable to freely mix notations, allowing the most appropriate notation to be chosen for the task at hand or for notations to be seamlessly interchanged. A further problem when writing constraints is scalability: the number and complexity of constraints can be overwhelming for a model of a real-sized system, and current techniques for organizing the constraint space of a model are limited. The contribution of this paper is to provide a notation, constraint trees, which can be used both for mixing different notations and for organizing the constraint space of a model. Constraint trees achieve this by revealing aspects of the underlying abstract syntax structure of a constraint. The paper demonstrates the utility of the notation using an example from the telecomms networks domain, and shows how constraint trees can be used to write a constraint involving a mix of textual OCL notation, constraint diagrams, object diagrams and rich pictures. This also demonstrates the organizational role of constraint trees. An outline meta-model definition of constraint trees is provided and issues surrounding their tooling is discussed.
Original languageEnglish
Title of host publicationObject modeling with the OCL: the rationale behind the object constraint language
EditorsA. Clark, J. Warmer
Place of PublicationBerlin, Germany
PublisherSpringer-Verlag
Pages427-430
Number of pages4
ISBN (Electronic)9783540456698
ISBN (Print)9783540431695
DOIs
Publication statusPublished - 1 Jan 2002

Publication series

NameLecture Notes in Computer Science

Fingerprint

Scalability

Keywords

  • OCL
  • constraint trees

Cite this

Kent, S., & Howse, J. (2002). Constraint trees. In A. Clark, & J. Warmer (Eds.), Object modeling with the OCL: the rationale behind the object constraint language (pp. 427-430). (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_12
Kent, Stuart ; Howse, John. / Constraint trees. Object modeling with the OCL: the rationale behind the object constraint language. editor / A. Clark ; J. Warmer. Berlin, Germany : Springer-Verlag, 2002. pp. 427-430 (Lecture Notes in Computer Science).
@inbook{49b3284370e64694a64e945937f60a6e,
title = "Constraint trees",
abstract = "OCL's contribution to the definition of constraint languages is twofold: the identification of core concepts for a constraint language suitable for object-oriented modeling; a developer-friendly notation for that language, as an alternative to traditional mathematical syntax. Whilst the former is an important contribution the latter is more questionable. Not only is notation often a matter of taste, but it would also be desirable to freely mix notations, allowing the most appropriate notation to be chosen for the task at hand or for notations to be seamlessly interchanged. A further problem when writing constraints is scalability: the number and complexity of constraints can be overwhelming for a model of a real-sized system, and current techniques for organizing the constraint space of a model are limited. The contribution of this paper is to provide a notation, constraint trees, which can be used both for mixing different notations and for organizing the constraint space of a model. Constraint trees achieve this by revealing aspects of the underlying abstract syntax structure of a constraint. The paper demonstrates the utility of the notation using an example from the telecomms networks domain, and shows how constraint trees can be used to write a constraint involving a mix of textual OCL notation, constraint diagrams, object diagrams and rich pictures. This also demonstrates the organizational role of constraint trees. An outline meta-model definition of constraint trees is provided and issues surrounding their tooling is discussed.",
keywords = "OCL, constraint trees",
author = "Stuart Kent and John Howse",
year = "2002",
month = "1",
day = "1",
doi = "10.1007/3-540-45669-4_12",
language = "English",
isbn = "9783540431695",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag",
pages = "427--430",
editor = "A. Clark and J. Warmer",
booktitle = "Object modeling with the OCL: the rationale behind the object constraint language",

}

Kent, S & Howse, J 2002, Constraint trees. in A Clark & J Warmer (eds), Object modeling with the OCL: the rationale behind the object constraint language. Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, pp. 427-430. https://doi.org/10.1007/3-540-45669-4_12

Constraint trees. / Kent, Stuart; Howse, John.

Object modeling with the OCL: the rationale behind the object constraint language. ed. / A. Clark; J. Warmer. Berlin, Germany : Springer-Verlag, 2002. p. 427-430 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNChapterResearchpeer-review

TY - CHAP

T1 - Constraint trees

AU - Kent, Stuart

AU - Howse, John

PY - 2002/1/1

Y1 - 2002/1/1

N2 - OCL's contribution to the definition of constraint languages is twofold: the identification of core concepts for a constraint language suitable for object-oriented modeling; a developer-friendly notation for that language, as an alternative to traditional mathematical syntax. Whilst the former is an important contribution the latter is more questionable. Not only is notation often a matter of taste, but it would also be desirable to freely mix notations, allowing the most appropriate notation to be chosen for the task at hand or for notations to be seamlessly interchanged. A further problem when writing constraints is scalability: the number and complexity of constraints can be overwhelming for a model of a real-sized system, and current techniques for organizing the constraint space of a model are limited. The contribution of this paper is to provide a notation, constraint trees, which can be used both for mixing different notations and for organizing the constraint space of a model. Constraint trees achieve this by revealing aspects of the underlying abstract syntax structure of a constraint. The paper demonstrates the utility of the notation using an example from the telecomms networks domain, and shows how constraint trees can be used to write a constraint involving a mix of textual OCL notation, constraint diagrams, object diagrams and rich pictures. This also demonstrates the organizational role of constraint trees. An outline meta-model definition of constraint trees is provided and issues surrounding their tooling is discussed.

AB - OCL's contribution to the definition of constraint languages is twofold: the identification of core concepts for a constraint language suitable for object-oriented modeling; a developer-friendly notation for that language, as an alternative to traditional mathematical syntax. Whilst the former is an important contribution the latter is more questionable. Not only is notation often a matter of taste, but it would also be desirable to freely mix notations, allowing the most appropriate notation to be chosen for the task at hand or for notations to be seamlessly interchanged. A further problem when writing constraints is scalability: the number and complexity of constraints can be overwhelming for a model of a real-sized system, and current techniques for organizing the constraint space of a model are limited. The contribution of this paper is to provide a notation, constraint trees, which can be used both for mixing different notations and for organizing the constraint space of a model. Constraint trees achieve this by revealing aspects of the underlying abstract syntax structure of a constraint. The paper demonstrates the utility of the notation using an example from the telecomms networks domain, and shows how constraint trees can be used to write a constraint involving a mix of textual OCL notation, constraint diagrams, object diagrams and rich pictures. This also demonstrates the organizational role of constraint trees. An outline meta-model definition of constraint trees is provided and issues surrounding their tooling is discussed.

KW - OCL

KW - constraint trees

U2 - 10.1007/3-540-45669-4_12

DO - 10.1007/3-540-45669-4_12

M3 - Chapter

SN - 9783540431695

T3 - Lecture Notes in Computer Science

SP - 427

EP - 430

BT - Object modeling with the OCL: the rationale behind the object constraint language

A2 - Clark, A.

A2 - Warmer, J.

PB - Springer-Verlag

CY - Berlin, Germany

ER -

Kent S, Howse J. Constraint trees. In Clark A, Warmer J, editors, Object modeling with the OCL: the rationale behind the object constraint language. Berlin, Germany: Springer-Verlag. 2002. p. 427-430. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-45669-4_12