Using predicate fields in a highly flexible industrial control system

Download: PDF, PostScript.

“Using predicate fields in a highly flexible industrial control system” by Shay Artzi and Michael D. Ernst. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2005), (San Diego, CA, USA), October 18-20, 2005, pp. 319-330.

Abstract

Predicate fields allow an object's structure to vary at runtime based on the object's state: a predicate field is present or not, depending on the values of other fields. Predicate fields and related concepts have not previously been evaluated outside a research environment. We present a case study of two industrial applications with similar requirements, one of which uses predicate fields and one of which does not. The use of predicate fields was motivated by requirements for high flexibility, by unavailability of many requirements, and by high user interface development costs. Despite an implementation of predicate fields as a library (rather than as a language extension), developers found them natural to use, and in many cases they significantly reduced development effort.

Download: PDF, PostScript.

BibTeX entry:

@inproceedings{ArtziE2005,
   author = {Shay Artzi and Michael D. Ernst},
   title = {Using predicate fields in a highly flexible industrial control
	system},
   booktitle = {Object-Oriented Programming Systems, Languages, and
	Applications (OOPSLA 2005)},
   pages = {319--330},
   address = {San Diego, CA, USA},
   month = {October~18--20,},
   year = {2005}
}

(This webpage was created with bibtex2web.)

Back to Program Analysis Group publications.