Constraint diagrams
Author:
Open Access
- 9 October 1997
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 32 (10) , 327-341
Abstract
A new visual notation is proposed for precisely expressing constraints on object-oriented models, as an alternative to mathematical logic notation used in methods such as Syntropy and Catalysis. The notation is potentially intuitive, expressive, integrates well with existing visual notations, and has a clear and unambiguous semantics. It is reminiscent of informal diagrams used by mathematicians for illustrating relations, and borrows much from Venn diagrams. It may be viewed as a generalization of instance diagrams.Keywords
This publication has 4 references indexed in Scilit:
- An Invitation to Formal MethodsComputer, 1996
- On the frame problem in procedure specificationsIEEE Transactions on Software Engineering, 1995
- A formal semantics for object model diagramsIEEE Transactions on Software Engineering, 1995
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987