基于命题逻辑的组件约束检测

• 作者: 冯博琴 陈宁
• 来源期刊: 西安交通大学学报
• 关键词: 组件约束 命题逻辑 真值表 检测算法
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 专题研究
• 页码范围: 172-175
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2007.02.010

摘要

针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法.通过命题符号化的过程,即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题.该算法首次使用受限真值表的概念来描述组件约束,清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换,通过包含、否定和插入等规则来合并真值表,以解决检测组件约束时存在的冗余与冲突问题,并获得期望行为的最小组件集合,从而保证了组件约束之间相互一致.与基于规则模式表方法相比,所提算法克服了人工检测的不确定性,改善了检测的时间性能,并可将冲突错判率降低大约10%,平均处理时间降低大约33%.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯博琴	西安交通大学计算机科学与技术系	171	3268	30.0	50.0
2	陈宁	西安交通大学计算机科学与技术系	29	238	8.0	15.0