文章快速检索  
  高级检索
基于可拓学的自适应软件形式化方法
范锐1, 彭银桥1, 陈月峰1, 雷桂斌1, 刘小辉2
1. 广东海洋大学软件学院, 广东湛江 524088;
2. 广东海洋大学财务处, 广东湛江 524088
基金项目: 广东省科技计划资助项目(2014A040402010).    
摘要: 可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型。讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性。用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法。
关键词: 可拓学     可拓基元     拓展分析     可拓变换     优度评价     形式化方法     自适应软件    
A method for self-adaptive software formal modeling by Extenics
FAN Rui1 , PENG Yinqiao1, CHEN Yuefeng1, LEI Guibin1, LIU Xiaohui2    
1. Software School, Guangdong Ocean University, Zhanjiang 524088, China;
2. Finance Department, Guangdong Ocean University, Zhanjiang 524088, China
Abstract: The core of extenics is to set up adaptability mathematic model which can flexibly cope with uncertain change and inspiration springing up. The feasibility of introducing the theory of Extenics to describe, analyze and evaluate the self-adaptive nature, scope and extent about the software system was discussed. First, the basic-element description software entities were used to construct the software system into basic-element net, then the dynamic nature of self-adaptive software system was revealed by combining the qualitative and quantitative methods of extension analysis, extension transformation, and superiority evaluation, etc., initially establishing a formal method of self-adaptive software.
Key words: Extenics     basic-element     extension analysis     extension transformation     superiority evaluation     formal method     self-adaptive software    

软件自适应是指为了保证持续、高质量地提供服务,软件在运行时检测环境变化和自身状态,据此对自身行为进行主动调整的活动[1]。自适应软件能够评估自身的行为,当评估显示其自身并非正接近所倾向完成的目标,或其有可能提供更好的功能或性能时,软件改变自身的行为[2]。文献[1]对已有的研究和实践进行综述给出软件自适应的概念内涵,概述软件自适应活动在感知、决策、执行各环节上的特征分类,阐述面向自适应软件构造、关注程度较高的一系列使能技术,进而在分析典型研究项目现状的基础上,给出自适应软件构造领域的未来主要研究趋势。文献[3]从计算机科学视角对许多自适应软件相关论文的研究分析,总结并指出自适应系统新的观点、概念、方法和新的挑战,特别强调了计算机软件在自适应系统已成为主要元素,也强调了反馈控制技术和人工智能技术对自适应软件系统的重要性。文献[4]从移动计算和普适计算的角度总结、评价存在的自适应软件方法,重点在资源受限器件软件动态演化的解决方法的分析、评估和进展研究,并提出其发展趋势和挑战。文献[5, 6, 7, 8, 9]从自适应需求的原理和概念框架、自适应系统建模和模型演化机制、运行时系统自适应调节机制、社会的角度看软件的自适应等4个方面分别回答软件系统为什么需要和如何拥有自适应能力问题。文献[10, 11, 12, 13, 14]分别从不同角度进行了自适应软件系统模型的研究。可拓学是研究事物的可拓性以及可拓规律与方法,并用以解决矛盾问题的原创性学科。经过30多年的发展,可拓学在基础理论、形式化方法、行业应用等方面都有长足进展,并逐步发展为可拓学[15, 16, 17]。它用形式化方法描述问题的目标和条件,建立核模型,用灵活多变的方法对问题进行拓展分析,用定量与定性结合的可拓变换推导出解决矛盾问题的思路、知识和方法,最终生成创意或创新策略。它用“变不知为知”、“变错误为正确”、“变不行为行”、“变不属于为属于”的变通思想,创造出了包括基本方法,创意生成方法,可拓数据挖掘方法和可拓思维模式等可拓创新方法体系[17]。可拓学用数学模型来探索人类创新创意规律,并指导开发出能够拓展智能、激发创新的可拓软件。应用这种灵活变通地应对不确定变化和灵感涌现的适应性模型来探索自适应软件形式化建模方法应是一条新的研究路径。

1 相关工作

当前研究自适应软件最活跃的自适应实体是构件、服务和智能体技术。构件通过对外提供接口实现软件系统的组装,服务通过组合构造更大、更松散的构件,智能体通过外界感知、智能推理和行为优化去响应外界的变化和用户的需求。建立模拟灵活变通智能的软件模型,包括独立自治、动态演化的软件实体以及由它们智能聚合的软件系统,从来就是软件学术界和工业界的研究热点。

基于构件的软件工程(component-based software engineering),目的在于借鉴其他制造工业的产品零配件组装生产方式,通过零配件的分工生产和组装来大幅度提高生产力,提高满足不同用户不同需求的灵活性。软件构件的内部封装、接口交互、动态替换等特性极大地提升了软件系统适应变化的灵活性。目前有许多的构件模型,例如,COM+、EJB、CORBA等。支撑软件构件集成的软件体系结构研究是随着描述大型、复杂系统结构的需要和开发人员及计算机科学家在大型软件系统的研制过程中对软件系统理解的逐步深入而发展起来的[18]。业界提出了Darwin、Wright、ACME、A-ADL、XYZ/ADL、Tracer和ABC/ADL等软件体系结构描述语言,并使用CRAM[19]、Z语言[20]、Pi演算[21, 22]、Bigraph[23, 24, 25, 26]等形式化方法试图准确描述软件体系结构。随着Internet的普及,网构软件、网络式软件等新的软件构件实体具有自治开放、动态演化等新的特点[27, 28, 29, 30]。但是,软件构件建模和形式化方法重点关注软件实体和由它们构造的软件系统为适应变化如何改变结构且保证行为的一致性,没考虑软件与环境或需求不相适应而持续动态演化致使行为不一致需要解决矛盾冲突的智能化变通策略。

面向服务的软件工程(service-based software engineering),以服务为软件实体,通过服务重用和快速组合构建随需应变的松耦合分布式系统[31]。核心是SOA(service oriented architecture),它通过服务注册把服务提供者和服务请求者联系起来,形成动态松耦合的分布式系统。Web服务组合技术将平台独立、自描述、位置透明的软件模块进行组合,快速灵活地满足复杂多变的业务需求[32]。流行的服务组合语言是BPEL4WS[33],而组合分析验证的工作有:文献[34]借鉴颜色Petri网的语义和面向对象思想,提出WS-Net模型,使验证更容易。文献[35]引入基于BPEL4WS的BPE演算。使用PAC工具和CWB-NC工具来建模和验证Web服务协作。文献[36]用Pi演算作为服务组合的形式化表示。基于服务的软件系统构造成为了当前软件开发的主流。虽然,服务技术克服了构件实体面对多平台,多协议、多设备的Internet复杂环境,由于紧偶合、细粒度等缺点不能胜任分布式、异构性、非稳定的网络计算的困难。但是,服务是典型的被动实体,没有自治、智能特性,当然更没有灵活变通的解决矛盾问题的可拓智能。

软件Agent具有的自主性、反应性、能动性、社会性等特点,是解决软件构件技术不足的新途径。基于Agent的软件工程(agent-based software engineering)取得了许多研究成果[37, 38, 39]。中国科学院计算技术所智能科学课题组开展包括智能主体、机器学习、神经计算、认知科学以及相关应用研究[40];国防科技大学开展了面向主体软件开发研究[41]、基于智能体技术的软件自适应动态演化机制研究[42]。但是,Agent并没有成为软件开发的主流技术,也不能够构建可拓创新软件模型。

围绕研制具有灵活变通的可拓软件,提出了可拓信息-知识-智能形式化体系,提出了信息的基元表示方法、基于可拓规则的知识表示方法和策略的形式化表示方法,为用计算机进行矛盾问题智能化处理构建了形式化工具[43]。研究者开发了一些获得发明专利、软件著作权以及会议展示的可拓软件[16],研制了可拓策略生成系统,开发了一批可拓策略生成软件[44, 45, 46];研制了可拓数据挖掘软件,开发了可拓挖掘软件[47]。在可拓设计应用领域,应用可拓理论与方法对概念设计功能、原理、布局、形状、结构等上游设计知识进行形式化描述,提出一种基于多级菱形思维模型的复杂产品定性和定量相结合的设计方法,为概念设计的形式化和智能化提供了新的途径[48, 49, 50]。研究可拓学与建筑设计的结合问题,将可拓策划方法应用于景观设计和建筑设计创新与可拓思维模式,进行了可拓建筑策划与设计的系统研究[51, 52]。研究智能知识管理,构建了企业自主创新的可拓创新模型[53, 54]。从软件构造角度就可拓策略生成系统的实现进行了研究。结合本体和Agent建立不相容问题的策略生成、利用转换桥建立化对立为共存的策略生成,基于可拓集的可拓数据挖掘、利用传导推理建立矛盾问题的转化等一批可拓创新智能化方法取得了进展[55]。研究者利用知网增强策略生成[56]、用认知概念构建可拓变换结构[57]、研究过程基因基元化方法[58]、基于可拓方法构建社会网络[59]等,从不同角度为可拓软件模型构建提供了新的思路。

可拓学的目标是探索人类创新创意规律,并构建数学模型来指导开发拓展智能、激发创新的可拓软件。该文尝试把可拓学理论应用于自适应软件形式化建模中,从把自适应软件构造成基元网出发,利用可拓基元的拓展分析方法和共轭分析方法,分析自适应软件实体及他们之间关系的动态变化,利用可拓变换去探讨他们的动态演化性质、趋势和程度,并利用优度评价方法评价软件的自适应能力。通过这种新的理论与方法,可以用定性与定量相结合的方法描述、分析、演化和评估自适应软件,为形式化建模提供一种新的方法。

2 自适应软件的可拓形式化方法

自适应软件系统可以看作一组已经或有可能(直接或间接)连接的“点”(软件实体),以及“点”之间的关系构成的集合。将自适应系统中各部分(“点”)的特征与相互之间的关系(“连接”)用网络的形式表示出来,然后分析其特征和关系以及按需演化的理论方法就是自适应软件形式化方法。引入可拓理论来研究和构建自适应软件形式化模型,首先用基元表示自适应软件系统的各层次软件实体,建立基元网描述各层次软件实体间的关系;再用可拓拓展推理去扩展、挖掘和推导出各层次软件实体以及它们之间关系的丰富语义;用可拓变换去分析、演算和评估软件实体演化对自身、对相关软件实体、对构成网络的变化、趋势和程度;用关联函数定量计算软件实体演化的趋势和程度以及对环境的影响趋势和程度;最后,结合丰富多样的创新创意方法去解决环境变化或用户需求变化导致软件系统不相适应的矛盾,生成应对变化的策略,通过最优评估,选出最佳策略执行,实现软件系统的动态演化。

2.1 智能服务构件要素基元化

用智能服务构件作为自适应软件实例来说明可拓形式化方法[60]

把智能服务构件内部各层次软件实体以及它们的关系用图 1表示。然后用可拓基元B表示智能服务构件内部是由ID、接口I、控制C、事件E、目标G、规划P、知识库K、服务S等软件实体组成。基于对其组成元素自适应性质进行分析、变换和评价的需要,进一步细化了接口基元I、控制基元C、事件基元E、目标基元G、规划基元P、知识库基元K和服务基元S等的内部结构。

图 1 智能服务构件(ISC)内部元素关系图 Fig. 1 Intelligent service component relation

用可拓基元(事物,属性,属性值)三元组可以把事物的质和量有机地结合起来去丰富其语义。通过对基元反复细化,能够实现从分析到设计全过程形式化表示、分析、变换和控制。

2.2 智能服务构件基元网及语义分析

图论中用点之间的连线代表个体之间的关系,包括单向关系和双向关系。图 1中2个基元BiBj之间的关系(图中的连接线)用关系元Rx表示。 表示单向关系,表示双向关系,x表示关系名。关系的密切度可以用程度衡量,则图 1的基元关系可形式化表示为图 2的基元网。它给出了智能服务构件丰富的关系语义。

图 2 智能服务构件基元网 Fig. 2 Intelligent service component basic-elements network

2.2.1 静态语义分析

1)控制关系():控制C3控制C1C2C4C5C6C7等6个子控制,即,(C3,(C1,C2,C4,C5,C6,C7));而每一个子控制又分别控制K、E、G、S、P和(P,I),即,(C1,K),(C2,E),(C4,G),(C5,S),(C6,P),(C7,(P,I))。

2)聚合关系():知识库KK1K2K3K4等4个知识元件组成,即,(K,(K1,K2,K3,K4));目标G由若干子目标SGi组成,即,(G,(SGi,i=1,2,…,n));规划P由若干服务Si组成,即,(P,(Si,i=1,2,…,k));组合服务S3由原子服务S4i,i=1,2,…,M组成,即,(S3,(S4i,i=1,2,…,m));接口I由I1I2I3I4I5I6等6个接口组成,即,(I,(I1,I2,I3,I4,I5,I6));环境Env由若干ISCi,i=1,2,…,l和许多Envj,j=1,2,…,p元件组成,即,(Evn,(ISCi,Evnj,i=1,2,…,l,j=1,2,…,p))。

3)实现关系(,表示子目标SGi由服务Si来实现,即,(SGi,(Si,i=1,2,…,n))。

4)产生关系(),表示事件E由接口I、知识库K、目标G、服务S以及规划P产生,即,(E,(I,K,G,S,P))。

5)输入关系(),表示环境Env通过感知器I3传入变化信息,即,(I4,Env)。

6)输出关系(),表示通过效应器I4去影响环境Env,即,(I4,Env)。

7)提供服务关系()通过接口I1与请求服务的ISCs交互,即,(I1,ISCs)。

8)请求服务关系( )通过接口I2与提供服务的ISCs交互,即,(I2,ISCs)。

9)链接关系()表示提供或请求服务与相应接口I之间的联系,即,(I1,S1)与(I2,S2)。

10)设置/得到关系()表示通过I5接口,环境Env可以设置和得到ISC的属性值,即,(I5,Env)。

11)配置关系()表示通过I6接口,环境Env可以进行ISC动态配置,即,(I6,Env)。

2.2.2 动态语义分析

为了描述动态关系,引入事元Ax,下标x来表示动作名或功能名,其他属性有方法、工具、时间、地点、程度等根据需要进行取舍。用BiAxBj表示基元Bi施加动作或功能x给基元BjB1A1B2A2B3Bi-1Ai-1Bn表示一系列基元Bi依次施加一系列动作或功能给Bi+1。另外,引入算子·、|、+等分别表示后续、并行和选择等语义。

动态语义说明如下:

1)解释器C3控制知识库管理器C1初始化知识库K,C1读取领域本体K3、领域规则K1和领域应用K4的相关知识并写入到信念库K2,完成初始化任务。其可拓语义是:

2)环境Env产生变化事件E通过接口I3输入到事件队列E。其可拓语义是:

3)解释器C3控制事件管理器C2按优先级读取事件队列E的首个事件e,按照构件的当前认知K2,采用菱形思维推理,转化为响应该事件的目标G。其可拓语义是:

4)解释器C3控制目标管理C4读取目标库G,按照构件的当前认知,采用菱形思维推理,分解目标为子目标SGi构成的目标树。目标分解与分派也可能产生内部消息E。其可拓语义是:

5)解释器C3控制服务管理器C5读取目标树,按照构件的当前认知,发现、聚集服务Si去实现目标树的每一个叶子目标。服务动态聚集也可能产生内部消息E。其可拓语义是:

6)解释器C3控制规划管理器C6读取聚集的服务集合Si,按照每一个叶子目标实现的先后顺序组成规划序列Pi,封装到规划库P中。规划动态排序也可能产生内部消息E。其可拓描述语义是:

7)解释器C3控制执行器C7读取规划库P,按照规划序列执行Pi。其可拓语义是:

8)执行规划P通过输出接口I4去影响环境Env,环境Env将产生新的变化事件E通过输入接口I3进入消息队列E。其可拓语义是:

9)解释器C3重新执行3。

如此反复,形成感知监控-目标分解-服务聚集-规划封装-规划执行自适应循环链。

2.3 利用拓展分析研究自适应目标分解与服务聚集机制

由于自适应软件是由自适应软件实体构成的,可以利用对自适应软件实体的拓展分析研究自适应软件的演化。以上述基元网表示的自适应软件实体为例,利用相关分析构成基元相关网,利用发散分析构成基元发散网,利用蕴含分析构成基元的蕴含网,利用可扩分析构成基元可扩网。

例如,服务实体都具有同一个特征元(服务提供接口,Si),根据“一征多物”的发散分析,由基元Si=(Services,Pro-Service,PS)可以得到一个表达“提供相同服务”的发散网:

再如,服务实体与服务接口之间存在联接相关性,构成基元相关网:Si~Ij,i,j=1,2,…,n

自适应智能服务构件的目标分解可以构成基元蕴含网,叶目标与实现叶目标的服务之间也可以构成基元蕴含网。蕴含树表达了目标和服务之间的蕴含关系,实现目标有3种服务类型:组合服务(Com-Service)、提供服务(Pro-Service)和请求服务(Req-Service)。图 3表示目标分解及服务实现的蕴含网。

图 3 目标分解及服务实现的蕴含网 Fig. 3 Goal Tree & Services Implement

图 3的目标Goal分解成若干子目标SGi,用菱形推理优化子目标SGi,然后发布到目标库G。服务容器S中的可提供服务PS主动聚集实现子目标SGi,不能实现的某些子目标SGi,向外发布请求服务RS,发现并调用其他智能服务构件ISC提供的相关服务Si。其可拓语义是:

由于自适应软件实体基元的可拓展性,导致由自适应软件实体构成的自适应软件基元网也具有可拓展性。将拓展分析得到的各个基元的发散网、相关网和蕴涵网替换图 2的智能服务构件基元网中的基元节点,就得到了自适应软件网络的可拓展性以及更丰富的可替换、可分解、可精化的更丰富知识。

2.4 可拓变换对智能构件动态适应的作用制

任何一个自适应软件网络都会随时间的变化而变化,因而,自适应软件是一个动态网络。利用动态基元网表示自适应软件,更便于通过可拓变换对动态自适应软件进行分析和研究。

变换对自适应软件的影响也不容小视,也必须研究实施变换后自适应软件会如何变化。不同的变换,会导致自适应软件发生不同的传导变换,其连接方式、网络密度、网络集中度、甚至相互性和传递性都会发生改变。因此,必须研究变换对自适应软件的作用规律,才能更好地研究自适应软件结构。可拓变换理论与方法为研究变换对自适应软件的作用提供了工具。可拓变换包括基本变换、变换的运算、传导变换、共轭变换、复合变换等等,详情可以参阅文献[18]。

例如,对图 3所示的基元网,如果有新的用户需求,智能服务构件感知新的事件,然后产生新的目标,经分解会产生新的子目标和叶子目标,为实现新的叶子目标,必须重新查找新的服务。例如,要增加一个新的子目标(new sub-goal)和新的服务(new service)。图 3的结构变化如图 4。即,对Goal实施某变换T,得到新的目标Goal’。

图 4 变换后的目标分解及服务实现 Fig. 4 Change of goal tree & services implement

图 4表达的是子目标(SubGoaln)增加了一个新的子目标(New SubGoal),要实现新目标,必须查找一个新的请求服务(New Req-Service)。其可拓语义是:

可以看到,用户需求或环境的变化(TEvn),导致新的事件产生(TEvent),推导出新的目标(TGoal),分解出新的子目标(TSG),查找并聚集新的服务(TService),实现新的规划(TPlan),触发新的执行(TAtion),最后,进一步影响环境(TEvn)。智能服务构件的动态演化可以用可拓传递变换来表示:

这个传递变换刻画了自适应软件监控-分析-规划-执行(MAPE)循环。

2.5 对自适应软件的评价

在可拓学中,可以用关联度表示研究对象具有某种性质的程度,包括初等关联函数、简单关联函数、离散关联函数等形式。

例如,离散关联函数根据等级分类等应用,可以设定一些离散值a1,a2…,ak,0,b1,b2,…bl来计算。

要评价智能服务构件或智能服务系统响应环境变化的自适应能力,核心是要判断能提供实现n个叶子目标的服务个数m=l+r,l为智能服务构件服务容器能提供的本地服务,r为其他智能服务构件能提供的远程服务,有离散关联函数公式:

其可拓语义是:当能够提供实现叶子目标的本地服务非常多时,关联函数值为1;当能够提供实现叶子目标的本地服务较多时,关联函数值为0.75;当能够提供实现叶子目标的本地服务相等时,关联函数值为0.5;当能够提供实现叶子目标的本地服务少于叶子目标数n,但发现的远程服务r与本地服务l之和大于n时,关联函数值为2.5;当能够提供实现叶子目标的本地服务为0,且远程服务r等于n时,关联函数值为0;当能够提供实现叶子目标的本地服务为0,且远程服务r小于等于n时,关联函数值为-0.5;当能够提供实现叶子目标的本地服务为0,且远程服务r非常少时,关联函数值为-1。

显然,关联函数值越高,其自适应能力越高。只有通过发现服务变换r,下载服务变换r→l等等来提高关联函数值。即通过可拓变换TfindSTdownloadS来提高软件的自适应能力。

针对不同的评价特征,可以选择不同的关联函数。对于多评价特征的情况,还可建立综合关联度,用于综合评价研究对象的优劣。将其应用于自适应软件研究,可以作为自适应软件中的成员“聚类”或“分类”的衡量指标之一,对自适应软件进行综合评价。详细方法请参考文献[16]。

5 结束语

引入可拓学理论,本文研究了自适应软件的基元网方法,利用拓展分析丰富自适应软件系统的演化知识,探讨了可拓变换对软件实体、软件系统以及环境自适应机制的描述、分析和影响程度、趋势等等,用关联函数给出了自适应软件的定量评价方法。基于可拓学的自适应软件形式化方法,充分考虑自适应软件中各级个体成员的演化对软件系统演化的影响,为研究动态自适应软件系统提供定性与定量相结合的方法。

进一步的工作是通过可拓形式化方法与其他形式化方法的兼容性研究,拓宽可拓形式化方法的应用范围并研制出验证支撑工具。

参考文献
[1] 丁博, 王怀民, 史殿习. 构造具备自适应能力的软件[J]. 软件学报, 2013, 24(9):1981-2000.DING Bo, WANG Huaimin, SHI Dianxi. Constructing software with self-adaptability[J]. Journal of Software, 2013, 24(9):1981-2000.
[2] LADDAGA R. Creating robust software through self-adaptation[J]. IEEE Intelligent Systems and Their Applications, 1999, 14(3):26-29.
[3] KAKOUSIS K, PASPALLIS N PAPADOPOULOS G A. A survey of software adaptation in mobile and ubiquitous computing[J]. Enterprise Information Systems, 2010, 4(4):355-389.
[4] F D MACIAS-ESCRIVA, R H AW, R DEL TOROV, et al. Self-adaptive systems:a survey of current approaches, research challenges and applications[J]. Expert Systems with Applications, 2013, 40(18):7267-7279.
[5] 金芝, 吕建. 软件系统需要自适应能力-为什么和如何拥有?[J]. 中国计算机学会通讯, 2013, 9(6):6-7. JIN Zhi, LYU Jian. Why and how to achieve self-adaptive ability for software systems?[J]. Communication of CCF, 2013, 9(6):6-7.
[6] 张伟, 赵海燕. 软件可信性与自适应软件随想[J]. 中国计算机学会通讯, 2013, 9(6):8-13. ZHANG Wei, ZHAO Haiyan. Some thinking on trustworthiness and self-adaptability of software[J]. Communication of CCF, 2013, 9(6):8-13.
[7] 刘磷. 软件服务的自适应与演化需求建模[J]. 中国计算机学会通讯, 2013, 9(6):13-20. LIU Lin. Adaptation and evolution requirements of software systems services[J]. Communication of CCF, 2013, 9(6):13-20.
[8] 毛新军, 孙跃坤. 社会技术系统的自适应技术[J]. 中国计算机学会通讯, 2013, 9(6):20-26. MAO Xinjun, SUN Yuekun. Self-adaptation technology for social technical system[J]. Communication of CCF, 2013, 9(6):20-26.
[9] 彭鑫, 陈碧欢, 赵文耘. 需求驱动的软件自适应方法[J]. 中国计算机学会通讯, 2013, 9(6):27-36. PENG Xin, CHEN Bihuan, ZHAO Wenyun. Requirement-driven software self-adaptation[J]. Communication of CCF, 2013, 9(6):27-36.
[10] 丁博, 王怀民, 史殿习, 等. 一种支持软件可信演化的构件模型[J]. 软件学报, 2011, 22(1):17-27. DING Bo, WANG Huaimin, SHI Dianxi, et al. Component model supporting trustworthiness-oriented software evolution[J]. Journal of Software, 2011, 22(1):17-27.
[11] 何克清. 面向按需服务的软件方法及其标准化研究进展[J]. 中国计算机学会通讯, 2010, 6(9):21-25. HE Keqing. The research progress for software method and standardization based on on-demand services[J]. Communication of CCF, 2010, 6(9):21-25.
[12] 陈洪龙, 李仁发. 自适应演化软件研究进展[J]. 计算机应用研究, 2010, 27(10):3612-3616, 3621. CHEN Honglong, LI Renfa. Survey on self-adaptive evolution software[J]. Application Research of Computers, 2010, 27(10):3612-3616, 3621.
[13] 刘智斌, 朱晓龙, 曹宝香. 一种自适应程序设计方法[J]. 计算机工程与应用, 2011, 47(36):80-82, 126. LIU Zhibin, ZHU Xiaolong, CAO Baoxiang. Method of adaptive programming[J]. Computer Engineering and Applications, 2011, 47(36):80-82, 126.
[14] 王振东, 王慧强, 冯光升, 等. 自律计算系统及其关键技术研究[J]. 计算机科学, 2013, 40(7):15-18, 53. WANG Zhendong, WANG Huiqiang, FENG Guangsheng, et al. Research on autonomic computing system and its key technologies[J]. Computer Science, 2013, 40(7):15-18, 53.
[15] 蔡文, 杨春燕. 可拓学的基础理论与方法体系[J]. 科学通报, 2013, 58(13):1190-1199. CAI Wen, YANG Chunyan. Basic theory and methodology on Extenics[J]. Chinese Science Bulletin, 2013, 58(13):1190-1199.
[16] YANG Chunyan, CAI Wen. Extenics:theory, method and application[M]. Beijing:Science Press, 2013:1-375.
[17] 杨春燕, 李兴森. 可拓创新方法及其应用研究进展[J]. 工业工程, 2012, 15(1):131-137.YANG Chunyan, LI Xingsen. Research progress in extension innovation method and its applications[J]. Industrial Engineering Journal, 2012, 15(1):131-137.
[18] 孙昌爱, 金茂忠, 刘超. 软件体系结构研究综述[J]. 软件学报, 2002, 13(7):1228-1237. SUN Chang'ai, JIN Maozhong, LIU Chao. Overviews on software architecture research[J]. Journal of Software, 2002, 13(7):1228-1237.
[19] SHAW M. The coming-of-age of software architecture research[C]//Proceedings of the 23rd International Conference on Software Engineering. Washington, DC:IEEE Computer Society, 2001:656-664.
[20] ALLEN R, DOUENCE R, GARLAN D. Specifying and analyzing dynamic software architectures[M]//ASTESIANO E. Fundamental Approaches to Software Engineering. Berlin Heidelberg:Springer, 1998, 1382:21-37.
[21] 任洪敏. 基于π演算的软件体系结构形式化研究[D]. 上海:复旦大学, 2003:1-22. RAN Hongmin. Research on software architectural formalism based on π calculus[D]. Shanghai, China:Fudan University, 2003:1-22.
[22] 李长云. 基于体系结构的软件动态演化研究[D]. 杭州:浙江大学, 2005:1-31. LI Changyun. Research on architecture-based software dynamic[D]. Hangzhou:Zhejiang University, 2005:1-31.
[23] MILNER R. The space and motion of communicating Agents[M]. Cambridge:Cambridge University Press, 2009:1-179.
[24] 汪玲, 戎玫, 张广泉, 等. 基于Bigraph的面向方面动态软件体系结构演化研究[J]. 计算机科学, 2010, 37(9):137-140. WANG Ling, RONG Mei, ZHANG Guangquan, et al. Research on bigraph-based aspect-oriented dynamic software architecture evolution[J]. Computer Science, 2010, 37(9):137-140.
[25] 陈洪龙, 李仁发. 基于Bigraph理论的动态演化软件相关特性分析与验证方法[J]. 小型微型计算机系统, 2010, 31(12):2305-2309. CHEN Honglong, LI Renfa. Analyzing and verifying method for dynamic evolution software based on bigraphical theory[J]. Journal of Chinese Computer Systems, 2010, 31(12):2305-2309.
[26] 刘培培, 章勇, 莫启, 等. 一种基于Bigraph理论的软件演化过程模型研究[J]. 计算机应用研究, 2013, 30(5):1423-1426. LIU Peipei, ZHANG Yong, MO Qi, et al. Research on software evolution process model based on Bigraph theory[J]. Application Research of Computers, 2013, 30(15):1423-1426.
[27] 吕建, 马晓星, 陶先平, 等. 网构软件的研究与进展[J]. 中国科学 E辑 信息科学, 2006, 36(10):1037-1080. LYU Jian, MA Xiaoxing, TAO Xianping, et al. Research and development for Internetware software[J]. Science in China Ser. E Information Sciences, 2006, 36(10):1037-1080.
[28] 何克清, 彭蓉, 刘玮, 等. 网络式软件[M]. 北京:科学出版社, 2008:1-30. HE Keqing, PENG Rong, LIU Wei, et al. Netwoked Sofware[M]. Beijing:Science Press, 2008:1-30.
[29] 何克清, 马于涛, 刘婧, 等. 软件网络[M]. 北京:科学出版社, 2008:1-25. HE Keqing, MA Yutao, LIU Jing, et al. Software Netwok[M]. Beijing:Science Press, 2008:1-25.
[30] 何克清, 何扬帆, 王翀, 等. 本体元建模理论与方法及其应用[M]. 北京:科学出版社, 2008:1-34. HE Keqing, HE Yangfan, WANG Chong, et al. Ontological metamodeling theory, methods and application[M]. Beijing:Science Press, 2008:1-34.
[31] JORSTAD I, DUSTDAR S, Van THANH D. A service oriented architecture framework for collaborative services[C]//Proceedings of the 14th IEEE International Workshops on Enabling Technologies:Infrastructure for Collaborative Enterprises. Washington, DC:IEEE Computer Society, 2005, 121-125
[32] CHUNG J Y. An industry view on service-oriented architecture and web services[C]//Proceedings of IEEE International Workshop on Service-Oriented System Engineering. Beijing:IEEE, 2005:59.
[33] ANDREWS T, CURBEAR F, DHOLAKIA H, et al. Business Process Execution Language for Web Services version 1.1 2007, http://www.ibm.com/developerworks/library/specification/ws-bpel/.
[34] ZHANG Jia, CHUNG J Y, CHANG C K, et al. WS-Net:A petri-net based specification model for web services[C]//Proceedings of the 20th IEEE International Conference on Web Services. San Diego, California:IEEE Computer Society, 2004:420-427.
[35] KOSHKINA M, VAN BREUGEL F. Modelling and verifying web service orchestration by means of the concurrency workbench[J]. ACM SIGSOFT Software Engineering Notes, 2004, 29(5):1-10.
[36] GU Xiwu, LU Zhengdin. A pi-calculus based formal model for BPEL4 WS web service composition[J]. Computer Science, 2007, 30(3):69-74.
[37] MULLER J P, COSSENTINO M. Agent-oriented software engineering XIII[C]//13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Lecture Notes in Computer Science.Berlin Heidelberg:Springer, 2013, 7852:22-41.
[38] WEYNS D, MULLER J P. Agent-oriented software engineering XII[C]//VILLATORO D, SABATER-MIR J, SICHMAN J S. The 12th International Workshop, AOSE 2011, Taipei, May 2011, Revised Selected Papers. Lecture Notes in Computer Science. Berlin Heidelberg:Springer, 2012, 6938:18-43.
[39] WEYNS D, GLEIZES M P. Agent-oriented software engineering XI[C]//WEYNS D, GLEIZES, M P. 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. Lecture Notes in Computer Science. Berlin Heidelberg:Springer, 2011, 6788:21-45.
[40] SHI Zhongzhi, ZHANG Jianhua, YUE Jinpeng, et al. A cognitive model for multi-agent collaboration[J]. International Journal of Intelligence Science, 2014, 4(1):1-6.
[41] 常志明, 毛新军, 王戟, 等. 多Agent系统中软构件的动态绑定机制及其操作语义[J]. 计算机研究与发展, 2007, 44(5), 806-814. CHANG Zhiming, MAO Xinjun, WANG Ji, et al. Dynamic binding mechanism and its operational semantics of component in multi-agent system[J]. Journal of Computer Research and Development, 2007, 44(5):806-814.
[42] 李青山, 王璐, 褚华, 等. 一种基于智能体技术的软件自适应动态演化机制[J]. 软件学报, 2015, 26(4):760-777. LI Qingshan, WANG Lu, CHU Hua, et al. Agent-Based software adaptive dynamic evolution mechanism[J]. Journal of Software, 2015, 26(4):760-777.
[43] 杨春燕, 蔡文. 可拓信息-知识-智能形式化体系研究[J]. 智能系统学报, 2007, 2(3):8-11. YANG Chunyan, CAI Wen. A formalized system of extension information-knowledge-intelligence[J]. CAAI Transactions on Intelligent Systems, 2007, 2(3):8-11.
[44] 方卓君, 李卫华, 李承晓. 自助游可拓策略生成系统的研究与实现[J]. 广东工业大学学报, 2009, 26(2):83-89. FANG Zhuojun, LI Weihua, LI Chengxiao. Research and realization of Extension strategy generating system for independent travel[J]. Journal of Guangdong University of Technology, 2009, 26(2):83-89.
[45] 叶广仔, 李卫华, 张希花. 防治空气污染的可拓策略生成系统研究与实现[J]. 广东工业大学学报, 2007, 24(4):42-48. YE Guangzai, LI Weihua, ZHANG Xihua. Research and realization of extension strategy generating system for air pollution prevention and cure[J]. Journal of Guangdong University of Technology, 2007, 24(4):42-48.
[46] 陈智斌, 彭平, 陈宇亮. 基于可拓策略生成技术的商品搜索服务改进研究[J]. 数学的实践与认识, 2009, 39(4):160-167. CHEN Zhibin, PENG Ring, CHEN Yuliang. Research on improvement of product search service base on extension strategy generating technique[J]. Mathematics in Practice and Theory, 2009, 39(4):160-167.
[47] 朱伶俐, 李卫华, 李小妹. 客户价值可拓知识挖掘软件研究[J]. 广东工业大学学报, 2012, 29(4):7-13. ZHU Lingli, LI Weihua, LI Xiaomei. Research on extension knowledge mining software for customer value[J]. Journal of Guangdong University of Technology, 2012, 29(4):7-13.
[48] 苏楠. 基于可拓逻辑的产品族配置设计方法[D]. 杭州:浙江工业大学, 2009:1-20. SU Nan. Configuration design on the extension logic for product family[D]. Hangzhou:Zhejiang University of Technology, 2009:1-20.
[49] 杨国为, 王先梅, 涂序彦. 面向计算机的产品创新设计的新模型与新原理(1)[J]. 计算机工程与应用, 2003, 39 (32):7-9, 47. YANG Guowei, WANG Xianmei, TU Xuyan. New Models and principles on computer-oriented innovative and creative design of products (I)[J]. Computer Engineering and applications, 2003, 39(32):7-9, 47.
[50] 杨国为, 王先梅, 涂序彦. 面向计算机的产品创新设计的新模型与新原理(2)[J]. 计算机工程与应用, 2003, 39 (33):22-24, 64. YANG Guowei, WANG Xianmei, TU Xuyan. New models and principles on computer-oriented innovative and creative design of products (Ⅱ)[J]. Computer Engineering and applications, 2003, 39(33):22-24, 64.
[51] 邹广天. 建筑设计创新与可拓思维模式[J]. 哈尔滨工业大学学报, 2006, 38(7):1120-1123. ZOU Guangtian. Innovation of architectural design and extension thinking modes[J]. Journal of Harbin Institute of Technology, 2006, 38(7):1120-1123.
[52] 王涛, 邹广天. 空间元与建筑室内空间设计中的矛盾问题[J]. 哈尔滨工业大学学报, 2006, 38(7):1139-1142, 1145. WANG Tao, ZOU Guangtian. Space-element and contradictory problems consisting in design of architectural interior space[J]. Journal of Harbin Institute of Technology, 2006, 38(7):1139-1142, 1145.
[53] 周志丹, 李兴森. 企业自主创新的可拓创新模型构建与应用研究[J]. 科学学研究, 2010, 28(5):769-776. ZHOU Zhidan, LI Xingsen. Research on extenics-based innovation model construction and application of enterprise independent innovation[J]. Studies in Science of Science, 2010, 28(5):769-776.
[54] 李兴森, 刘艳彬. 可拓学与信息管理、知识管理的关系研究[J]. 当代经济管理, 2011, 33(11):6-9. LI Xingsen, LIU Yanbin. Study on the relationship among extenics, information management and knowledge management in the knowledge economy[J]. Contemporary Economy & Management, 2011, 33(11):6-9.
[55] 杨春燕, 李卫华, 李小妹. 矛盾问题智能化处理的理论与方法研究进展[J]. 广东工业大学学报, 2011, 28(1):86-94, 97. YANG Chunyan, LI Weihua, LI Xiaomei. Recent research progress in theories and methods for the intelligent disposal of contradictory problems[J]. Journal of Guangdong University of Technology, 2011, 28(1):86-94, 97.
[56] 李卫华. 利用知网增强可拓策略生成机制研究[J]. 广东工业大学学报, 2013, 30(2):1-6. LI Weihua. Research on taking advantage of the hownet to enhance mechanisms of extension strategy generation[J]. Journal of Guangdong University of Technology, 2013, 30(2):1-6.
[57] 陈智斌, 彭平, 贾西平. 基于认知科学的可拓变换构造问题研究[J]. 广东工业大学学报, 2011, 28(4):1-6. CHEN Zhibin, PENG Ping, JIA Xiping. Research on the construction of extension transformation based on cognitive science[J]. Journal of Guangdong University of Technology, 2011, 28(4):1-6.
[58] 李博, 同淑荣, 白晶. 设计过程基因可拓基元模型及过程基因变异[J]. 机械科学与技术, 2012, 31(1):87-95. LI Bo, TONG Shurong, BAI Jing. Extensible basic-element model of design process gene and mutation of design process gene[J]. Mechanical Science and Technology for Aerospace Engineering, 2012, 31(1):87-95.
[59] 杨春燕, 李志明. 基于可拓学的社会网络结构研究[J]. 广东工业大学学报, 2014, 31(1):1-6. YANG Chunyan, LI Zhiming. Extenics based social network structure[J]. Journal of Guangdong University of Technology, 2014, 31(1):1-6.
[60] Fan Rui. Modelling extenics innovation software by intelligent service components[J]. The Open Cybernetics & Systemics Journal, 2014, 8:1-7.
DOI: 10.11992/tis.201507043
中国人工智能学会和哈尔滨工程大学联合主办。
0

文章信息

范锐, 彭银桥, 陈月峰, 雷桂斌, 刘小辉
FAN Rui, PENG Yinqiao, CHEN Yuefeng, LEI Guibin, LIU Xiaohui
基于可拓学的自适应软件形式化方法
A method for self-adaptive software formal modeling by Extenics
智能系统学报, 2015, 10(6): 901-911.
CAAI Transactions on Intelligent Systems, 2015, 10(6): 901-911.
DOI: 10.11992/tis.201507043

文章历史

收稿日期: 2015-07-28
网络出版日期: 2015-11-10

相关文章

工作空间