At present, there is no formalized description of the executing procedure of workflow models. The procedure of workflow models executing in workflow engine is described using the operational semantic.
针对还没有工作流模型的执行过程的形式化描述的问题，给出工作流机处理步骤的操作语义描述。
In this paper, after studying the description of business process in workflow system, a kind of service process model is defined, and the structure correctness and semantic validity are analysed.
该文研究了工作流技术中的业务过程描述方式，设计了一个业务过程模型，并对其结构正确性和语义正确性进行了证明和分析。
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
应用推荐