Towards Synthesis of Code for Calculations Using Their Specifications

Advaita Datar, Amey Zare, Venkatesh R, Asia A

2023

Abstract

Banking, Financial Services, and Insurance (BFSI) software are calculation intensive. In general, these cal- culations are formally specified in spreadsheets, known as Calculation Specification (CS) sheets. CS sheets describe the calculation inputs and the business logic applied on these inputs to compute calculation output(s). Additionally, an illustration of the calculation is provided with at least one valid value for each calculation in- put. However, manual implementation of code corresponding to such CS sheets remains to be effort-intensive and tedious. This includes writing database queries to retrieve values for calculation inputs from the enterprise database and converting these queries and corresponding business logic to code. We propose a novel idea to synthesize code corresponding to CS sheets that will i) automatically identify the calculation inputs ii) formu- late a Programming By Example (PBE) specification for each calculation input where, PBE input is the textual description of the calculation input, PBE output is the valid value provided in the calculation’s illustration, iii) then for each PBE specification a) synthesize a set of possible database queries, b) manually review them and mark the intended query, and finally iv) generate code, in desired target language, for all intended queries and the business logic specified in CS sheets.

Paper Citation

in Harvard Style

Datar A., Zare A., R V. and A A. (2023). Towards Synthesis of Code for Calculations Using Their Specifications. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-647-7, SciTePress, pages 497-504. DOI: 10.5220/0011940900003464

in Bibtex Style

@conference{enase23,
author={Advaita Datar and Amey Zare and Venkatesh R and Asia A},
title={Towards Synthesis of Code for Calculations Using Their Specifications},
booktitle={Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2023},
pages={497-504},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011940900003464},
isbn={978-989-758-647-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Towards Synthesis of Code for Calculations Using Their Specifications
SN - 978-989-758-647-7
AU - Datar A.
AU - Zare A.
AU - R V.
AU - A A.
PY - 2023
SP - 497
EP - 504
DO - 10.5220/0011940900003464
PB - SciTePress