Controlled Automation of Consistency Enforcement

DOI 10.1109/ase.2000.873674 dblp

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.

BibTeX

@inproceedings{Schewe:ASE00,
  author    = {Klaus{-}Dieter Schewe},
  title     = {Controlled Automation of Consistency Enforcement},
  booktitle = {ASE},
  pages     = {265--268},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
}

Controlled Automation of Consistency Enforcement

Abstract

Related papers