论文部分内容阅读
[摘 要] 在传统构件模型的基础上借鉴软件自主性研究领域中对于实体的自主性的规约和支持手段，提出自主构件的概念用来刻画网构软件的实体元素， 建立了自主构件模型，探讨了改进现有构件框架，从而为自主构件提供支撑的可行方案。
[关键词] 自主构件 环境感知器 规则引擎
1、引言
现有的构件模型在刻画组成网构软件的实体元素时，存在以下不足：
第一，网构软件的实体元素是独立开发和交付并且分布在整个网络上，它们的运行是由所在的网络节点提供本地支持和控制。同一系统中的不同构件可能分属于不同的所有者，因此现有模型缺乏对构件独立性的刻画。
第二，这些模型对于系统有这样的假设，系统在运行阶段和组装阶段的结构是一致的，构件与构件、构件与环境之间的依赖关系从系统组装部署阶段一直到运行过程中始终是稳定的，因此现有模型缺乏对构件的主动性的支持。
针对上述存在的问题，借鉴软件自主性研究领域中对于实体的自主性的刻画和支持手段，有必要构建一种新的用于刻画Internet上自主构件的统一的计算模型。
2、自主构件模型研究与设计
构件模型是构件的本质特征以及构件之间关系的抽象描述。自主构件模型则要关注自主构件的本质特征及自主构件之间的关系。
2.1 自主构件的模型
定义自主构件的规约包括如下内容：
自主构件应该声明它向外部提供什么服务，对“做什么”进行语义描述。
自主构件发布它所提供的服务时，应该说明使用其服务的方法，也即关于客户该如何请求自主构件的服务的约定。该约定是构件与客户传递各种交互消息的依据，是对服务功能的语法描述。
2.2自主构件模型的语义表达
在定义自主构件模型的时候，希望根据模型能够推导出构件的行为和属性。可以从以下几个方面来讨论自主构件模型的语义表达：
自主构件何时开始去实现目标？
自主构件何时承诺提供服务？
自主构件的目标是否能够实现？自主构件如何实现它的目标？
构件是否能够成功的提供服务？构件如何提供服务？
2.3自主构件模型的设计
自主构件的内部结构主要包括知识层、行为层、环境感知层。
知识层主要用来对自主构件的目标、服务及所处的环境进行建模，行为层则主要关注如何实现自主构件的目标及向外提供服务，而环境感知层则用来感知环境中传递的各种服务请求信息。
环境感知层用于获取环境信息感知环境变化。这一层的实现体主要是环境感应器。自主构件之间的通信消息是携带环境信息的一种重要载体，因此环境感应器通过解析服务请求，来获取环境信息，并把捕获到的信息传递给行为层，一方面用来修改知识库，另一方面，作为推理器和规划器的输入使自主构件产生行为动作。
3、自主构件基本功能模块的实现
自主构件主要功能模块主要包括环境感知器、规则引擎、规划图等。
3.1环境感知器的实现
环境感知器负责感知环境的状态、获取和解析环境中的服务请求，然后将所捕获到的信息传递给行为层，一方面用来修改知识库，另一方面，被规则引擎RuleEngine用来触发相关的规则。
下面是类Sensor的主要成员变量和方法说明的实现：
public Interface Sensor {
/* 接收消息的邮箱 */
protected act.ac.util.SynchronizedQueue inbox;
/* 负责发送消息的邮箱 */
protected act.ac.util.SynchronizedQueue outbox;
/* 用于保存与本 Sensor 所属的自主构件发生通信的其他自主构件的地址信息 */
protected AddressBook addressbook = new AddressBook();
/* 消息接收线程， 消息接收完毕后， 将从消息中解析出的信息添加到知识库中*/
protected Server server;
/* 消息发送线程, postMan 从 outbox 中逐条取出消息,与消息接收者建立 socket
连接把消息发送出去 */
protected PostMan postMan;
/* 把要发送的消息 msg 投到发送邮箱里，当 needReply 为 true 时，返回会话标识 */
public String send(Performative msg, boolean needReply); }
3.2 规则引擎的实现
规则引擎是一个复杂的规则解释器，目前已有很多开源的非商业用途的规则引擎，其中Jess[Jess]是适用于Java平台的一个轻量级规则引擎，使用Rete算法处理规则匹配，而且支持后向推导，工作记忆查询，以及对Java对象的直接操作和推理等功能。
类 RuleEngine 的主要成员变量和方法的实现如下所示：
public Interface RuleEngine extends Thread {
/* Jess 规则引擎对象 */
protected Rete jessEngine;
/* 用于保存规则中的动作函数 */
protected Hashtable actionsTable;
/* 用于保存从通信层传入的 ACL 消息，
RuleEngine 将按序根据规则处理 msgQueue 中的消息 */
protected SynchronizedQueue msgQueue;
/* 在构造函数中初始化 Jess 规则引擎的事实库，导入规则文件 fileName.clp ，
并启动 Jess 规则引擎 */
public RuleEngine(ACContext context, String fileName);
/* 向 msgQueue 添加 ACL 消息 */
public void newMsg(Performative msg);
/* action封装了用户自定义的动作函数，addAction 把 action 加到 actionsTable 中 */
public void addAction(ACAction action);
/* 把自主构件提供服务的能力转换成事实写入事实库中 */
public void addACServices(Hashtable serviceTable); }
3.3 规划引擎的实现
规划是自主构件行为的一个动作序列，规划执行引擎负责执行这样的动作序列。
PlanEngine 的主要成员变量和方法的实现如下所示：
public Interface PlanEngine extends Thread {
/* 规划执行引擎中的任务队列 */
protected SynchronizedQueue queue;
/* 向任务队列 queue 中添加任务，即动作结点 */
public synchronized void add(Node node);
/* 依次执行任务队列 queue 中的任务 */
public void run();
/* 執行实现服务 Service 的规划， input 是第一个动作的输入参数 */
public void plan(String service, Object input); }
3.4 規划图的实现
自主构件提供的每一个服务对应着一个任务规划，服务的实现通过规划的执行来完成。由于采取离线方式来制定规划，因此需要用一个类来记录规划，这便是规划图类。
类 PlanGraph 的主要成员变量和方法的实现如下所示：
public Interface PlanGraph {
/* 用于记录该图的拓扑结构。二维数组的组成为：
{{ 节点名， 点的第一条边名， 第一条边终点名， 第二条边名， 第二条边终点名 ......}
{ 第二个节点名， ......} ......} */
protected String[][] structure;
/* 图的起始节点名 */
protected String startNodeName;
/* 执行这个规划，把规划图中的起始结点放入规划引擎的执行队列，
input 是起始结点的输入参数 */
public void runGrpah(Object input, GraphEngine engine); }
3.5 自主构件的实现
自主构件是环境感知器、规则引擎、规划引擎、知识信息等的合成。
类 AutonomousComponent 的主要成员变量的实现如下所示：
public Interface AutonomousComponent {
/* 环境感知器 */
protected Sensor sensor;
/* 规则引擎 */
protected RuleEngine ruleEngine;
/* 规划引擎 */
protected PlanEngine planEngine;
/* 其他自主构件的信息 */
protected Vector acquaintances;
/* 服务及服务所对应的规划图 */
protected Hashtable serviceTable;
/* 规则文件 */
protected String ruleFile; }
由此，证明了自主构件模型的可行性。
参考文献：
[1] 孙熙，庄磊，刘文，焦文品，梅宏，可定制的自主构件运行支撑框架，软件学报，2007 721-732.
[2] 李斌，吕建，朱梧槚, 基于情境演算的智能体结构，软件学报，2003，Vol.14，No.4.
[3] 郭双宙，基于语义Web规则的软件体系结构.doc，计算机工程，2010，Vol.22，No.6.
作者简介：
黄建平(1973－)，男，讲师，主研方向：计算机信息管理。
[关键词] 自主构件 环境感知器 规则引擎
1、引言
现有的构件模型在刻画组成网构软件的实体元素时，存在以下不足：
第一，网构软件的实体元素是独立开发和交付并且分布在整个网络上，它们的运行是由所在的网络节点提供本地支持和控制。同一系统中的不同构件可能分属于不同的所有者，因此现有模型缺乏对构件独立性的刻画。
第二，这些模型对于系统有这样的假设，系统在运行阶段和组装阶段的结构是一致的，构件与构件、构件与环境之间的依赖关系从系统组装部署阶段一直到运行过程中始终是稳定的，因此现有模型缺乏对构件的主动性的支持。
针对上述存在的问题，借鉴软件自主性研究领域中对于实体的自主性的刻画和支持手段，有必要构建一种新的用于刻画Internet上自主构件的统一的计算模型。
2、自主构件模型研究与设计
构件模型是构件的本质特征以及构件之间关系的抽象描述。自主构件模型则要关注自主构件的本质特征及自主构件之间的关系。
2.1 自主构件的模型
定义自主构件的规约包括如下内容：
自主构件应该声明它向外部提供什么服务，对“做什么”进行语义描述。
自主构件发布它所提供的服务时，应该说明使用其服务的方法，也即关于客户该如何请求自主构件的服务的约定。该约定是构件与客户传递各种交互消息的依据，是对服务功能的语法描述。
2.2自主构件模型的语义表达
在定义自主构件模型的时候，希望根据模型能够推导出构件的行为和属性。可以从以下几个方面来讨论自主构件模型的语义表达：
自主构件何时开始去实现目标？
自主构件何时承诺提供服务？
自主构件的目标是否能够实现？自主构件如何实现它的目标？
构件是否能够成功的提供服务？构件如何提供服务？
2.3自主构件模型的设计
自主构件的内部结构主要包括知识层、行为层、环境感知层。
知识层主要用来对自主构件的目标、服务及所处的环境进行建模，行为层则主要关注如何实现自主构件的目标及向外提供服务，而环境感知层则用来感知环境中传递的各种服务请求信息。
环境感知层用于获取环境信息感知环境变化。这一层的实现体主要是环境感应器。自主构件之间的通信消息是携带环境信息的一种重要载体，因此环境感应器通过解析服务请求，来获取环境信息，并把捕获到的信息传递给行为层，一方面用来修改知识库，另一方面，作为推理器和规划器的输入使自主构件产生行为动作。
3、自主构件基本功能模块的实现
自主构件主要功能模块主要包括环境感知器、规则引擎、规划图等。
3.1环境感知器的实现
环境感知器负责感知环境的状态、获取和解析环境中的服务请求，然后将所捕获到的信息传递给行为层，一方面用来修改知识库，另一方面，被规则引擎RuleEngine用来触发相关的规则。
下面是类Sensor的主要成员变量和方法说明的实现：
public Interface Sensor {
/* 接收消息的邮箱 */
protected act.ac.util.SynchronizedQueue inbox;
/* 负责发送消息的邮箱 */
protected act.ac.util.SynchronizedQueue outbox;
/* 用于保存与本 Sensor 所属的自主构件发生通信的其他自主构件的地址信息 */
protected AddressBook addressbook = new AddressBook();
/* 消息接收线程， 消息接收完毕后， 将从消息中解析出的信息添加到知识库中*/
protected Server server;
/* 消息发送线程, postMan 从 outbox 中逐条取出消息,与消息接收者建立 socket
连接把消息发送出去 */
protected PostMan postMan;
/* 把要发送的消息 msg 投到发送邮箱里，当 needReply 为 true 时，返回会话标识 */
public String send(Performative msg, boolean needReply); }
3.2 规则引擎的实现
规则引擎是一个复杂的规则解释器，目前已有很多开源的非商业用途的规则引擎，其中Jess[Jess]是适用于Java平台的一个轻量级规则引擎，使用Rete算法处理规则匹配，而且支持后向推导，工作记忆查询，以及对Java对象的直接操作和推理等功能。
类 RuleEngine 的主要成员变量和方法的实现如下所示：
public Interface RuleEngine extends Thread {
/* Jess 规则引擎对象 */
protected Rete jessEngine;
/* 用于保存规则中的动作函数 */
protected Hashtable actionsTable;
/* 用于保存从通信层传入的 ACL 消息，
RuleEngine 将按序根据规则处理 msgQueue 中的消息 */
protected SynchronizedQueue msgQueue;
/* 在构造函数中初始化 Jess 规则引擎的事实库，导入规则文件 fileName.clp ，
并启动 Jess 规则引擎 */
public RuleEngine(ACContext context, String fileName);
/* 向 msgQueue 添加 ACL 消息 */
public void newMsg(Performative msg);
/* action封装了用户自定义的动作函数，addAction 把 action 加到 actionsTable 中 */
public void addAction(ACAction action);
/* 把自主构件提供服务的能力转换成事实写入事实库中 */
public void addACServices(Hashtable serviceTable); }
3.3 规划引擎的实现
规划是自主构件行为的一个动作序列，规划执行引擎负责执行这样的动作序列。
PlanEngine 的主要成员变量和方法的实现如下所示：
public Interface PlanEngine extends Thread {
/* 规划执行引擎中的任务队列 */
protected SynchronizedQueue queue;
/* 向任务队列 queue 中添加任务，即动作结点 */
public synchronized void add(Node node);
/* 依次执行任务队列 queue 中的任务 */
public void run();
/* 執行实现服务 Service 的规划， input 是第一个动作的输入参数 */
public void plan(String service, Object input); }
3.4 規划图的实现
自主构件提供的每一个服务对应着一个任务规划，服务的实现通过规划的执行来完成。由于采取离线方式来制定规划，因此需要用一个类来记录规划，这便是规划图类。
类 PlanGraph 的主要成员变量和方法的实现如下所示：
public Interface PlanGraph {
/* 用于记录该图的拓扑结构。二维数组的组成为：
{{ 节点名， 点的第一条边名， 第一条边终点名， 第二条边名， 第二条边终点名 ......}
{ 第二个节点名， ......} ......} */
protected String[][] structure;
/* 图的起始节点名 */
protected String startNodeName;
/* 执行这个规划，把规划图中的起始结点放入规划引擎的执行队列，
input 是起始结点的输入参数 */
public void runGrpah(Object input, GraphEngine engine); }
3.5 自主构件的实现
自主构件是环境感知器、规则引擎、规划引擎、知识信息等的合成。
类 AutonomousComponent 的主要成员变量的实现如下所示：
public Interface AutonomousComponent {
/* 环境感知器 */
protected Sensor sensor;
/* 规则引擎 */
protected RuleEngine ruleEngine;
/* 规划引擎 */
protected PlanEngine planEngine;
/* 其他自主构件的信息 */
protected Vector acquaintances;
/* 服务及服务所对应的规划图 */
protected Hashtable serviceTable;
/* 规则文件 */
protected String ruleFile; }
由此，证明了自主构件模型的可行性。
参考文献：
[1] 孙熙，庄磊，刘文，焦文品，梅宏，可定制的自主构件运行支撑框架，软件学报，2007 721-732.
[2] 李斌，吕建，朱梧槚, 基于情境演算的智能体结构，软件学报，2003，Vol.14，No.4.
[3] 郭双宙，基于语义Web规则的软件体系结构.doc，计算机工程，2010，Vol.22，No.6.
作者简介：
黄建平(1973－)，男，讲师，主研方向：计算机信息管理。