期刊文章详细信息
文献类型:期刊文章
机构地区:[1]西北工业大学CAD/CAM研究中心,陕西省西安市710072
年 份:1993
卷 号:15
期 号:5
起止页码:28-31
语 种:中文
收录情况:JST、RCCSE、ZGKJHX、普通刊
摘 要:系统分析及设计是系统软件开发的价段,正确、清晰的系统分析及设计结果是保证系统软件开发得以成功的前提。但目前不少事务管理软件的开发,由于没有做好系统分析设计阶段的工作,致使开发出的软件不能满足实际工作的需要,因而造成了不应有的人力、财力的浪费。究其原因,一是不够重视,二是缺少有效的辅助工具。本文针对目前在系统分析设计阶段缺乏对管理事务生命用期状态转换进行形式化描述方法的不足,提出了用有穷自动机理论进行事务生命周期状态转换的形式化描述方法,并介绍了该方法在“设备管理系统”开发中的应用。
关 键 词:有穷自动机 事务管理 计算机自动化管理
分 类 号:TP36]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...