Formalising humans in software processes
Ataru T. Nakagawa, Kokichi Futatsugi · 1995
In formally specifying software processes, the effects of human behaviour may best be classified in two broad categories. An executioner of a certain task plays a passive role, which does not affect the course of the process. A decision-maker does affect its course, sometimes radically. This difference reveals itself when we try to formulate axioms, where the effects of the former reduce to operators, while those of the latter reduce to conditions.