Skip to main content

Visualising Action Contracts in OO Modelling

Kent, Stuart, Gil, Y. (1998) Visualising Action Contracts in OO Modelling. In: IEE Proceedings: Software. 145 , 145 (2-3). pp. 70-78. (KAR id:21672)

Language: English
Click to download this file (152kB) Preview
[thumbnail of Visualising_Action_Contracts_in_OO_Modelling.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format


In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper builds on a recent proposal for ''constraint diagrams'', a diagrammatic notation allowing the expression of such assertions. Constraint diagrams essentially provide a pictorial representation of navigation expressions, specifically the sets of objects they define, and, using Venn diagrams and other techniques, constraints on the cardinalities of and relationships between those sets. The original proposal focused on the use of constraint diagrams for depicting invariants. This paper focuses on their use in depicting action contracts.

Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 22 Aug 2009 11:17 UTC
Last Modified: 16 Nov 2021 10:00 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.