【摘 要】
：
基于WS-BPEL的面向服务软件开发方法正逐渐成为主流的软件开发方法。BPEL流程Web服务的分布自治性、BPEL流程结构的松散耦合性和运行环境的动态开放性,使得如何提高BPEL流程的容错能力成为面向服务软件工程的科学问题之一。异常处理作为一种重要的软件容错机制,已经在程序设计语言和工作流等方面得到广泛而深入的研究和应用。本文在研究已有面向服务软件开发方法和技术的基础上,针对如何提高BPEL流程的
【基金项目】
：
国家自然科学基金项目“基于框架的面向服务软件异常处理方法研究”（No:61070012）；
论文部分内容阅读
基于WS-BPEL的面向服务软件开发方法正逐渐成为主流的软件开发方法。BPEL流程Web服务的分布自治性、BPEL流程结构的松散耦合性和运行环境的动态开放性,使得如何提高BPEL流程的容错能力成为面向服务软件工程的科学问题之一。异常处理作为一种重要的软件容错机制,已经在程序设计语言和工作流等方面得到广泛而深入的研究和应用。本文在研究已有面向服务软件开发方法和技术的基础上,针对如何提高BPEL流程的异常处理能力问题,提出了一种策略驱动的BPEL流程异常处理方法:研究了基于EHPDL-P语言的BPEL流程异常处理策略的描述方法;研究了基于层次着色Petri网的EHPDL-P语言的形式化建模和EHPDL-P策略冲突和规则冲突的仿真分析方法;并提出了基于EHPDL-P策略的BPEL流程异常处理框架。本文的主要工作包括以下四个方面:1)提出了一种面向BPEL流程异常处理的策略描述语言—EHPDL-P。设计了 EHPDL-P语言的元模型;定义了EHPDL-P语言的语法结构;描述了异常处理动作、异常处理规则、异常处理策略和异常处理策略集四个核心语言成份。基于EHPDL-P语言,BPEL流程异常开发人员可以在较高的抽象层次、声明式地表示面向BPEL流程的异常处理逻辑,实现异常处理逻辑和正常业务逻辑的分离和BPEL流程异常处理逻辑的动态可配置性。2)基于层次着色Petri网理论,研究了 EHPDL-P语言的的形式化语义模型;利用CPN Tools仿真分析工具,重点研究了基于EHPDL-P的策略冲突的检测和消解方法和规则冲突的检测和消解方法。3)设计了基于EHPDL-P的策略驱动的BPEL流程异常处理框架,研究了基于EHPDL-P的BPEL流程异常处理框架设计方法,并重点研究了动作的转换机制和策略执行机制等关键技术。4)结合“汽车制造管理系统”领域中的“整车装配工位数据采集流程”案例,介绍了基于EHPDL-P的策略驱动的BPEL流程异常处理开发方法。
其他文献
随着互联网数据量的增长以及用户交互模式的发展,各种元数据之间逐渐形成一张巨大的网络结构。图模型是数据库和数据挖掘领域常见的用来表示相互关联的元数据数据模型,许多实际应用离不开基于图模型的数据分析管理方法。现实世界的图数据不仅是稀疏的,而且由于节点度数的随机性而常常出现局部密度分布不均匀的特点。在局部密度较大的部分,元数据之间的关联度高于全局平均值,蕴涵的信息量较大,因此在实际的应用中具有较高的商业
随着互联网时代的到来,人类社会正式进入信息过载的时代,推荐系统已经成为电商网站、社交媒体和新闻门户等在线服务平台的重要组成部分。推荐系统的目的在于有效地挖掘用户兴趣并缓解信息过载的问题。目前主流的推荐系统倾向于从用户和商品的历史交互行为中挖掘出用户的兴趣爱好并形成推荐。虽然基于交互数据的推荐系统取得了不错的推荐性能,但当交互数据比较稀疏时,这类推荐系统往往会面临性能严重下降的问题。此外,仅基于交互
表面等离激元光子学经过数十年的发展,已经成为微纳光学领域重要的分支之一,其研究方向涉及物理学、化学、医学、生物、能源等多个领域。而二维材料自石墨烯刚问世起受到了广泛的科学关注。经过十几年的发展,因其优良的电子输运性质、光电性质等而在微纳电子器件、超灵敏传感器、光电探测器、太阳能电池、生物光子学等方面有着巨大的应用前景。表面等离激元与二维材料在空间纳米尺度的完美契合使得表面等离激元在光和二维材料相互
背景:变应性鼻炎（Allergic rhinitis,AR）是最常见的呼吸道炎症性疾病之一,全球发病呈逐年上升的趋势。遗传易感性是个体和种族对罹患AR具有差异性的原因之一。本研究旨在探究相关基因的多态性可能通过何种机制影响AR发生发展。方法:我们用MicroRNA芯片分别检测来自于AR患者和健康对照者下鼻甲的鼻黏膜组织,得到在组间表达具有差异性的miRNAs,其中,我们选取|fold change
大卫·休谟（1711-1776）,作为启蒙运动思想家,在形而上学、认识论、道德哲学、美学、宗教哲学、政治学、经济学、历史学等方面都作出了独特的贡献,被誉为苏格兰启蒙运动和西方哲学史上最为重要人物之一。休谟的人性哲学对后来的功利主义、实证主义、及现象学都有较深刻的影响,可以说“休谟研究”是近年来学术领域中最重要的主题之一。在这些研究中,休谟的宗教认识论又因其内在的深刻性、开拓性和复杂性,吸引了一代又
肺癌发病率和死亡率位于世界上各癌症之首,非小细胞肺癌（non-small cell lung cancer,NSCLC）占肺癌总数的80%,存活率很低。化疗、靶向治疗和免疫治疗是晚期肺癌的主要治疗手段,然而这些手段的有效性有限、毒副作用大,这大大降低了病人的生活质量。因此,发展新型高效的、低毒的抗肿瘤药物意义重大。本研究中我们从南极分离的隐球酵母Cryptococcus heimaeyensis
研究背景:骨吸收和骨形成的动态平衡维持着骨稳态。当机体处于炎症状态时,免疫细胞参与骨稳态的调节,产生细胞因子影响骨吸收和骨形成之间的平衡,其中TNF-α作为经典的促炎因子,可以促进破骨细胞分化,同时抑制成骨细胞的活性和功能。长期的炎症刺激（如骨质疏松症等）会引起骨量减少,增加骨的脆性。CCN2和JAK2信号通路参与多种生理和病理过程,在炎症环境中也起着重要作用。成骨细胞在炎症环境中的存活能力可以直
中微子振荡是当前唯一超出粒子物理标准模型的实验现象。在三代中微子模型中,描述振荡现象的参数包括三个混合角（θ12,θ23,θ13）、两个质量平方差（△m122,△m322）和一个CP破坏相角δ。对太阳中微子之谜和大气中微子异常的研究,证实了中微子振荡,并且对θ12、θ23、△m122和|△m322|进行了测量。2012年以前未知的振荡参数包括θ13的值、△m322的正负以及CP破坏相角的值。反应堆
在全球变暖的背景下,南极冰盖物质平衡对全球海平面的变化影响日益增加。降雪是冰盖物质平衡中最主要的物质输入来源,但南极降雪的变化与其对冰盖物质平衡以及冰盖表面平衡的影响还未被深入的研究。由于南极恶劣的环境导致南极尚未有降雪地面观测网,降雪连续观测数据在南极地区,尤其在南极冰盖内陆地区几乎是空白的。多数研究都只能使用间接降雪数据在南极开展相关研究,这不仅影响了对南极降雪及其变化的研究,还阻碍了降雪对物
大型设备和精密仪器在运行时,产生的振动不仅会对周围环境造成影响,还会降低自身性能。为了保证设备和仪器的正常运转,各种隔振系统和振动控制方法已经被开发出来用于振动控制。电磁主动隔振系统因为刚度和阻尼可变、可控性灵活、控制方法多样、响应速度快等优点近年来得到重点关注,开始应用于机械加工装备、精密仪器和机械系统等领域。本文在查阅和分析国内外相关研究现状的基础上,对电磁隔振系统的内部元件优化与系统设计、非