【摘 要】
：
松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准
【基金项目】
：
国家自然科学基金项目(60603063)资助;国家科技攻关计划项目(2005BA112A02)资助
论文部分内容阅读
松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准确描述了事务性服务组合执行语义和状态转换,给出了语义原子性的形式化定义.基于该模型,刻画了良构性及其循环、弱序及递归构造判定准则,证明了符合判定准则是一个事务性服务组合满足良构性的必要条件,给出了基于模型检测的良构性判定方法.
其他文献
本文介绍了水产品加工企业创建“标准化良好行为企业”的重要性，重点阐述了水产品加工企业创建“标准化良好行为企业”的工作程序及注意事项，以促进水产品加工企业标准化管理水
为了解本镇学龄儿童乙肝的感染情况,我们于1997年3月-2000年5月对深圳市西乡镇居住有学龄前儿童进行血清HBsAg、HBsAb监测.本文对监测结果统计并对有关因素进行分析,现报告如
后张法预应力箱梁是近年来铁路、公路桥梁常见的一种桥梁上部结构形式。根据唐山市到迁西段一级公路施工后张法预应力箱梁施工经验,对后张法预应力箱梁预制等施工技术及质量
2007年,由于受原料价格上涨的影响,乳制品市场也掀起了涨价浪潮。刚刚步入2008年,乳制品的新一轮涨价浪潮又被掀起,这一次,我们发现国内的几家乳制品龙头企业也打破了长久的