An application of situation theory

A set-theoretical model of interactive processes, called DPC, is described in a companion paper by the author ("Situation Theory - A Formal Model of Interactive Processes"). The purpose of this paper is to present an application. This is very general: It is the distributed production of software through a team of programmers working independently of one another. This process is described as consisting of a set of partially concurrent subprocesses. These are not known individually beforehand: they arise dynamically, each in response to the outcome of previous ones. The main purpose of the paper is to show how this overall process is modelled by DPC. To keep the application simple, we assume that it is concerned with the construction of any program in a procedural language like Pascal or C++.