【摘 要】
：
在动态、异构和自治的互联网环境中，对WEB服务组合的形式化分析与验证是保证面向服务计算软件应用实时可性的有效途径，寻找有效的形式化分析的方法和工具是热点领域。现有
【机 构】
：
武汉大学软件工程国家重点实验室 武汉大学计算机学院 武汉 430072
【出 处】
：
2012年第三届中国计算机学会服务计算学术会议
论文部分内容阅读
在动态、异构和自治的互联网环境中，对WEB服务组合的形式化分析与验证是保证面向服务计算软件应用实时可性的有效途径，寻找有效的形式化分析的方法和工具是热点领域。现有研究主要是集中在服务组合流程和静态结构方面，在动态反映用户需求的服务组合及服务的动态耦合支持不够。本文从服务本体语义的层次，通过对OWL-S进行RGPS属性扩充，然后将其应用SOA架构模型映射到PI演算模型，对服务组合的动态耦合和可靠性进行分析并用PI演算验证工具MWB进行验证，结果表明方法的可行性，为动态服务组合的可靠和安全分析提供有效方法。
其他文献
接到请求时，如何快速准确地查找满足用户需求的服务是服务发现的目的所在。现有的服务发现方法大都通过对服务功能属性的匹配计算来进行服务查找，对服务的过程模型并没有进
皮肤是保护机体健康的天然屏障。人们因为在不同的工作环境,受到不同的冷、热等物理因素和各种不同的化学毒物的影响,又没有采取有效的防护措施,而造成机体的损害或中毒。近
自行车既是人们日常生活中的主要交通工具,又是锻炼身体极好的运动方式;一个人每天上、下班骑车四、五公里,一生要行驶数万公里,这对于邮递员来说,更是一个漫长的岁月,为此,
2018年9月底江苏省组织全省13个设区市以及省级代表队共56名专业技术人员参加寄生虫病防治技能竞赛,本研究对其理论考试与技能操作成绩进行收集整理分析,以了解江苏省寄生虫
为了解云南省人体钩虫病流行现状,于2015年按照《全国人体重点寄生虫病现状调查方案》和实施细则要求,采用分层整群随机抽样方法从全省抽取10个县(市)共20个调查点,每个调查
固有免疫是机体抵御病原微生物入侵的首道防线,弓形虫感染机体后能诱发有效的固有免疫应答,在限制弓形虫感染和扩散、促进适应性免疫产生等方面发挥重要作用.在固有免疫中,模
上海思博学院讲师刘颖在《论伦理学范畴的“责任”》的来稿中指出:责任(Responsibility)是一个具有广泛含义的概念,不同学科、不同领域具有不同的责任要求。客观性、主观性、
川北地区1987年8月中下旬发生了三化螟皮炎流行,波及苍溪、阆中县的7个区(镇),严重影响了工厂等企事业单位的生产和工作,危害甚大。现将发病原因的调查结果,报告如下。 1 罹
目的 了解深圳市某奶牛场引进育种奶牛的隐孢子虫感染情况及隐孢子虫分离株的分子特性.方法 于2018年5月收集深圳市某奶牛场奶牛新鲜粪样,粪样分装后抽提隐孢子虫基因组DNA,