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.