控制驱动软件协同模型中通道地研究.pdfVIP

控制驱动软件协同模型中通道的研究+ 韩 亮+，赵 洁，陶先平，吕 建 (南京大学计算机科学与技术系，江苏南京210039)； E-mail：hanliang@ics．nju．edu．cn 摘要：控制驱动软件协同模型很好的实现了计算与协同的分离，是一种重要的软件协同模型。通道在模型中表示了协同部分， 具有重要的地位。然而现有的控制驱动协同模型中，通道的设计较为简单，不能满足应用的需求。本文利用软件体系结构将连 集成人员可以对其进行配置，并且可以选择低耦合度的通道，以满足不同应用的需求。 关键词：控制驱动协同模型；通道；Interceptor配置 随着大规模并行计算和分布式程序设计技术的发展，人们对软件协同问题的研究兴趣日增。在计算机软件领域，影响最广 泛的协同概念来自于Linda的作者Carriero和Gelemter从程序设计的角度对协同的定义[1]： Coordinationisthe active processbuilding of programsbygluingtogetherpieces．(协同是通过将一组主动的片断粘合起来的 方式来构作程序的过程。) 他们提出 。 Programming=Coordination+Computation 倡导在分布式程序设计中将(分布的)协同与(局部的)计算分离的思想，指出对协同的描述是与对计算的描述同等重要的软 件组成成分。 在上述协同概念的基础上，新的协同模型不断出现。协同模型为主动独立的被协同实体之间的交互的表达提供了一个框架。 Farhad 的数据交换。这类协同模型大多要用到共享的数据空间。协同实体出了需要完成自身的计算任务外，还需要通过调用协同原语 来从外界(共享数据空间)获取数据或者向外界提供数据，以此来与其它实体协同。数据驱动协同模型的典型代表是Linda[3]。 控制驱动协同模型，又称作状态驱动协同模型，关注的是协同实体的状态变化与环境的变化。通常协同实体被视为一个具 有良好接口定义的黑盒。协同实体通过端口(Port)接收别的协同实体发送的消息和接收广播事件感应外界环境的变化，从而引起 实体状态的改变，并通过端口向其他实体发送消息和事件广播向环境发送事件，引起环境的改变。控制驱动的协同语言通常使 为详细的介绍。控制驱动协同模型和协同语言的典型代表是ManifoldO]、Darwin[引。 数据驱动的协同模型将协同的代码与计算的代码混合，导致各自的语义不够明确。修改较为困难；而控制驱动的协同模型 使用具有良好定义的接口的黑盒表示协同实体，另外的模块表示协同，各自语义明确，实现计算代码和协同代码完全的分离， 有利于计算模块和协同模块的设计、调试、维护和复用。所以，控制驱动模型是一类非常重要的协同模型。 按照计算与协同之和等于程序的思想，在控制驱动协同模型中，黑盒表示的协同实体表示了计算部分，而通道表示了协同 部分。用以表示协同部分的通道的表达能力的强弱直接影响协同模型表达能力的强弱。所以通道表示了在控制驱动协同模型中 具有举足轻重的地位。 的连接和动态重定向[2，12-1。简单的通道面临一下几个问题： 1)功能需求。在基于协同与计算分离思想的系统的开发中，端口的不匹配(比如数据格式的不匹配)成为阻碍通道顺利连接 的因素，即功能异构。 2)实际应用系统对通道提出非功能性需求，比如加密通道、实时通道、可靠通道等。 3)软件系统的集成人员希望能够对通道进行配置，以满足应用的具体需求。 4)直接的通道连线导致系统耦合度较高，不利于系统的动态演变，软件系统的集成人员希望使用耦合度较低的通道。 显然，当前的控制驱动协同模型和语言不能达到要求。而软件体系结构为研究协同模型中通道的研究提供了新的思路。软 资助项目(2002AAll6010)；江苏省自然科学基金资助项目(BK2002409) 吕建(1960一)，男，博士，教授，博士生导师，主要研究领域为软件自动化与形式化方法，移动Agent技术． 14 第一部分建模方法及其应用 ——————————————————————————————————