Towards a logic for abstract MetaFinite state machines

Qing Wang; Klaus Dieter Schewe

doi:10.1007/978-3-540-77684-0_24

Towards a logic for abstract MetaFinite state machines

Qing Wang^*, Klaus Dieter Schewe

^*Corresponding author for this work

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

6 Citations (Scopus)

Abstract

The paper investigates the logic of database transformations based on abstract metafinite state machines. We first introduce a structure model that separates a metafinite state into database and algorithmic spaces with bridge functions providing a connection between them. Then abstract metafinite state machines are developed on top of metafinite states equipped with two kinds of updates: exclusive updates and aggregate updates. In order to characterize both static and dynamic aspects of abstract metafinite state machines, we present a logic which supports reasoning about the side effects of exclusive and aggregate updates in update multisets occurring over database transformations.

Original language	English
Title of host publication	Foundations of Information and Knowledge Systems - 5th International Symposium, FoIKS 2008, Proceedings
Pages	365-380
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-540-77684-0_24
Publication status	Published - 2008
Externally published	Yes
Event	5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 - Pisa, Italy Duration: 11 Feb 2008 → 15 Feb 2008

Publication series

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

Conference

Conference	5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008
Country/Territory	Italy
City	Pisa
Period	11/02/08 → 15/02/08

Access to Document

10.1007/978-3-540-77684-0_24

Cite this

Wang, Q., & Schewe, K. D. (2008). Towards a logic for abstract MetaFinite state machines. In Foundations of Information and Knowledge Systems - 5th International Symposium, FoIKS 2008, Proceedings (pp. 365-380). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4932 LNCS). https://doi.org/10.1007/978-3-540-77684-0_24

@inproceedings{f9416e42df464613a201b9038eea39d2,

title = "Towards a logic for abstract MetaFinite state machines",

abstract = "The paper investigates the logic of database transformations based on abstract metafinite state machines. We first introduce a structure model that separates a metafinite state into database and algorithmic spaces with bridge functions providing a connection between them. Then abstract metafinite state machines are developed on top of metafinite states equipped with two kinds of updates: exclusive updates and aggregate updates. In order to characterize both static and dynamic aspects of abstract metafinite state machines, we present a logic which supports reasoning about the side effects of exclusive and aggregate updates in update multisets occurring over database transformations.",

author = "Qing Wang and Schewe, {Klaus Dieter}",

year = "2008",

doi = "10.1007/978-3-540-77684-0_24",

language = "English",

isbn = "3540776834",

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

pages = "365--380",

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

note = "5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 ; Conference date: 11-02-2008 Through 15-02-2008",

}

Wang, Q & Schewe, KD 2008, Towards a logic for abstract MetaFinite state machines. in Foundations of Information and Knowledge Systems - 5th International Symposium, FoIKS 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4932 LNCS, pp. 365-380, 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008, Pisa, Italy, 11/02/08. https://doi.org/10.1007/978-3-540-77684-0_24

Towards a logic for abstract MetaFinite state machines. / Wang, Qing; Schewe, Klaus Dieter.
Foundations of Information and Knowledge Systems - 5th International Symposium, FoIKS 2008, Proceedings. 2008. p. 365-380 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4932 LNCS).

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

TY - GEN

T1 - Towards a logic for abstract MetaFinite state machines

AU - Wang, Qing

AU - Schewe, Klaus Dieter

PY - 2008

Y1 - 2008

N2 - The paper investigates the logic of database transformations based on abstract metafinite state machines. We first introduce a structure model that separates a metafinite state into database and algorithmic spaces with bridge functions providing a connection between them. Then abstract metafinite state machines are developed on top of metafinite states equipped with two kinds of updates: exclusive updates and aggregate updates. In order to characterize both static and dynamic aspects of abstract metafinite state machines, we present a logic which supports reasoning about the side effects of exclusive and aggregate updates in update multisets occurring over database transformations.

AB - The paper investigates the logic of database transformations based on abstract metafinite state machines. We first introduce a structure model that separates a metafinite state into database and algorithmic spaces with bridge functions providing a connection between them. Then abstract metafinite state machines are developed on top of metafinite states equipped with two kinds of updates: exclusive updates and aggregate updates. In order to characterize both static and dynamic aspects of abstract metafinite state machines, we present a logic which supports reasoning about the side effects of exclusive and aggregate updates in update multisets occurring over database transformations.

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

U2 - 10.1007/978-3-540-77684-0_24

DO - 10.1007/978-3-540-77684-0_24

M3 - Conference contribution

AN - SCOPUS:49949116180

SN - 3540776834

SN - 9783540776833

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

SP - 365

EP - 380

BT - Foundations of Information and Knowledge Systems - 5th International Symposium, FoIKS 2008, Proceedings

T2 - 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008

Y2 - 11 February 2008 through 15 February 2008

ER -

Wang Q, Schewe KD. Towards a logic for abstract MetaFinite state machines. In Foundations of Information and Knowledge Systems - 5th International Symposium, FoIKS 2008, Proceedings. 2008. p. 365-380. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-77684-0_24

Towards a logic for abstract MetaFinite state machines

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this