基于语义本体的流程建模与验证

• 作者: 常关羽 杨海成 王冲
• 来源期刊: 计算机集成制造系统
• 学科: 工学
• 关键词: 业务建模 语义本体 Petri-网 模型验证
• 年，卷（期）: 2016,（9）
• 所属期刊栏目: 现代制造服务技术
• 页码范围: 2256-2263
• 页数: 8页
• 分类号: TP3
• 字数: 6680字
• 语种: 中文
• DOI: 10.13196/j.cims.2016.09.022

摘要

针对企业业务的协作、共享、互操作能力的迫切需求,以及流程管理应用系统中流程模型的可验证性不足的问题,结合语义本体技术和Petri-net技术,提出一种业务流程建模和验证方法,建立了基于语义的业务流程模型.模型兼顾了准确表达流程控制结构和共享业务知识的需求,采用语义本体来描述流程的关键要素,形成了可交互操作的流程语义知识,提升了流程的跨机构交互性能,为建设新一代以知识为基础、以人为中心的智能流程系统提供基础支撑.模型对传统流程结构描述进行了拓展,将流程结构表达作为结构语义元素融人流程本体中,得到了更丰富的流程模型描述.为了增强流程模型的可应用性,充分考虑了模型的可验证性问题,给出了相应的验证方法并考察了验证效率,实现了模型语义和结构的双重验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨海成	西北工业大学现代设计与集成制造技术教育部重点实验室	166	2334	27.0	40.0
2	王冲	西北工业大学现代设计与集成制造技术教育部重点实验室	5	32	4.0	5.0
3	常关羽	西北工业大学现代设计与集成制造技术教育部重点实验室	6	31	3.0	5.0