Print Email Facebook Twitter AlanLight Title AlanLight: sound, functionally correct, bounded acyclic data flow modeling Author Kunst, GJ (TU Delft Electrical Engineering, Mathematics and Computer Science; TU Delft Software Technology) Contributor Harkes, Daco (mentor) Schraverus, C. (mentor) Visser, Eelco (graduation committee) Spaan, Matthijs (graduation committee) Degree granting institution Delft University of Technology Programme Computer Science Project Alan Date 2018-01-30 Abstract For programs controlling industrial processes, it is of vital importance that they produce results conform their functional specification. Furthermore, it is important that their running times are bounded, and that we can predict corresponding worst-case scenarios. Programs written in general purpose programming languages can crash or produce erroneous output. Data modeling and query languages are typically more restrictive. However, they either do not guarantee soundness (where values are of a predefined indivisible type) or functional correctness (including deterministic output). Alternatively, they have unbounded or unpredictable worst-case running times, or have limited expressiveness.We present AlanLight, a data modeling language for expressing complex recursive calculations, while guaranteeing soundness, functional correctness, and polynomial time complexity in the size of user data. To achieve this, we use complex referential integrity constraints and an elegant, formally defined analysis over constraint and calculation definitions in AlanLight programs. Furthermore, we give a formal specification of the dynamic semantics of AlanLight, implying its guarantees, and demonstrating support for on-demand minimal effort calculation. Subject AlanLightAlandata modelingterminationderived valuesprogramming languageM-industriesconstraintsreferential integrityfunctional correctnesspolynomial time complexityhierarchical modeling To reference this document use: http://resolver.tudelft.nl/uuid:3eedbb63-29ea-4671-a016-4c037eec94cd Part of collection Student theses Document type master thesis Rights © 2018 GJ Kunst Files PDF AlanLight_gjkunst_.pdf 1.16 MB Close viewer /islandora/object/uuid:3eedbb63-29ea-4671-a016-4c037eec94cd/datastream/OBJ/view