【摘 要】
：
服务流程的动态分割执行目前已经成为国内外研究的热点,但是已有研究工作普遍没有考虑时序约束下分割执行的时序一致性验证。针对服务流程的这种实际需求,提出了一种动态分割
【机 构】
：
北京科技大学机械工程学院,清华大学自动化系
【基金项目】
：
国家自然科学基金资助项目（61004109）, 中央高校基本科研业务费专项资金资助项目（FRF-TP-12-047A）
论文部分内容阅读
服务流程的动态分割执行目前已经成为国内外研究的热点,但是已有研究工作普遍没有考虑时序约束下分割执行的时序一致性验证。针对服务流程的这种实际需求,提出了一种动态分割执行的时序一致性实时验证方法。在服务流程动态分割时,通过约束映射将时序约束细化到分片中,并随着分片发布到执行站点。在执行时,执行站点可以基于分片执行信息,实时分析其约束映射的满足情况,从而实现服务流程的时序一致性分析验证。该方法有效减少了时序异常的处理开销,提高了执行站点的自治性;另外,它对分布结构没有限制,能够应用于各种动态分割执行方式。
其他文献
云模型之间的隶属度判定是云模型在评估与决策领域推广应用的关键环节。针对该问题,以一维正态云为研究对象,提出一种基于＂云图＂视角分析的正态云概念隶属度判定算法。在该算法
“核雾染”为什么是无稽之谈近期,有文章称华北雾霾与内蒙古伴有铀类放射性元素的煤炭利用,以及内蒙古大营地区新发现的大型铀矿资源有关。称终日不散的雾霾是因为燃煤排放的
为有效地支持制造仓业在制造过程的协作与协同，并提供信息平台的支撑，提出了一种新的网络化协同制造执行平台的架构、运作流程和服务集成技术。针对跨企业制造过程协作对网络化
为实现云制造服务的推广应用,分析了云制造企业的合作思想,提出基于合作的云制造实现模式与分阶段实施步骤。分析了云制造企业合作的复杂性,以多功能开放型企业供需网动态网
在涠洲岛东南面约9海里处,有个面积仅为1.89平方公里的小岛,名叫斜阳岛,岛上只有一个小小的村庄,叫斜阳村。这个几乎与世隔绝的小岛至今还未通航,有条件的村民都往外迁徙了,
本刊围绕＂教育装备现代化＂主题举办2016年征文活动。具体事项如下。一、征文内容1.探索教育装备发展方向。运用先进的教育思想、办学理念和教学实践经验,分析教育发展对教育装
介绍了以优化数据库设计和数据库管理的数据库技术为基础的地方电网线损管理系统,采用3层B/S(浏览器/Web服务器/数据库服务器)模式实现线损管理信息的模块化设计并在Web上发
近年来．分布式能源和智能电网的结合应用在世界各国越来越得到认可和推广。对我国而言，发展分布式能源和智能电网至少具有重要的现实意义。在两会上，全国政协委员、中国电力国际
分析了目前国内各种自动抄表系统的优点和不足,根据计算机技术、通信技术和网络技术的最新进展,设计出一种以互联网为通信渠道,基于TCP/IP协议的远程抄表系统,并对此系统的应