新一代计算架构下服务的松散耦合性、自治性和动态变化性使得面向服务的工作流在模型合成、模型分割、模型分析、运行和性能评价上出现了许多新的特点和难点。基于这些需求，本项目拟从模型合成验证、运行时模型分割和性能分析三个方面展开研究。首先研究基于模型检测的服务流程合理性验证问题，包括理论框架和实现算法；验证的性质包括服务调用关系的逻辑正确性、流程时间性质的可满足性和服务流程涉及到的其他特殊性质。接着研究面向服务的分布式工作流模型分割问题，包括模型分割理论框架的建立、模型分割的静态和动态方法、模型分割的正确性定义及验证、模型分割的策略和效率分析等内容。最后研究服务流程执行的性能分析和评估方法，包括面向服务的业务流程的性能评价模型和基于系统动力学及多过程仿真的工作流性能分析方法。以上三项研究内容是面向服务的工作流的关键理论问题，而且遵循了工作流技术的建模－运行－性能分析这一逻辑主线。 2100433B
