J4 ›› 2008, Vol. 30 ›› Issue (10): 139-142.
• 论文 • 上一篇 下一篇
王斌[1] 章云[1] 王晓红[2]
出版日期:
发布日期:
Online:
Published:
摘要：
本文针对分层工作流过程模型的语义建模存在的问题，基于扩展同步器和CPN，将工作流过程模型的逻辑结构和语义与CPN中的网结构和网表达式进行映射，进而定义了基于同步结构和CPN的工作流过程模型WFC_Net，并给出了采用约束表达式对该模型进行语义层验证的方法。
关键词: 分层工作流过程 语义建模 约束表达式
Abstract:
As for the semantic modeling problem of the hierachical workflow process model, the logical structure and se- reantics of the model are mapped to the network structure of CPN and the network expressions based on the expansion synchronizer and CPN, a workflow model WFC_Net based on the synchronization structure and CPN is defined, and a method of verifying the semantic layer of the model by adopting restraint expression is proposed.
Key words: hierachical workflow process, semantic modeling, restraint expression
王斌[1] 章云[1] 王晓红[2]. 基于CPN的分层工作流过程模型建模研究[J]. J4, 2008, 30(10): 139-142.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2008/V30/I10/139
