2007 | OriginalPaper | Buchkapitel
The Use of a Logic Programming Language in the Animation of Z Specifications
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Animation of a formal specification involves its execution and this paper is concerned with Z specifications and their
correct
animation. Since Z is based on typed set theory the logic programming language Gödel [2] was chosen as the execution language.
Abstract Approximation
was suggested in [1] to provide a formal framework and some proof rules for the correct animation of Z. We describe here how the correctness criteria are applied to our method of
structure simulation
[3].