IceDust 2

Title

IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition

 Author

Harkes, D.C. (TU Delft Programming Languages)
Visser, Eelco (TU Delft Programming Languages) ORCID 0000-0002-7384-3370

 Contributor

Müller, Peter (editor)

Date

2017

 Abstract

Derived values are values calculated from base values. They can be expressed with views in relational databases, or with expressions in incremental or reactive programming. However, relational views do not provide multiplicity bounds, and incremental and reactive programming require significant boilerplate code in order to encode bidirectional derived values. Moreover, the composition of various strategies for calculating derived values is either disallowed, or not checked for producing derived values which will be consistent with the derived values they depend upon. In this paper we present IceDust2, an extension of the declarative data modeling language IceDust with derived bidirectional relations with multiplicity bounds and support for statically checked composition of calculation strategies. Derived bidirectional relations, multiplicity bounds, and calculation strategies all influence runtime behavior of changes to data, leading to hundreds of possible behavior definitions. IceDust2 uses a product-line based code generator to avoid explicitly defining all possible combinations, making it easier to reason about correctness. The type system allows only sound composition of strategies and guarantees multiplicity bounds. Finally, our case studies validate the usability of IceDust2 in applications.

 Subject

Incremental Computing
Data Modeling
Domain Specific Language

 To reference this document use:

http://resolver.tudelft.nl/uuid:126706e8-456f-47d5-902d-f8c57a6efbac

 DOI

https://doi.org/10.4230/LIPIcs.ECOOP.2017.14

 Publisher

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany

 ISBN

978-3-95977-035-4

 Source

31st European Conference on Object-Oecoopriented Programming, ECOOP 2017

 Event

ECOOP 2017, 2017-06-18 → 2017-06-23, Barcelona, Spain

 Series

Leibniz International Proceedings in Informatics (LIPIcs), 1868-8969 (74)

 Part of collection

Institutional Repository

 Document type

conference paper

 Rights

© 2017 D.C. Harkes, Eelco Visser
Files
PDF LIPIcs_ECOOP_2017_14.pdf 999.63 KB
Close viewer