工作流模型分析相关论文
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一......
提出了一种基于活动时序逻辑（TLA）的工作流建模与模型分析的形式化方法。该方法将模型及模型的性质都表示为一个，TLA公式，对工作流模型......
目前，工作流的建模和分析工具有很多，由于Petri网具有坚实的理论基础和易于使用的图形表示，因而是一种理想的建模和分析工具。论文着......
在总结工作流模型的要求与分析现有工作流建模方法的不足的基础上,针对这些建模方法在支持业务过程的自动化执行、模型分析及模型......
