Representing Object Models as Theories

Scott A. DeLoach, Paul D. Bailor, Thomas C. Hartrum

Full text DOI 10.1109/kbse.1995.490116 dblp

Abstract

Although techniques for using formal specifications have been progressing, methods for developing formal specifications themselves have improved little. To alleviate this problem, we propose a parallel refinement approach to specification acquisition where the designer uses an object-oriented specification representation while an underlying specification composition system manipulates an equivalent theory-based specification. The paper presents the key to such a system-a theory-based object model. Our theory-based object model formally defines object-oriented concepts in terms of algebraic theories and category theory operations. The theory-based object model provides the basis for the translation of the specification from a semi-formal, object-oriented representation to a formal theory-based specification suitable for input to semi-automated software synthesis systems.

BibTeX

@inproceedings{DeLoach-al:ASE95,
  author    = {Scott A. DeLoach and
               Paul D. Bailor and
               Thomas C. Hartrum},
  title     = {Representing Object Models as Theories},
  booktitle = {ASE},
  pages     = {28--35},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
}

Representing Object Models as Theories

Abstract

Related papers