State Machine Abstraction Layer - Information and Communication Technology Access content directly
Conference Papers Year : 2014

State Machine Abstraction Layer

Josef Kufner
  • Function : Author
  • PersonId : 993428
Radek Mařík
  • Function : Author
  • PersonId : 993430

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

Fichier principal
Vignette du fichier
978-3-642-55032-4_21_Chapter.pdf (383.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01397199 , version 1 (15-11-2016)

Licence

Attribution

Identifiers

Cite

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⟩
74 View
96 Download

Altmetric

Share

Gmail Facebook X LinkedIn More