童格明
- 作品数：4 被引量：12H指数：2
- 供职机构：兰州理工大学计算机与通信学院更多>>
- 发文基金：甘肃省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于本体的UML类图语义推理被引量：5
- 2011年
- 统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。
- 刘嘉童格明李明臧凤奎
- 关键词：本体UML类图形式化描述逻辑
- UML2.0顺序图的时序描述逻辑语义被引量：7
- 2011年
- 针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义。实例检验结果表明,该方法具有可行性。
- 张其文童格明李明
- 关键词：UML2.0顺序图形式化描述逻辑
- UML顺序图的形式化
- 统一建模语言/(UML/)是在多种面向对象建模方法联合的基础上形成的建模语言。它以支持面向对象、可视化建模和强大的表达能力等优点已经被人们广泛的用于多种类型的系统建模。然而, UML是半形式化的——其语法结构采用了形式化...
- 童格明
- 关键词：UML顺序图形式化方法描述逻辑动态描述逻辑
- 文献传递
