Precise visual modeling: A case-study

We develop an abstract model for our case-study: software to support a “video rental service.” This illustrates how a visual formalism, constraint diagrams, may be used in order to specify such systems precisely.

[1]  Eric Hammer,et al.  Logic and Visual Information , 1995 .

[2]  Stuart Kent,et al.  Towards a formalization of constraint diagrams , 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

[3]  J. Venn,et al.  . On the diagrammatic and mechanical representation of propositions and reasonings , 2022 .

[4]  David H. Pitt,et al.  Object-Oriented Process Specification , 1988, Specification and Verification of Concurrent Systems.

[5]  Stuart Kent,et al.  Spider Diagrams: A Diagrammatic Reasoning System , 2001, J. Vis. Lang. Comput..

[6]  Stuart Kent,et al.  Constraint diagrams: visualizing invariants in object-oriented models , 1997, OOPSLA '97.

[7]  Jos Warmer,et al.  The object constraint language , 1998 .

[8]  S. A. Schuman,et al.  Object-oriented subsystem specification , 1987 .

[9]  Stuart Kent,et al.  Three dimensional software modelling , 1998, Proceedings of the 20th International Conference on Software Engineering.

[10]  John Taylor,et al.  On the Completeness and Expressiveness of Spider Diagram Systems , 2000, Diagrams.

[11]  Andrew Fish,et al.  A reading algorithm for constraint diagrams , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.

[12]  Ralph-Johan Back,et al.  Refinement Calculus , 1998, Graduate Texts in Computer Science.

[13]  Stuart Kent,et al.  Constraint Diagrams: Visualizing Invariants in OO Modelling , 1997, OOPSLA 1997.

[14]  Gem Stapleton,et al.  A constraint diagram reasoning system , 2003 .

[15]  J. Michael Spivey,et al.  Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.

[16]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[17]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[18]  David H. Pitt,et al.  The rest stays unchanged (concurrency and state-based specification) , 1994, Formal Aspects of Computing.

[19]  John Howse,et al.  Generating Euler Diagrams , 2002, Diagrams.

[20]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[21]  Sun-Joo Shin,et al.  The logical status of diagrams , 1995 .

[22]  Leonhard Euler,et al.  Lettres à une princesse d'Allemagne sur divers sujets de physique & de philosophie , 1812 .