【摘 要】
：
由于服务是由彼此独立的提供商开发的，无法在开发阶段就预测到其潜在的所有交互可能，因此需要在实际协作时检查服务之间的兼容性，从而保障协作的正确性和一致性．提出了一种基于分
【机 构】
：
中国科学院软件研究所软件工程技术研究开发中心
【基金项目】
：
国家自然科学基金No.60673112;国家科技支撑计划No.2006BAH02A02;国家高技术研究发展计划(863)No.2006AA01Z19B~~
论文部分内容阅读
由于服务是由彼此独立的提供商开发的，无法在开发阶段就预测到其潜在的所有交互可能，因此需要在实际协作时检查服务之间的兼容性，从而保障协作的正确性和一致性．提出了一种基于分布式协调模型的方法，以提高服务的可复用性和服务协作的灵活性．该方法通过失败等价（failure-equivalent）行为语义保持的投影规则，将协作流程转换为协作子流程，以实现分布式的成对兼容性检查，并提出基于适配的检查方法，检验服务是否可以通过适配机制满足兼容性的要求，同时给出了适配器自动生成的算法．适配机制的引入进一步降低了服务与协作环
其他文献
<正>"腹有诗书气自华"。诗意盎然、清新灵动的文字如一泓山泉拨动着读者的心弦,使得文章别具一格,楚楚动人。让诗意栖居文中,能在尺幅之间彰显出作者厚实的文化底蕴,充分展示
随着社会的发展,人才在经济发展的作用越来越明显,甚至成为公司实力的象征,媒体行业的发展给人力资源管理带来了机遇和挑战。新媒体的融合改变了人力资源管理的界限,不仅提高
中外现代化比较研究肇始于19世纪下半叶,鼎盛于战后,至20世纪末叶,以世纪交替、人类文明走向全球化和后现代思潮的兴起为背景,出现了新的研究热潮,众多学者在比较现代化研究
<正>自1998年起,我国开始实施住房制度改革,不再实行福利分房,使得商品房市场得以大发展。为了保障人人享有住房的权利,国家建立了商品房和保障房同时发展的"双轨制"模式。20
汉语口语作为语言学习四项基本技能之一,是对外汉语教学中重要的组成部分。而语篇成段能力对于高级留学生来讲,是必须要掌握的能力之一,也是判断留学生汉语水平的重要因素。
新一轮基础教育课程改革大力倡导在各科中面向全体学生,开展多样化的探究式学习。这就要求在教学过程中,辩证地处理学生自主与教师指导的关系,不仅强调学生要倾听教师,更要强
收益是衡量公司业绩的核心概念，但是以会计收益为基础的净资产收益率、市盈率等传统单一的指标无法全面反映隐藏在数字背后的收益质量，不能为决策提供有效的信息。因此，如何透过
命题是教师成长的必要环节,但如何命题却成为很多教师的软肋.以一次命题过程中的思考、改编、原创等一系列尝试为基本,在此谈一谈命题的过程与想法,与读者分享.
近年来,中国交通运营企业在不断发展壮大的同时,也普遍存在融资难度大、投资决策不科学、经营效益缓慢、内控管理水平低等问题。为了推动交通运营企业健康持续发展,必须做好