Controlled automation of consistency enforcement

Consistency enforcement aims at modifying a program specification such that the result is consistent with respect to a specified set of invariants. Our approach requires the modified program specification to be a maximal consistent diminution of the original one with respect to some partial order. O...

Full description

Saved in:
Bibliographic Details
Published inAutomated Software Engineering: Proceedings of the 15th IEEE international conference on Automated software engineering; 11-15 Sept. 2000 pp. 265 - 268
Main Author Schewe, K.-D.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2000
Subjects
Automatic control
Automation
Deductive databases
Guidelines
Logic programming
Runtime
Online AccessGet full text

Cover

More Information
Summary:Consistency enforcement aims at modifying a program specification such that the result is consistent with respect to a specified set of invariants. Our approach requires the modified program specification to be a maximal consistent diminution of the original one with respect to some partial order. One choice for this partial order is operational specialization, another one arises from the preservation of certain transition invariants. For both choices of the order we obtain a commutativity and a compositionality result which enable a library based pragmatic approach. This sets up a controlled form of automation.
Bibliography:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:0769507107
9780769507101
ISSN:1938-4300
2643-1572
DOI:10.1109/ASE.2000.873674