Klaim-DB: A Modeling Language for Distributed Database Applications

Xi Wu, Ximeng Li, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

510 Downloads (Pure)

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 KlaimDB 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.
Original languageEnglish
Title of host publicationCoordination Models and Languages : Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015)
EditorsTom Holvoet, Mirko Viroli
PublisherSpringer
Publication date2015
Pages197-212
ISBN (Print)978-3-319-19281-9
ISBN (Electronic)978-3-319-19282-6
DOIs
Publication statusPublished - 2015
Event17th IFIP WG 6.1 International Conference, COORDINATION 2015 - Grenoble, France
Duration: 2 Jun 20154 Jun 2015
Conference number: 17
http://discotec2015.inria.fr/coordination-2015-call-for-papers/

Conference

Conference17th IFIP WG 6.1 International Conference, COORDINATION 2015
Number17
Country/TerritoryFrance
CityGrenoble
Period02/06/201504/06/2015
OtherHeld as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015
Internet address
SeriesLecture Notes in Computer Science
Volume9037
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Klaim-DB: A Modeling Language for Distributed Database Applications'. Together they form a unique fingerprint.

Cite this