【摘 要】
：
Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务
【基金项目】
：
国家科技攻关计划资助项目(2005BA908B10);上海市科技发展基金重大资助项目(05dz05810)。~~
论文部分内容阅读
Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通
其他文献
1980年8月，全国人大常务委员会第十五次会议通过了《广东省经济特区条例》，深圳经济特区正式成立。
随着工业化、城市化的发展以及全球化时代的到来,导致共同体衰落的因素变得日渐复杂,个体主义思潮的泛滥和消费主义文化的侵蚀是造成公共空间萎缩的重要原因所在。对西方学者
针对射频卡的性能优势及广阔的应用前景．介绍了射频卡读写器的工作原理及组成，给出了射频卡读写器的详细设计方案，包括硬件结构及软件设计流程。实践证明该射频卡读写器工作性能
介绍了多层隔热组件及影响其隔热性能的主要因素,包括反射屏与间隔层的选材、多层组件的层密度、放气孔等。结合实际工程应用,对于多层隔热组件的材料选择和制作工艺进行了着
壳聚糖钯催化剂已被用于氧化反应、氢化反应、Suzuki和Heck偶联反应、烯丙基取代反应及有机酮的合成反应等体系中。本文对国内外研究壳聚糖钯催化剂的应用进行了综述。
自2008年金融危机以来,由于国际经济情势的逐步回暖,国际石油需求量逐年上升,石油供需关系不均衡,再加上国际关系的紧张,国际油价波动频繁。目前相关研究均表明国际油价的波动会对股票市场造成一定的影响,而关于国际油价对能源行业相关上市公司股票收益率的影响研究,国内外学者未得出较为完备一致的结论。本文利用DCC-GARCH模型,对国际油价与我国石油上市公司股票收益率及其他非石油能源上市公司股票收益率之间
研究了5个培养体积（50、100、200、400、1000 mL）和2个温度（20℃、25℃）下大型溞（Daphnia magnaStraus）种群动态和两性生殖的变化,结果表明：（1）在相同培养体积下,随温度升高,大型溞首
<正> 七、疏水器漏失新蒸汽量的讨论疏水器都是由阀孔进行排出凝结水的。在疏水器失灵处于完全敞开状态时,即漏失汽量最为严重,疏水器阀孔可看作是孔板。
随着互联网的飞速发展,Web安全也变得愈发重要,注入类漏洞在OWASP(Open Web Application Security Project)发布的最严重的前10名Web安全漏洞中排名第一,SQL注入攻击是目前Web面临的主要安全威胁。SQL注入利用Web应用程序,把恶意的SQL注入语句传递到后台数据库,使之不能按照设计者的意图去执行SQL语句。在Web应用程序中添加一道检测和阻截SQL注入
为检验意愿价值评估法（Contingent VaLuation Method．CVM）中争论的焦点问题——支付意愿的问卷“内容依赖性”，本文以上海城市内河生态修复为评估对象，构建CVM的假想市场。设计评