A Reflexive Formal Software Process Model

. In this paper a very simple reflexive formal software development method is described. The method is called OBM which provides a formal specification language. This paper demonstrates that the OBM development method can be defined as a process model in the OBM language. An example is used to illustrate how to develop and modify applications using the OBM development method. 1 Motivation for the Study The study of software processes has attracted increasing attention in the last decade. One of the characteristics of such processes is that they are subject to frequent change. Thus, often either a software process needs to be changed or a new process needs to be created. The activities for managing a process, e.g. creating or changing, are usually referred to as meta-activities. A process consisting of the meta-activities for a particular process is referred to as a metaprocess. As pointed out in [6], since meta-processes are also processes, they themselves also need to be created an..