A software design method based on supervisory control theories: Method of changing state properties

Based on the supervisory control theory of discrete event systems, the software design method of changing state properties is studied in this paper. Properties of every system state are inherently determined by the system. When software requirements are presented, they are always on the properties of system states. In order to design a system to satisfy the requirements, the properties of system states are firstly analyzed, and then are changed to satisfy the requirements. This method is applied to the problems of software design, where requirements are presented as invariance or reachability. Some software design algorithms are presented accordingly. Comparing these results with those in literature, the proposed method is shown to be widely applicable and has many advantages.