A theory-model formalization of FlexOr

Authors:
Gunnar Gotshalks
Affiliations:
York University, North York, Ontario
Venue:
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Year:
1992

Citing 8
Cited 0

Literate programming

The Computer Journal
The Z notation: a reference manual

The Z notation: a reference manual
The C programming language

The C programming language
GraphLog: a visual formalism for real life recursion

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Programming pearls: literate programming

Communications of the ACM
Programming pearls: a literate program

Communications of the ACM
Z: An Introduction to Formal Methods

Z: An Introduction to Formal Methods
System development (Prentice-Hall International series in computer science)

System development (Prentice-Hall International series in computer science)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This report is a description of a part of 4Thought, a collection of software design tools and methods for assisting software designers. One of the tools in 4Thought is FlexOr, which combines literate programming and frame adaptation to create and document software designs. One of the fundamental methods in using 4Thought is the theory-model paradigm, in which are created a formal theory for a class of software design problems and then the designs that satisfy the formal theory are created. This report presents a formal theory using Z notation, entity-relationship diagrams, and GraphLog to specify the formal theory for the literate programming part of FlexOr frames.