Abstract: Dynamic fragmentation and execution of service based processes has being researched wildly. However, the existing works did not consider the validation of temporal consistency of dynamic fragmentation and execution under temporal constraints. Aiming at the practical requirement of service based processes, a new real-time validation method of temporal consistency in dynamic fragmentation and execution was proposed. Before fragmentation of service based processes, a temporal constraint was divided into constraint mappings on the fragments, which were also sent to execution sites with them. When each fragment was executed, its corresponding constraint mapping was analyzed based on the execution information of sites, so that the temporal consistency of service processes could be real-time checked. The method could reduce the cost of handling temporal exception effectivelly and improve time management autonomy of execution sites. Due to not restricting the structure of fragments, the method could handle a variety of fragmentation ways.

Key words: service process, dynamic fragmentation, temporal constraint, real-time validation, temporal consistency

摘要： 服务流程的动态分割执行目前已经成为国内外研究的热点，但是已有研究工作普遍没有考虑时序约束下分割执行的时序一致性验证。针对服务流程的这种实际需求，提出了一种动态分割执行的时序一致性实时验证方法。在服务流程动态分割时，通过约束映射将时序约束细化到分片中，并随着分片发布到执行站点。在执行时，执行站点可以基于分片执行信息，实时分析其约束映射的满足情况，从而实现服务流程的时序一致性分析验证。该方法有效减少了时序异常的处理开销，提高了执行站点的自治性；另外，它对分布结构没有限制，能够应用于各种动态分割执行方式。

关键词: 服务流程, 动态分割, 时序约束, 实时验证, 时序一致性