一种基于监控理论的软件设计方法:状态性质变换方法
王向云1
张文辉2
王鹏1
李永超1
蔡开元1
1.北京航空航天大学,自动控制系,北京,1000832.中国科学院,软件研究所,计算机科学重点实验室,北京,100080
摘要：基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论.给定一个系统,其每一个状态的性质都是确定的.当提出软件需求时,常常是对系统状态的性质提出需求.为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质.本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性.
关键词：反应式系统软件设计离散事件动态系统监控理论软件控制论
分类号：TP311.5(计算技术、计算机技术)O231(控制论、信息论（数学理论）)
资助基金：国家自然科学基金(60633010)国家自然科学基金(60473067)国家重点基础研究发展计划（973计划）(2002CB312200)
论文发表日期：2007-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：7( 187-192,199 )
英文信息