关于UML顺序图的结构化操作语义描述的研究 .docVIP

 1. 前言 UML( Unified Modeling Language, 统 一 建 模 语 言 ) 是 一 种 通 用的可视化建模语言, 用于对软件系统制品( artifacts of systems) 的说明、构建及文档化。 今天, UML 已经发展到了 2.1.1 版, 并成为大部分面向对象 开发组织的首选系统建模工具。UML 作为一门可视化的建模语 言, 自身有着较为系统和严谨的语法结构, 但是其语义却还有不 少模糊不清的地方, 特别是动态语义, 一般采用自然语言描述, 从 而 使 得 所 描 述 的 目 标 系 统 常 常 无 法 进 行 形 式 化 的 分 析 和 验 证。 为了消除 UML 中的歧义, 便于对 UML 模型进行严格的分 析验证, UML 的形式化工作就显得势在必行了。但是, 目前大部 分对动态图的形式化描述工作采取的都是基于代数映射的代数 方法, 与工程技术界编制程序的习惯相差太大, 而且对读者的数 学功底要求比较高, 所以难以推广和使用。相对于代数语义和公 理语义, 本文中所采用的结构化操作语义更加贴近机器实现, 比 较容易为人们所理解。 个对象, 或向调用者返回一个结果。 · 激活: 激活表示一个对象直接或通过从属例程执行一个 行为的时期。它既表示了行为执行的持续时间, 也表示了活动和 它的调用者之间的控制关系。 · 当一个对象处于