Author(s): DU Yanhua, WANG Xiaofei, WU Xiuli, FAN Yushun
Pages: 1315-1326
Year: 2012 Issue:  6
Journal: Computer Integrated Manufacturing Systems
Keyword:  service process; dynamic fragmentation; temporal constraint; real-time validation; temporal consistency;
Abstract: 服务流程的动态分割执行目前已经成为国内外研究的热点,但是已有研究工作普遍没有考虑时序约束下分割执行的时序一致性验证。针对服务流程的这种实际需求,提出了一种动态分割执行的时序一致性实时验证方法。在服务流程动态分割时,通过约束映射将时序约束细化到分片中,并随着分片发布到执行站点。在执行时,执行站点可以基于分片执行信息,实时分析其约束映射的满足情况,从而实现服务流程的时序一致性分析验证。该方法有效减少了...