1.
Workflow Verification Based on XPFL-Research & Implementation of Flow LyzerXP;
基于XPFL的工作流验证—FlowLyzerXP的研究与实现
2.
Research and Implementation of Workflow Verification Based on State Transformation
基于状态转换的工作流验证的研究与实现
3.
Verification Method of Concurrent Workflows Based on Extended UML Statecharts
一种基于扩展UML状态图的并发工作流验证方法
4.
Modeling and Verification of the Workflows Based on UML-Statecharts;
基于UML状态图的工作流建模与验证
5.
Research on Workflow Modeling and Verification Based on Workflow Truth Table;
工作流建模与基于真值表验证的研究
6.
Verification of Workflow Model Based on Petri Nets;
基于Petri网的工作流模型验证
7.
Semantic deduction-based workflow structure verification method;
基于语义推理的工作流结构验证方法
8.
Workflow-based DO-178B Verification System
基于工作流的DO-178B验证系统
9.
Building and Verification of Equipment Support Workflow Model for Engineers Corps
工兵团装备保障工作流模型建立与验证
10.
Research on Verification of Workflow Model Based on Directed Hypergraph;
基于有向超图的工作流模型验证方法研究
11.
Research on Workflow Model Verification and Data Access Conflict Analyze;
工作流模型验证与数据访问冲突分析方法研究
12.
Research on Technology of Workflow Model Verification Based on Synchronization Net;
基于同步网的工作流模型验证技术研究
13.
Modeling and Verification of Workflow in Virtual Enterprises;
面向虚拟企业的工作流建模与正确性验证
14.
Research and Analysis on Model for Web Service Composition Based on Workflow Petri Net;
Web服务组合工作流建模分析及Petri网验证
15.
Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques;
基于Petri网化简技术的工作流过程模型结构验证
16.
The Verification of Petri-Net-Based Extend XinPai Driven Workflow Model
基于Petri网的扩展信牌驱动工作流模型的验证
17.
Research of Time Modling and Its Consistency Verification in Workflow System
工作流系统中时间建模及其一致性验证研究
18.
Integration Verification of Workflow Business Rule Semantic
工作流业务规则语义的完整性验证技术