【摘 要】
：
服务组合与演化作为网络化软件开发的主流技术之一,一直是工业界和学术界的热点研究技术。然而,由于SOA(Service-OrientedArchitecture简称SOA)的服务组合比较随意,服务执行
论文部分内容阅读
服务组合与演化作为网络化软件开发的主流技术之一,一直是工业界和学术界的热点研究技术。然而,由于SOA(Service-OrientedArchitecture简称SOA)的服务组合比较随意,服务执行性能缺少保障性机制,所以如何保证服务运行的可靠性和有效性成为人们关注的焦点。本文针对服务有效组合的方法与技术开展研究,力图解决服务演化的相关技术问题。服务组合是以服务为基础,将服务和提供功能的组件进行聚合以满足业务流程需要的复杂服务。它作为网络化软件开发的重要方法,可以将松散耦合的服务有机地组织在一起,使其在应用过程中更具有灵活性。本文以SOA代数模型为基础,将服务组合进行抽象,研究代数性质的服务演化方法。由于所选取的模型代数性质是按构件来建模的,而BPEL(Business Process Execution Language简称BPEL)中的服务也是相互独立存在,故采用BPEL服务探究模型代数性质的演化等价性方法,从而实现代数性质的自动演化。BPEL作为SOA架构的主要支撑技术,它可以提供SOA服务组合的描述。本文采用BPEL服务,对基于SOA的模型代数性质进行演化等价性验证,在此基础上,针对不同的代数性质提出等价自动演化算法,并利用编译技术,给出算法的应用。最后结合案例,运用形式化描述语言LOTOS(Language of Temporal Ordering Specification 简称 LOTOS),将 BPEL 结构进行映射,在CADP(Construction and·Analysis of Distributed Processes 简称 CADP)工具集中对演化过程进行仿真验证与模型检测,从而验证演化方法的可行性。
其他文献
由新月弯孢[Curvularia lunata Walk Boed]引起的玉米弯孢霉叶斑病,曾在我国北方玉米产区大发生造成严重的产量损失,是玉米生产上的一种重要病害。然而目前关于mi RNA介导的
针对一般四元数矩阵的(右)特征值问题,引入新的实保结构分解理论,提出快速稳定的保结构算法.在正交JRS-辛变换下,首先提出了JRS-对称矩阵的JRS-QR算法,然后应用于计算四元数
信托登记是信托业发展的必要条件,不仅保障信托业务的开展,而且有利于信托利益协调和权益保护,而信托登记制度的缺失严重制约着财产信托创新。信托制度从用益制度中脱胎而来,逐步发展成今天的金融信托,信托制度的功能从规避封建税务负担到合理分配家庭财富再到管理金融资产,但是其本质均为“隔离”信托财产。信托财产的“隔离”使得信托财产具有独立性,而这种独立性依靠法律机制予以保障,衡平法中发展出知情规则和善意第三人
无线网络的普及极大地便利了人们的日常生活,同时也带来了各种各样的安全问题。信息安全已成为无线网络发展所面临的一项严峻挑战。加密技术作为一种经典的信息保密方法,能够
当前遏制气候变暖、减少碳排放已经成为国际社会的主要共识。在经济全球化的浪潮下,我国已深度融入到全球价值链当中,物流业通过参与价值链活动也实现了高速发展,产出越来越高的价值增值。然而作为能源消耗大户,物流业能耗大、碳排放高等问题与绿色发展理念之间的矛盾凸显。同时,由于贸易活动引起的隐含碳流动问题对碳减排政策也产生了较大的消极影响,使政策收效甚微。因此,全面认识我国物流业在全球价值链中的发展状况和产业
双各向异性介质的电磁特性一直以来都受到专家学者的普遍关注。双各向异性介质在微波毫米波技术领域、隐身技术领域以及介质学、细胞生物学等领域有非常广阔的应用前景,电磁
由于缺乏合适的天然双折射材料,高性能的太赫兹极化分离器件难以实现。超表面反射阵可以根据不同极化波的辐射样式设计反射单元排列,从而实现不同反射角度的极化分离。利用线
随着创业投资行业在我国的不断发展,这方面的研究也越来越丰富,尤其是在互联网热潮的影响下,创业投资机构的迎来了一轮井喷式的发展。许多学者都从各自不同的角度对创业投资
近年来,在移动互联网、物联网、云计算技术高速发展的推动下,采集的数据呈现出“井喷式”增长,数据类型繁多、体量变化大、流动速度快,而且随着时间的积累还会产生数以千、万
随着我国现代化大农业的发展,黑龙江垦区使用大量国外进口配备CAN总线的拖拉机,根据拖拉机作业CAN数据,可以反应出拖拉机作业状态,作为评价拖拉机作业情况的依据。但由于目前