UML动作语义的研究.pdfVIP

UML动作语义研究 高鹏， 罗燕京 (北京航空航天大学计算机学院软件工程研究所，北京 100083) edu．on；Luo_Yanjing@sina·com·cn E-mail：gaop@btma ca buaa．edu http：Hsei 摘要： 动作语义是UML一个新的组成部分，是精确说明模型动态行为的基础。具备精确动作说明的UML 模型可进行模型级验证和执行，符合模型驱动软件开发的要求。本文综述UML动作语义的基础和内容，提出 了一种可视化动作说明语言UML-VASL的设计原型，并对动作说明的应用模式进行了阐述。 关键ifl：UML；动作语义；模型驱动软件开发；UML-VASL 1引言 Driven MDA(ModelArchitecture)是OMG提出的下一代模型驱动软件开发方法的概念框架。这一框架中， 模型是开发过程的中心。MDA要求的模型是所构建系统的“完整”模型一一除详述系统静态结构和动态行为 外，还需指定行为的精确动作说明，即说明每个操作具体怎么做。而系统代码则主要依据模型进行自动或半自 动生成。 MDA建模的语言基础是UML。目前UML主要通过由类图、包图、构件图等描述模型静态结构；通过活 动图、交互图和状态图等指定动态行为的宏观方面，但不具备精确说明模型动态行为的能力。 OMG于2001年末基于UMLl．4定义了动作语义(ActionSemantics)，以提供UML对模型动态行为进行精 确说明的支持能力。 2 UML动作语义定义 动作语义是精确说明模型动态行为的基础，是从传统程序设计语言语义经抽象综合得来的，以其为语义基 础的动作说明语言可用来精确说明模型的动态行为。 2I UML动作语义基础 用UML元模型表达的动作语义基本概念。 动作是精确说明模型动态行为的基础。动作是可执行的，它按照语义定义、应用于具体实例来改变模型状 态。原语动作具有原子性，是动作的泛化，也是模型精确动作说明最基础的组成部分。动作专注于完成自己的 任务而不参与被处理实例的读写，实例经管脚进出动作。 通过管脚的实例。每个管脚只能赋值一次，但可以多次获取其值，这称为管脚的“单一赋值原则”。 实例经输入管脚进入动作，经输出管脚离开动作。但输出管脚、输入管脚不能直接相连，只能分别作为源 作者简介：高鹏(1977--)，男，河南安阳人预士，主要研究领域为软件工程和软件工程环境；罗燕京，(1951--)，北京市人，高级工程 师，主要研究领域为IYML，软件过程和软件工程环境 25 UML碲辞语爻研竞 端和目的端、经数据流进行连接。每个输入管脚只能(经数据流)连接到一个输出管脚，～个输出管脚则可以(经 数据流)艘连接到多十输^管脚。 l Essential ofUMLactionsemantics Fig conce。pt 国1眦语义动作基车概念 动作闻有两种连接方式：数据流和控镥4流。当菜一动作的输出妾饼是另一动作的输^宴例时，两者通过数 据流连接各自输出管脚和输入管脚，实例经此路径直接从前一动作到达后一动作，无须经历中间实例的存储。 控制流用于约束两个动作的执行顺序，只有前一动作执行完毕后一动作才可能开始执行。若两个动作没有经上 述阿种方式相琏．那么它们在逻辑上不相关．在执行时可并行。 过程由动作组成。作为逻辑实体，过程可以对应丁类方法、状态罔或活动圈中的操作，是精确动作说明和 UML模型其他部分的接口；作为执行单位，过程为单个动作的执行提供上下文环境。 22 u盹动作语义的动作分类 以F提到的箨娄动作，指的是各动作对血的由uⅦ。定义