Tuplix Calculus Specifications of Financial Transfer Networks
Computational Engineering, Finance, and Science
2008-05-14 v1 Logic in Computer Science
Abstract
We study the application of Tuplix Calculus in modular financial budget design. We formalize organizational structure using financial transfer networks. We consider the notion of flux of money over a network, and a way to enforce the matching of influx and outflux for parts of a network. We exploit so-called signed attribute notation to make internal streams visible through encapsulations. Finally, we propose a Tuplix Calculus construct for the definition of data functions.
Cite
@article{arxiv.0805.1806,
title = {Tuplix Calculus Specifications of Financial Transfer Networks},
author = {J. A. Bergstra and S. Nolst Trenite and M. B. van der Zwaag},
journal= {arXiv preprint arXiv:0805.1806},
year = {2008}
}