Decision Taking versus Promise Issuing
Software Engineering
2013-06-28 v1
Abstract
An alignment is developed between the terminology of outcome oriented decision taking and a terminology for promise issuing. Differences and correspondences are investigated between the concepts of decision and promise. For decision taking, two forms are distinguished: the external outcome delivering form and internalized decision taking. Internalized decision taking is brought in connection with Marc Slors' theory of self-programming. Examples are produced for decisions and promises in four different several settings each connected with software technology: instruction sequence effectuation, informational money transfer, budget announcement, and division by zero.
Keywords
Cite
@article{arxiv.1306.6412,
title = {Decision Taking versus Promise Issuing},
author = {Jan A. Bergstra},
journal= {arXiv preprint arXiv:1306.6412},
year = {2013}
}
Comments
29 pages