| 引用本文: | 王向云,张文辉,王鹏,李永超,蔡开元.种基于监控理论的软件设计方法：状态性质变换方法[J].控制理论与应用,2007,24(2):187~192.[点击复制] |
| WANG Xiang-yun,ZHANG Wen-hui,WANG Peng,LI Yong-chao,CAI Kai-yuan.A software design method based on supervisory control theories: method of changing state properties[J].Control Theory and Technology,2007,24(2):187~192.[点击复制] |
|
| 种基于监控理论的软件设计方法：状态性质变换方法 |
| A software design method based on supervisory control theories: method of changing state properties |
| 摘要点击 1357 全文点击 1128 投稿时间：2005-05-16 修订日期：2006-05-31 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/j.issn.1000-8152.2007.2.005 |
| 2007,24(2):187-192 |
| 中文关键词 反应式系统 软件设计 离散事件动态系统 监控理论 软件控制论 |
| 英文关键词 reactive system software design discrete event dynamic system supervisory control theory software cybernetics |
| 基金项目 国家自然科学基金重点资助项目(60633010);国家自然科学基金资助项目(60473067,60474006,60421001,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 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. |
|
|
|
|
|