【摘要】 本文针对分层工作流过程模型的语义建模存在的问题,基于扩展同步器和CPN,将工作流过程模型的逻辑结构和语义与CPN中的网结构和网表达式进行映射,进而定义了基于同步结构和CPN的工作流过程模型WFC_Net,并给出了采用约束表达式对该模型进行语义层验证的方法。更多还原

【Abstract】 As for the semantic modeling problem of the hierachical workflow process model,the logical structure and semantics 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.更多还原