State Machine Abstraction Layer - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

State Machine Abstraction Layer

Josef Kufner
  • Fonction : Auteur
  • PersonId : 993428
Radek Mařík
  • Fonction : Auteur
  • PersonId : 993430

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
978-3-642-55032-4_21_Chapter.pdf (383.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
75 Consultations
97 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More