The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28923
Record Status Checked
Record Id 28923
Title Refinement Through Pictures: Formalising Syntropy Refinement Concepts
Abstract This paper provides techniques for formally justifying the refinement steps given for the Syntropy method of Cook and Daniels. It uses a temporal logic formalism, the Object Calculus, to formalise the models of Syntropy in modules which are theories, linked by theory-preserving morphisms. Refinements are also characterised by particular forms of interpretations between theories. The intention is to provide support for a system which allows refinement steps to be carried out via diagrammatic descriptions, rather than mathematical formulae, and hence to enhance the usability of a formal approach to object-oriented software development.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In BCS FACS/EROS workshop on 'Making Object Oriented methods More Rigorous', Imperial College, 1997, (1997). 1997