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

• 作者: 张文辉 李永超 王向云 王鹏 蔡开元
• 来源期刊: 控制理论与应用
• 关键词: 反应式系统 软件设计 离散事件动态系统 监控理论 软件控制论
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 论文
• 页码范围: 187-192,199
• 页数: 7页
• 分类号: TP311.5|O231
• 语种: 中文
• DOI: 10.3969/j.issn.1000-8152.2007.02.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王鹏	北京航空航天大学自动控制系	55	761	12.0	27.0
2	蔡开元	北京航空航天大学自动控制系	45	583	13.0	23.0
3	李永超	北京航空航天大学自动控制系	2	45	2.0	2.0
4	王向云	北京航空航天大学自动控制系	3	26	2.0	3.0
5	张文辉		5	22	3.0	4.0