Title :
Controlled automation of consistency enforcement
Author :
Schewe, Klaus-Dieter
Author_Institution :
Sch. of Inf. Syst., Massey Univ., Palmerston North, New Zealand
Abstract :
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
Keywords :
formal specification; commutativity; compositionality; consistency enforcement; controlled automation; library based pragmatic approach; maximal consistent diminution; operational specialization; partial order; program specification modification; transition invariants; Automatic control; Automation; Deductive databases; Guidelines; Logic programming; Runtime;
Conference_Titel :
Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on
Conference_Location :
Grenoble
Print_ISBN :
0-7695-0710-7
DOI :
10.1109/ASE.2000.873674