Monitoring Properties of ProgramsDevelopment of complex systems requires interaction between a large group of people at various levels of software development, including the communication of properties of the system and the data to be manipulated. A natural idea is to maintain a centralized database of properties of the system to which all members of the development group have access, and to automate the process of checking for violations against this database. The focus of this paper is to discuss such an automated process, called integrity constraint checking. The paper defines the notion of an integrity constraint and discusses considerations for adding an automated checker to a programming language compiler or interpreter. Current work on the implementation of integrity constraint checking in a very high-level language called SequenceL is discussed, and future work in developing a similar checker in an imperative language is outlined.
Document ID
19970028696
Acquisition Source
Headquarters
Document Type
Conference Paper
Authors
Fernandez, Francisco G. (Texas Univ. El Paso, TX United States)
Gates, Ann Q. (Texas Univ. El Paso, TX United States)
Date Acquired
August 17, 2013
Publication Date
January 1, 1997
Publication Information
Publication: The First National Student Conference: NASA University Research Centers at Minority Institutions
IDRelationTitle19970028662Collected WorksThe First National Student Conference: NASA University Research Centers at Minority Institutions19970028662Collected WorksThe First National Student Conference: NASA University Research Centers at Minority Institutions