【摘 要】
：
组合网络上既有web服务以构造新的增值服务正逐渐成为一种主流软件形态．而Web服务组合常需进行修改演化以优化服务组合的内部业务流程，适应开放的工作环境．在服务组合演化时，为让
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机软件研究所
【基金项目】
：
国家“九七三”重点基础研究发展规划项目基金(2009CB320702);国家“八六三”高技术研究发展计划项目基金(2007AA01Z178,2009AA01Z117);国家自然科学基金(60736015,60721002)资助~~
论文部分内容阅读
组合网络上既有web服务以构造新的增值服务正逐渐成为一种主流软件形态．而Web服务组合常需进行修改演化以优化服务组合的内部业务流程，适应开放的工作环境．在服务组合演化时，为让尽可能多的执行中的服务组合实例享受到新业务流程带来的好处，应尽可能地将其动态地迁移到新流程下继续执行．同时为避免实例迁移到新流程后引发死锁等动态演化错误，需对这些迁移实例加以约束．文中提出了一个服务组合动态演化过程框架，在此框架下形式化地定义了一种新的实例可迁移性标准，并给出了相应的判定算法．与已有的可迁移性标准相比，该标准在确保不会
其他文献
区级名师工作室管理系统用于管理区内众多名师工作室开展的活动,其目的是方便名师开展活动,记录工作室成员的参与情况。而区级管理者可以通过系统,及时了解整个区工作室工作
结合我国最新《机动车强制报废标准》及纯电动城市公共交通客车路谱,在电动机额定输出功率工作的前提下,对一款新设计的纯电动城市公共交通客车用电动机变速器轴承系统进行了
研究确定鸡致病性大肠埃希菌的噬菌体能否裂解鸡肠道正常菌群中的大肠埃希菌，采集鸡肛拭子样本，通过 SS 培养基进行大肠埃希菌的分离培养，并对分离到的28株菌进行形态观察及生化
随着我国经济建设的迅猛发展,建筑行业呈现出繁荣发展之势,其为我国的现代化建设提供了有力的支撑,但是,传统的建筑行业对环境的影响巨大,创新节能已经成为当今社会发展的必
针对现有全自动电脑五指袜编织机只能单独编织左脚趾和右脚趾五指袜的问题,设计一种结构简单、方便用户使用,且能同时编织左脚趾与右脚趾五指袜的新型全自动电脑五指袜编织机
为了适应社会主义市场经济发展的需要,提高企业财务报表质量和会计信息透明度,财政部对《企业会计准则第2号——长期股权投资》（2006）进行了修订,并于2014年7月1日开始在所有执
“三史”课堂主要是通过史实、史料、史感提高学生的史学素养。历史图像作为“瞬间记忆”的课程资源,有着深刻的镜像意涵。在课堂教学中适时适度地使用历史图像,关乎通透史实
目的研究新生鼠缺氧缺血性脑损伤后经脑室移植人胚胎脑神经干细胞后,植入细胞的存活、迁移及分化情况。方法孕12周人胚胎神经干细胞在含有碱性成纤维细胞生长因子、表皮细胞
化学实验室在高校教学、科研和社会服务活动中占有重要地位,但首要前提是要保证实验室的安全;另外,随着近年来国家对环保的越来越重视,绿色实验室也成为关注的热点。因此,江
伞形钻孔灌注桩孔径检测系统在施工检测中是一种较新的检测手段,重点介绍了JJC-1E型钻孔灌注桩孔径质量检测系统的工作原理,对不同类型灌注桩的成孔检测、数据采集及分析,实