一种基于监控理论的软件设计方法:状态性质变换方法  

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

作　　者：王向云[1] 张文辉[2] 王鹏[1] 李永超[1] 蔡开元[1] 

机构地区：[1]北京航空航天大学 自动控制系,北京100083 [2]中国科学院软件研究所 计算机科学重点实验室,北京100080

出　　处：《控制理论与应用》2007年第2期187-192,199,共7页Control Theory & Applications

基　　金：国家自然科学基金重点资助项目(60633010);国家自然科学基金(60473067;60474006;6042100l;60573012);国家973重点基础研究发展规划项目(2002cb312200)

摘　　要：基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。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 teachability. 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.

关 键 词：反应式系统 软件设计 离散事件动态系统 监控理论 软件控制论 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]