State Machine Abstraction Layer

Abstract : Smalldb uses a non-deterministic parametric finite automaton combined with Kripke structures to describe lifetime of an entity, usually stored in a traditional SQL database. It allows to formally prove some interesting properties of resulting application, like access control of users, and provides primary source of metadata for various parts of the application, for example automatically generated user interface and documentation.
Keywords : Smalldb
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-01397199
Contributor : Hal Ifip <>
Submitted on : Tuesday, November 15, 2016 - 3:36:58 PM
Last modification on : Wednesday, November 16, 2016 - 1:04:11 AM
Long-term archiving on : Thursday, March 16, 2017 - 5:58:35 PM

File

978-3-642-55032-4_21_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Josef Kufner, Radek Mařík. State Machine Abstraction Layer. 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.213-227, ⟨10.1007/978-3-642-55032-4_21⟩. ⟨hal-01397199⟩

Share

Metrics

Record views

87

Files downloads

120