Klaim-DB: A Modeling Language for Distributed Database Applications - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Klaim-DB: A Modeling Language for Distributed Database Applications

(1) , (2) , (2) , (2) , (2)
1
2

Abstract

We present the modelling language, Klaim-DB, for distributed database applications. Klaim-DB borrows the distributed nets of the coordination language Klaim but essentially re-incarnates the tuple spaces of Klaim as databases, and provides high-level language abstractions for the access and manipulation of structured data, with integrity and atomicity considerations. We present the formal semantics of Klaim-DB and illustrate the use of the language in a scenario where the sales from different branches of a chain of department stores are aggregated from their local databases. It can be seen that raising the abstraction level and encapsulating integrity checks (concerning the schema of tables, etc.) in the language primitives for database operations benefit the modelling task considerably.
Fichier principal
Vignette du fichier
978-3-319-19282-6_13_Chapter.pdf (398.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01774934 , version 1 (24-04-2018)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Xi Wu, Ximeng Li, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson. Klaim-DB: A Modeling Language for Distributed Database Applications. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.197-212, ⟨10.1007/978-3-319-19282-6_13⟩. ⟨hal-01774934⟩
311 View
58 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More