Tabular Expressions Operators

Article type: Research Article

Authors: Bourguiba, Imen | Moa, Belaid

Affiliations: McMaster University, Hamilton, Ontario, Canada, [email protected] | University of Victoria, Victoria, BC, [email protected]

Note: [] Address for correspondence: McMaster University, Hamilton, Ontario, Canada

Abstract: Tabular expressions are one of the most important table-based techniques used to formally specify software requirements. The power of tabular expressions stems from their visual structure, and concise representation of mathematical functions and relations. Towards using tabular expressions as a programming language, we propose a tabular expression language in which tabular expressions are first class citizens. The language is built upon atomic tabular expressions and operators. As such, tabular expressions are viewed as a stack of atomic expressions and operators that we apply on them. This view enhances building tools supporting the semantics of tabular expressions, and using them directly during the implementation. The tabular operators introduced are used to compose and decompose tabular expressions in a modular way, which improves their semantics.

DOI: 10.3233/FI-2012-730

Journal: Fundamenta Informaticae, vol. 119, no. 2, pp. 121-147, 2012