An application of situation theory

A set-theoretical model of interactive processes, called DPC, is described by T. Scheurer (2000). The purpose of the paper is to present an application which 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++