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. © 2014 IFIP International Federation for Information Processing.
Cite
CITATION STYLE
Kufner, J., & Mařík, R. (2014). State machine abstraction layer. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8407 LNCS, pp. 213–227). Springer Verlag. https://doi.org/10.1007/978-3-642-55032-4_21
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
