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