A logic for non-deterministic parallel abstract state machines

Flavio Ferrarotti; Klaus Dieter Schewe; Loredana Tec; Qing Wang

doi:10.1007/978-3-319-30024-5_18

A logic for non-deterministic parallel abstract state machines

Flavio Ferrarotti^*, Klaus Dieter Schewe, Loredana Tec, Qing Wang

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

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.

Original language	English
Title of host publication	Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Proceedings
Editors	Marc Gyssens, Guillermo Simari
Publisher	Springer Verlag
Pages	334-354
Number of pages	21
ISBN (Print)	9783319300238
DOIs	https://doi.org/10.1007/978-3-319-30024-5_18
Publication status	Published - 2016
Event	9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016 - Linz, Austria Duration: 7 Mar 2016 → 11 Mar 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9616
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016
Country/Territory	Austria
City	Linz
Period	7/03/16 → 11/03/16

Access to Document

10.1007/978-3-319-30024-5_18

Cite this

Ferrarotti, F., Schewe, K. D., Tec, L., & Wang, Q. (2016). A logic for non-deterministic parallel abstract state machines. In M. Gyssens, & G. Simari (Eds.), Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Proceedings (pp. 334-354). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9616). Springer Verlag. https://doi.org/10.1007/978-3-319-30024-5_18

Ferrarotti, Flavio ; Schewe, Klaus Dieter ; Tec, Loredana et al. / A logic for non-deterministic parallel abstract state machines. Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Proceedings. editor / Marc Gyssens ; Guillermo Simari. Springer Verlag, 2016. pp. 334-354 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b99edddd42e0406d9cd1d3dcb7c879e7,

title = "A logic for non-deterministic parallel abstract state machines",

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{\"a}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.",

author = "Flavio Ferrarotti and Schewe, {Klaus Dieter} and Loredana Tec and Qing Wang",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016 ; Conference date: 07-03-2016 Through 11-03-2016",

year = "2016",

doi = "10.1007/978-3-319-30024-5_18",

language = "English",

isbn = "9783319300238",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "334--354",

editor = "Marc Gyssens and Guillermo Simari",

booktitle = "Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Proceedings",

address = "Germany",

}

Ferrarotti, F, Schewe, KD, Tec, L & Wang, Q 2016, A logic for non-deterministic parallel abstract state machines. in M Gyssens & G Simari (eds), Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9616, Springer Verlag, pp. 334-354, 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016, Linz, Austria, 7/03/16. https://doi.org/10.1007/978-3-319-30024-5_18

A logic for non-deterministic parallel abstract state machines. / Ferrarotti, Flavio; Schewe, Klaus Dieter; Tec, Loredana et al.
Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Proceedings. ed. / Marc Gyssens; Guillermo Simari. Springer Verlag, 2016. p. 334-354 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9616).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A logic for non-deterministic parallel abstract state machines

AU - Ferrarotti, Flavio

AU - Schewe, Klaus Dieter

AU - Tec, Loredana

AU - Wang, Qing

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84960449966&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-30024-5_18

DO - 10.1007/978-3-319-30024-5_18

M3 - Conference contribution

SN - 9783319300238

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 334

EP - 354

BT - Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Proceedings

A2 - Gyssens, Marc

A2 - Simari, Guillermo

PB - Springer Verlag

T2 - 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016

Y2 - 7 March 2016 through 11 March 2016

ER -

Ferrarotti F, Schewe KD, Tec L, Wang Q. A logic for non-deterministic parallel abstract state machines. In Gyssens M, Simari G, editors, Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Proceedings. Springer Verlag. 2016. p. 334-354. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-30024-5_18

A logic for non-deterministic parallel abstract state machines

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this