基于演算的构件演化的研究.pdfVIP

基于演算的构件演化研究+ 龚洪泉，赵文耘，徐如志，钱乐秋 (复旦大学计算机科学与工程系，上海200433) E-mail：021021080@fudan．edu．cn fNn忡．fudarl．edu．cn ．http：f 摘要：确保构件系统的一致性是构件演化的根本目标。根据构件交互过程，借鉴演算的类型系统和进程构造方法，提出构件 交互的类型系统和基于交互的构件模型。为确保构件服务端口和交互通道的正确行为，给出服务的端口类型和通道类型。以此 为基础，结合演算中良类型的思想，提出一致性构件系统的概念。然后，结合构件演化的特点，给出能保持系统一致性的构件 静态演化和动态演化规则。最后，给出非一致演化的恢复方法。 关键词：构件系统维护}构件交互；构件演化}演算 基于构件的软件工程(CBSE)可有效地提高软件开发质量和效率，降低开发及维护成本。构件演化是构件系统维护的关键技 术和研究热点[1]，确保构件系统的一致性是构件演化的根本目标。 针对构件系统的维护和构件演化，国内外的研究人员做了许多奠基性的研究工作。由北京大学主持研制的集成环境“青鸟Ⅲ 系统，，[2]对构件获取、程序理解和构件组装等进行了系统而深入的研究，提出了基于构件一构架复用的软件开发技术。随着对构件 的一致性和构件交互的正确性验证莫定了基础，但它们并没有对构件演化本身作深入的研究。 本文在研究构件交互具体特点的基础上，首先借鉴兀演算嘲中的类型系统和进程构造方法，提出构件交互的类型系统和基 于交互的构件模型。为了区分构件服务端口和交互通道在构件交互过程中扮演的不同角色，给出构件服务的端口类型和通道类 型。同时，在考察构件交互行为正确性的基础上，提出一致性构件系统的概念。然后，结合构件演化的特点，给出构件静态演 化和动态演化规则。最后，对非一致演化所带来的影响进行分析，并提出恢复系统一致性的方法。 1构件演化与靠演算 在一个由构件组装而成的软件系统中，随着系统维护和需求的变化，其组成构件也将发生相应的变化，即构件演化。一方 面由予系统体系结构的变化，原有的构件可能被新的构件所代替[6]，从而导致构件之间连接的变化，这是构件的外部演化。另 一方面，构件可能有了新的升级版本4，或者被其它更有竞争力的构件所替换[7]，从而导致构件规约和实现的变化，这是构件的 内部演化。 在构件演化过程中，必须分析新韵构件是否与现有的系统环境相一致，是否会影响系统的整体行为。一种情况是构件的演 技术的采用和系统环境的变化，不得不对某些构件进行演化，这往往会影响系统的整体行为，导致系统产生不一致的情况，称 这种演化为非一致演化。 的能力。而构件演化会改变构件之间的连接，因此，演算可用来对构件演化进行建模。 1．1构件交互的类型系统 构件是一个有明确接口规约和周境依赖的组装单元，它通过端口与其它构件进行交互。服务提供端口向其它构件提供服务， 服务请求端口请求其它构件的服务。组成系统的构件在它们相互匹配的两个端口之间建立交互通道，以传送端口之间的交互信 息(见图1)。 如果一个构件所提供的服务正好满足另一个构件所请求的服务，则它们可以互相交互。构件交互涵盖了服务匹配和交互通 个构件，则它们之间有如下的交互过程： +基金项目：国家863高科技发展计划资助项目(2002AAll4010)；上海市科委攻关项目(025115014) 授，博士生导师，主要研究领域为软件复用，软件体系结构。徐如志(1966-)，男，山东泰安人，博士，高级工程师，主要研究 领域为软件复用，软件项目管理。钱乐秋(1942一)，男，江苏吴江人，教授，博士生导师，主要研究领域为软件工程，软件复用。 基t演算的构件演化研究 77 port channel ，一、8eTver —request port．．．．．．．．．．．一interaction L广一服务提供端口——L服务请求端口二==二：=