您的位置: 专家智库 > 作者详情>王冲

王冲

作品数:1 被引量:6H指数:1
供职机构:西北工业大学机电学院现代设计与集成制造技术教育部重点实验室更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇语义本体
  • 1篇本体
  • 1篇PETRI

机构

  • 1篇西北工业大学

作者

  • 1篇杨海成
  • 1篇常关羽
  • 1篇王冲

传媒

  • 1篇计算机集成制...

年份

  • 1篇2016
1 条 记 录,以下是 1-1
排序方式:
基于语义本体的流程建模与验证被引量:6
2016年
针对企业业务的协作、共享、互操作能力的迫切需求,以及流程管理应用系统中流程模型的可验证性不足的问题,结合语义本体技术和Petri-net技术,提出一种业务流程建模和验证方法,建立了基于语义的业务流程模型。模型兼顾了准确表达流程控制结构和共享业务知识的需求,采用语义本体来描述流程的关键要素,形成了可交互操作的流程语义知识,提升了流程的跨机构交互性能,为建设新一代以知识为基础、以人为中心的智能流程系统提供基础支撑。模型对传统流程结构描述进行了拓展,将流程结构表达作为结构语义元素融入流程本体中,得到了更丰富的流程模型描述。为了增强流程模型的可应用性,充分考虑了模型的可验证性问题,给出了相应的验证方法并考察了验证效率,实现了模型语义和结构的双重验证。
常关羽杨海成王冲
关键词:语义本体
共1页<1>
聚类工具0