摘要
本文针对分层工作流过程模型的语义建模存在的问题,基于扩展同步器和CPN,将工作流过程模型的逻辑结构和语义与CPN中的网结构和网表达式进行映射,进而定义了基于同步结构和CPN的工作流过程模型WFC_Net,并给出了采用约束表达式对该模型进行语义层验证的方法。
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.
出处
《计算机工程与科学》
CSCD
2008年第10期139-142,共4页
Computer Engineering & Science
关键词
分层工作流过程
语义建模
约束表达式
hierachical workflow process
semantic modeling
restraint expression
