A logic for non-deterministic parallel abstract state machines

Autoren Flavio Ferrarotti
Klaus-Dieter Schewe
Loredana Tec
Qing Wang
Editoren Marc Gyssens
Guillermo Simari
Titel A logic for non-deterministic parallel abstract state machines
Buchtitel Foundations of Information and Knowledge Systems - Proc. FoIKS 2016
Typ in Konferenzband
Verlag Springer
Serie Lecture Notes in Computer Science
Band 9616
ISBN 978-3-319-30023-8
DOI 10.1007/978-3-319-30024-5_18
Monat March
Jahr 2016
Seiten 334-354
SCCH ID# 1617
Abstract

We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by Nanchen and Stärk for reasoning about hierarchical (parallel) ASMs. Our main contribution to this regard is the handling of non-determinism (both bounded and unbounded) within the logical formalism. Moreover, we do this without sacrificing the completeness of the logic for statements about single steps of non-deterministic parallel ASMs, such as invariants of rules, consistency conditions for rules, or step-by-step equivalence of rules.