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