基于服务组合的可信软件动态演化机制

被引：32

作者：

曾晋

孙海龙

刘旭东

邓婷

怀进鹏

机构：

[1] 北京航空航天大学计算机学院

来源：

软件学报 | 2010年 / 21卷 / 02期

关键词：

可信软件; 动态演化; 组合服务; Web服务;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎,并通过实验验证了所提出方法的有效性.

引用

页码：261 / 276

页数：16

共 13 条

[1] 高可信软件工程技术 [J].

陈火旺 ;

王戟 ;

董威 .

电子学报, 2003, (S1) :1933-1938

[2] 软件工程技术发展思索 [J].

杨芙清 .

软件学报, 2005, (01) :1-7

[3] 工作流过程的结构变化分析(英文) [J].

孙萍 ;

蒋昌俊 ;

李湘梅 .

系统仿真学报, 2008, (07) :1856-1863

[4] A framework for QoS-aware binding and re-binding of composite web services [J].

Canfora, Gerardo ;

Di Penta, Massimiliano ;

Esposito, Raffaele ;

Villani, Maria Luisa .

JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (10) :1754-1769

[5] Supporting the Dynamic Evolution of Web Service Protocols in Service-Oriented Architectures [J].

Ryu, Seung Hwan ;

Casati, Fabio ;

Skogsrud, Halvard ;

Benatallah, Boualem ;

Saint-Paul, Regis .

ACM TRANSACTIONS ON THE WEB, 2008, 2 (02)

[6]

AO4BPEL: An Aspect-oriented Extension to BPEL[J] . Anis Charfi,Mira Mezini.World Wide Web . 2007 (3)

[7]

Correctness criteria for dynamic changes in workflow systems––a survey[J] . Stefanie Rinderle,Manfred Reichert,Peter Dadam.Data & Knowledge Engineering . 2004 (1)

[8] On reachability graphs of Petri nets [J].

Ye, XM ;

Zhou, HT ;

Song, XY .

COMPUTERS & ELECTRICAL ENGINEERING, 2003, 29 (02) :263-272

[9]

Inheritance of workflows: an approach to tackling problems related to change[J] . W.M.P van der Aalst,T Basten.Theoretical Computer Science . 2002 (1)

[10]

Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change[J] . W.M.P. van der Aalst.Information Systems Frontiers . 2001 (3)

← 1 2 →