中央高校基本科研业务费专项资金(100603)
- 作品数：3 被引量：2H指数：1
- 相关作者：黄少滨刘刚张涛刘国峰程媛更多>>
- 相关机构：哈尔滨工程大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种UML状态图模型检测方法
- 2011年
- 为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图转换为具有KRIPKE语义结构的状态迁移系统,并将系统需满足的性质表示为线性时序逻辑公式,用模型检测技术验证状态迁移系统对线性时序逻辑公式的满足性.该方法可以转换更多的状态图元素,缩减状态图迁移系统的状态空间及提高模型检测效率.
- 张涛黄少滨黄宏涛吕天阳刘刚
- 关键词：操作语义UML状态图
- 基于场景的并发系统需求验证方法研究被引量：1
- 2011年
- 为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序和描述系统规约的线性时序逻辑作为模型检测器SPIN的输入,用模型检测的方法自动验证并发系统需求设计的一致性和完备性,最后为证明上述方法的有效性给出一个基于场景的ATM系统需求设计验证实例.实验结果表明,该方法能够有效地发现并发系统需求设计中的错误与不一致,为改进设计提供帮助.
- 张涛黄少滨黄宏涛吕天阳刘刚
- 关键词：并发系统UML顺序图SPIN
- 基于聚类和辅助词典的模式匹配方法被引量：1
- 2013年
- 针对中文环境下的模式冲突问题,提出了一种利用元数据的模式匹配方法.该方法从数据字典中为模式提取特征向量,并采用聚类技术对其进行聚类,将语义相近的模式划分到相同聚簇中;对于同一聚簇中的不同模式,借助辅助词典计算属性间的语义相似度,并采用多种选择策略相结合的方法对结果进行过滤,为每个属性生成候选匹配集合.实验结果表明,该方法不仅可以提高模式匹配效率,而且具有较高的准确度.
- 刘国峰黄少滨程媛郎大鹏
- 关键词：聚类技术语义相似度
