面向应用的Web服务组合设计和验证框架

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:larry_john
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。
其他文献
5月8日,交通部将推行车型标准化的消息传出后,引起行业高度关注。尽管尚处于调研期,而且相关部委并未发布车型标准化的一些细节,但是很多行业人士还是对车型标准化的推出拍手
消除安全事故隐患,单靠传统的安全管理方法是不够的。作者介绍了煤矿安全管理,浅析了煤矿安全系统工程;将煤矿生产中发生安全事故的主要类型、时间等做了较系统论述,并分析了影响
近年来,计算机教学逐渐成为小学教学中的重要组成部分。而小学阶段是学生成长和发展最为特殊的阶段,该阶段的学习与学生未来的学习习惯和学习态度有着直接的联系。因此,为了
创新靠人才,培养创新人才是当今教育的一项重要任务,增强学生的创新意识是新课程改革的核心内容之一.科学知识的生产包含了大量个体默会知识的参与.科学的创新根源于默会的力
在盐碱土区,经土壤养分分析和田间试验,从水稻产量和经济效益2方面分析得出,平衡施肥优于农民习惯施肥,产量和经济效益有较大提高。本应用研究对盐碱土改旱田为水田以及科学
概述了钻孔灌注桩施工技术,分析了市政桥梁钻孔灌注桩施工技术,以期和同行进行交流和探讨。
本文通过对济宁二井田构造规律分析,得出了井田褶皱和断裂构造特征,分析了断层形成的力学性质,为矿井生产起到指导作用。
目的探讨无创产前基因检测技术在产前筛查中的应用价值。方法选择2018年1月~2019年8月在我院自愿选择无创产前基因检测的孕妇5000名,采集外周血浆应用高通量测序进行胎儿游离
随着建筑工程的发展,钢筋混凝土的用量越来越大,因各种原因,出现钢筋混凝土质量通病。通常建筑工程的建设较为复杂,为保障工程质量,须对建筑工程的整个过程加强科学的管理。
小龙虾(克氏原螯虾)养殖的效益绝大部分取决于售价,卖得好比养得好还要重要,出苗的季节做到“人无我有、人有我优”。小龙虾虾苗在3月上旬市场供应较少,价格偏高;虾苗集中上
期刊