%0 Journal Article
%T A software design method based on supervisory control theories: method of changing state properties<br>种基于监控理论的软件设计方法：状态性质变换方法
%A WANG Xiang-yun
%A ZHANG Wen-hui
%A WANG Peng
%A LI Yong-chao
%A CAI Kai-yuan
%A <br>王向云
%A 张文辉
%A 王鹏
%A 李永超
%A 蔡开元
%J 控制理论与应用
%D 2007
%I 
%X 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.
%K reactive system
%K software design
%K discrete event dynamic system
%K supervisory control theory
%K software cybernetics<br>反应式系统
%K 软件设计
%K 离散事件动态系统
%K 监控理论
%K 软件控制论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=970898A57DFC021F93AB51667BAED7F7&aid=E7D7A37715794A2EC9543C5751BA502C&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=0B39A22176CE99FB&sid=3E0812ED84A7B31D&eid=C29816B2656377A7&journal_id=1000-8152&journal_name=控制理论与应用&referenced_num=2&reference_num=17