【摘 要】
：
现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元
【机 构】
：
南京理工大学计算机科学与工程学院,英国OxfordBrookes大学计算与通信系
【基金项目】
：
国家自然科学基金（61502233,61402229）,江苏高校”青蓝工程”,中央高校基本科研业务费专项资金（30916011328）,欧盟移动云计算FP7项目MONICA（PIRSES-GA-2011-295222）
论文部分内容阅读
现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对
其他文献
随着网络技术的发展,互联网中越来越多的资源被应用于信息检索中,大量的研究表明,社会化标注可以用于改善信息检索。现有个性化排序的方法中,用户之间的相似度大多通过其共同
<正>我国养鸭业历史悠久,早在公元前500年前后己经有大群养鸭的记载,而现代肉鸭业的兴起与发展,只是近二十几年的事情。据FAO公布统计数据,2006年我国鸭饲养量达23.6亿只,占
C＋＋是一种非常流行的计算机编程语言，在使用的过程中容易出现内存泄漏问题，而该问题往往难以识别。给出了一种对C＋＋内存泄漏问题进行分析的方法，该方法得到C＋＋源代码的抽象语法树，从抽
目的评价变通白虎汤联合类人胶原蛋白敷料治疗面部接触性皮炎的疗效。方法将65例面部接触性皮炎患者随机分为2组。治疗组33例,予口服变通白虎汤联合外用类人胶原蛋白敷料;对
<正>老舍先生的语言清新纯净、优美空灵,如清水芙蓉,无铅华粉饰,却能清沁肺腑,得无穷妙境。如此佳境,得益于他善用虚笔。在《济南的冬天》一文中,我们就可以看到老舍先生巧用
一、背景 2001年，我校在全区最早引进国外英语教材，最早聘请外籍教师任教英语口语，是无锡市公办学校中吸收外籍学生最多的学校。2007年，我校被评为无锡市第一批双语实验学校，2008