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

第24卷第2期 控制理论与应用 Vbl．24No．2 2007年04月 Control Theory＆Applications Apr．2007 文章编号：1000—8152(2007)02—0187--06 一种基于监控理论的软件设计方法：状态性质变换方法 王向云1，张文辉2，王鹏1，李永超1，蔡开元1 (1．北京航空航天大学自动控制系，北京100083；2．中国科学院软件研究所计算机科学重点实验室，北京100080) 摘要：基于把离散事件系统监控理论用于软件设计的思想，本文中对软件设计的状态性质变换方法作了详细的 讨论．给定一个系统，其每一个状态的性质都是确定的．当提出软件需求时，常常是对系统状态的性质提出需求．为 设计出满足需求的系统，可以首先按照是否满足该性质对系统状态进行分类，再对不满足该性质的状态控制其可控 事件的发生从而改变其性质使之满足要求的性质．本文将这种方法用于软件需求是不变性或可达性时的软件设计 问题，通过和已有文献中