摘要：uml已成为复杂系统建模的工业标准，并可借助代码自动生成工具实现从分析到编码的开发过程自动化。而实时系统的行为特征可以很好地用uml的状态机表示，从而成为自动代码生成、测试、分析和校验的最佳选择。ilogix公司的rhapsody是一个基于uml支持模型驱动开发的case工具，它使用一套为实时系统量身打造的软件框架实现实时系统软件的开发自动化。

关键词：实时系统 uml rhapsody 状态机

引言

面向对象的软件设计方法推崇抽象、可重用且易维护的设计模式。其中，一个普遍采用的做法是使用预定义的框架构建复杂的软件系统。在面向对象领域中，框架是指为某一具体应用领域提供解决方案的类集。程序员使用继承、聚合等技术定制框架并将其用于具体的应用程序设计。基于框架的软件开发具有如下优点：

*由于重用了框架提供的代码，目标系统不必从头写起；

*规范的框架结构能够指导目标系统的设计；

*框架的设计是开放的，因此可以通过子类化等技术定制和扩展。

本文介绍rhapsody的实时代码生成策略。ilogix公司提供的rhapsody是一个基于uml支持实时嵌入式系统全过程面向对象开发的case工具。rhapsody基于一个内置的实时系统软件框架—oxf生成c/c++代码。

1 rhapsody的软件框架

rhapsody的oxf框架专为实时嵌入式系统而设计，它由一系列uml类组成。这些类相互协作，组成了一个结构严整、跨实时操作系统平台的实时嵌入式软件架构。

（1）活动类

活动对象（active object）在uml中被定义为“拥有一个线程并能够发起控制活动的对象”。rhapsody给这个一般定义赋予了具体含义，如图1所示。

活动类（active classes）在框架中以oxfactive表示，它拥有一个执行线程和一个事件队列，并提供事件调度功能。用户活动类从oxfactive继承。

该活动类包装了实时系统中的事件调度器。execute方法是一个无限循环。在循环中，事件被不断地从队列中提取出来，发往对应的目标对象。queueevent和schedtimeout方法向队列注入新的事件。

（2）响应类

响应类（reactive classes）是能够对事件做出反应的框架类，即事件消费者。它在rhapsody的框架中以oxfreactive表示，用户响应类从oxfreactive继承，如图2所示。

图2 响应类及相关框架元素

每个响应类都和一个事件管理器关联（通过调用seteventmanager方法），事件管理器由活动类充当。一个事件管理器可以服务于多个响应类。响应类的gen方法向其事件管理器注入一个新的事件（通过调用活动类的queueevent方法）。事件管理器在收到事件之后会调用相应的响应对象（由事件的属性指出）的takeevent方法。

用户响应类有主动（active）、被动（passive）和从属（subordinate）响应类之分：

*主动用户响应类利用了多重继承技术，它集事件管理器和响应类双得功能于一身；

*被动用户响应类由框架的缺省事件管理器—oxfdefaulteventmanager管理，且所有被动用户响应类都共享该缺省事件管理器；

*从属用户响应类由用户定义的活动类充当事件管理器。从属响应类以聚合方式存在于用户活动类内，或者独立于活动类，而通过调用seteventmanager方法与一个用户活动关联。

（3）事件和操作

类可以定义自己的事件和操作（events and operations）方法。事件代表一种突发的激励信号，可以影响对象的行为及状态。在rhapsody中，活动类负责事件调度。事件既可以异步（活动类将事件投递给目标对象之后立即返回，目标对象使用自己的线程完成对事件的响应），也可以是同步的（活动类投递事件之后必须等待目标对象处理完成才能返回）。操作代表类本身提供的服务和功能。操作调用总是同步的，即操作总是运行在调用者线程之内。rhapsody的框架定义了两种事件：

①信号事件。

信号事件（signal events）是