DocumentCode :
357405
Title :
Controlled automation of consistency enforcement
Author :
Schewe, Klaus-Dieter
Author_Institution :
Sch. of Inf. Syst., Massey Univ., Palmerston North, New Zealand
fYear :
2000
fDate :
2000
Firstpage :
265
Lastpage :
268
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on
Conference_Location :
Grenoble
ISSN :
1938-4300
Print_ISBN :
0-7695-0710-7
Type :
conf
DOI :
10.1109/ASE.2000.873674
Filename :
873674
Link To Document :
بازگشت