从命题逻辑的需求描述到状态转移图的形式规格

作     者：屈玉贵 QU Yu-gui

作者机构：中国科学技术大学电子工程系合肥230027 

基　　金：国家"8 6 3"项目 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2000年第21卷第9期

页      码：917-919页

摘      要：信息处理系统的大规模化和复杂化 ,需要有效设计高可靠性系统的形式化的规格描述方法 .在通信系统中 ,前期设计阶段就要考虑系统变更频繁的情况 ,使得部分变更不要影响到系统的整体规格 .本文针对以上功能 ,提出了基于命题逻辑的信息处理系统的新的需求描述方法 .描述了通过使用逻辑 Petri Net( L PN) ,把命题逻辑的需求描述变换成状态转移图的过程 .并且给出了由 L PN自动生成状态转移图的算法 .

主 题 词：命题逻辑 LPN 状态转移图 信息处理系统 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2000.09.007

馆 藏 号：203465683...