刘晓健
- 作品数：2 被引量：9H指数：2
- 供职机构：西安电子科技大学计算机学院软件工程研究所更多>>
- 发文基金：国家教育部博士点基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向对象-规则语言系统的实现及在威胁估计中的应用被引量：4
- 2004年
- 针对C3I软件系统的需求和现有规则语言系统的不足,提出了一种把面向对象语言范型和规则语言范型相结合的混合语言系统,设计了该语言的语法,实现了编译器和规则引擎。该规则语言系统允许规则程序和C++程序交叉引用,弥补了自封闭规则系统的不足,满足了C3I软件系统中C/C++程序模块与规则程序模块交互和协作的要求。通过在C3I情报处理系统中的应用,证明使用规则来编码威胁优先级、告警级别等应用逻辑,能够把这些易变的部分与系统的其它部分独立开来,增强了系统的可维护性。
- 刘晓健陈平
- 基于PVS的UML类图和序列图的一致性检验被引量：5
- 2004年
- 针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法。在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题。实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用。
- 刘晓健陈平
- 关键词：统一建模语言类图序列图
