Klaim-DB: A Modeling Language for Distributed Database Applications

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

doi:10.1007/978-3-319-19282-6_13

Klaim-DB: A Modeling Language for Distributed Database Applications

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

Department of Applied Mathematics and Computer Science

East China Normal University

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

539 Downloads (Orbit)

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 language	English
Title of host publication	Coordination Models and Languages : Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015)
Editors	Tom Holvoet, Mirko Viroli
Publisher	Springer
Publication date	2015
Pages	197-212
ISBN (Print)	978-3-319-19281-9
ISBN (Electronic)	978-3-319-19282-6
DOIs	https://doi.org/10.1007/978-3-319-19282-6_13
Publication status	Published - 2015
Event	17th IFIP WG 6.1 International Conference, COORDINATION 2015 - Grenoble, France Duration: 2 Jun 2015 → 4 Jun 2015 Conference number: 17 http://discotec2015.inria.fr/coordination-2015-call-for-papers/

Conference

Conference	17th IFIP WG 6.1 International Conference, COORDINATION 2015
Number	17
Country/Territory	France
City	Grenoble
Period	02/06/2015 → 04/06/2015
Other	Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015
Internet address	http://discotec2015.inria.fr/coordination-2015-call-for-papers/

Series	Lecture Notes in Computer Science
Volume	9037
ISSN	0302-9743

Access to Document

10.1007/978-3-319-19282-6_13

Klaim dbAccepted author manuscript, 408 KB

OpenUrl availability

Full text

Cite this

@inproceedings{9cafa446b13f4d178893380124134c3d,

title = "Klaim-DB: A Modeling Language for Distributed Database Applications",

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.",

author = "Xi Wu and Ximeng Li and \{Lluch Lafuente\}, Alberto and Flemming Nielson and Nielson, \{Hanne Riis\}",

year = "2015",

doi = "10.1007/978-3-319-19282-6\_13",

language = "English",

isbn = "978-3-319-19281-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "197--212",

editor = "Tom Holvoet and Mirko Viroli",

booktitle = "Coordination Models and Languages",

note = "17th IFIP WG 6.1 International Conference, COORDINATION 2015 ; Conference date: 02-06-2015 Through 04-06-2015",

url = "http://discotec2015.inria.fr/coordination-2015-call-for-papers/",

}

Wu, X, Li, X, Lluch Lafuente, A, Nielson, F & Nielson, HR 2015, Klaim-DB: A Modeling Language for Distributed Database Applications. in T Holvoet & M Viroli (eds), Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). Springer, Lecture Notes in Computer Science, vol. 9037, pp. 197-212, 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Grenoble, France, 02/06/2015. https://doi.org/10.1007/978-3-319-19282-6_13

Klaim-DB: A Modeling Language for Distributed Database Applications. / Wu, Xi; Li, Ximeng; Lluch Lafuente, Alberto et al.
Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 197-212 (Lecture Notes in Computer Science, Vol. 9037).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Klaim-DB: A Modeling Language for Distributed Database Applications

AU - Wu, Xi

AU - Li, Ximeng

AU - Lluch Lafuente, Alberto

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

N1 - Conference code: 17

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-19282-6_13

DO - 10.1007/978-3-319-19282-6_13

M3 - Article in proceedings

SN - 978-3-319-19281-9

T3 - Lecture Notes in Computer Science

SP - 197

EP - 212

BT - Coordination Models and Languages

A2 - Holvoet, Tom

A2 - Viroli, Mirko

PB - Springer

T2 - 17th IFIP WG 6.1 International Conference, COORDINATION 2015

Y2 - 2 June 2015 through 4 June 2015

ER -

Wu X, Li X, Lluch Lafuente A, Nielson F, Nielson HR. Klaim-DB: A Modeling Language for Distributed Database Applications. In Holvoet T, Viroli M, editors, Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). Springer. 2015. p. 197-212. (Lecture Notes in Computer Science, Vol. 9037). doi: 10.1007/978-3-319-19282-6_13

Klaim-DB: A Modeling Language for Distributed Database Applications

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this