【摘 要】
：
服务组合是服务计算的核心问题,而服务组合的正确性与可算性则是服务正确执行的前提保证.首先提出一种基于Alloy的服务组合验证方法,采用有限的状态机建模WS-BPEL业务流程的
论文部分内容阅读
服务组合是服务计算的核心问题,而服务组合的正确性与可算性则是服务正确执行的前提保证.首先提出一种基于Alloy的服务组合验证方法,采用有限的状态机建模WS-BPEL业务流程的状态变迁,利用Alloy语言对待验证的属性进行描述,通过Alloy模型完成有限状态机的形式化,最后使用AlloyAnalyzer分析组合服务是否满足验证属性要求.实验研究表明,所提出的基于Alloy的服务组合验证方法具有较好的可行性.
其他文献
进入6月份,我国光伏发电电价补贴政策的“靴子”依然没有落地,而欧盟对中国光伏产品双反初裁应约而至.于是中国光伏人对国内光伏新政的期待愈发强烈.rn将要出台的光伏电价补
目的 探讨过表达SNORD47对U87-EGFRvⅢ 胶质瘤细胞增殖和侵袭的影响.方法 将对数生长期U87-EGFRvⅢ 胶质瘤细胞分为SNORD47组、阴性对照组、空白对照组3组,前2组分别转染携带
师资水平的高低影响着一个学院的教学质量.教师队伍是学校的主体,是学校的核心竞争力.高职院校对师资队伍建设有系统的要求,目前中国处于高速发展时期,在多方因素的综合作用
作为互联网时代的一种金融创新,互联网金融发展迅速,也渗透到社会的各个领域,创新出各种形式的信贷模式.极具潜力的大学生消费群体也成为互联网金融的发展目标,诞生了“校园
目的 研究血红素氧化酶Ⅰ型(HO-1)在胶质瘤组织中的表达及意义.方法 (1)选择中山大学孙逸仙纪念医院神经外科自2010年1月至2015年1月采用手术治疗的胶质瘤患者56例,其中WHO分
目的建立一种灵长类慢性颞叶癫痫(TLE)模型，为致痫网络及相关研究提供实验基础。方法8只成年雄性恒河猴按照随机数字表法分为海人酸(KA)注射组(n=6)，盐水注射组(n=2)。通过脑立体定向技术靶向右侧杏仁核植入微导管并连接皮下储液囊，视频脑电图监测下经皮穿刺储液囊重复注射KA或生理盐水，观察注射即刻及首次放电后至少6个月内2组恒河猴发作间期癫痫样放电(IEDs)、发作期放电情况及行为学表现。结果
文物是古代文明的物质象征,也是一种精神体现,加强对考古发掘现场文物的保护,对华夏文明的传承有着重要的积极作用.本文阐述了考古发掘现场文物保护的重要性,分析了考古文物
随着移动终端的不断发展,消费者在购买移动终端时无疑面临各种困惑,因此如何为消费者提供各终端的性价比显得非常必要。运用层次分析法,对影响消费者购买移动终端的六要素价
随着信息技术的快速发展,网民人数的爆发式增长,网游迅速走红.无论是当前的职场精英还是在校学子都深陷其中,其普及速度快,范围广让人叹为观止.但是,就全球来看,我国的保险业