当前位置：文档之家 › 一种面向构件的行为语义模型及其应用研究

一种面向构件的行为语义模型及其应用研究

  • 格式：pdf
  • 大小：484.02 KB
  • 文档页数：5

下载文档原格式

  / 5

合集下载

一种面向构件的访问控制模型及访问控制框架研究

一种面向构件的访问控制模型及访问控制框架研究

用关系以及模型的独立性和代码无关性。因此 ， 提 出一种新 的以角色 为基础 的 、 向构件 的访 问控 制 面
模型和框 架 ， 基 础 的 角色 分 为基 本 角色 、 能 角 把 功 色和任务 角色 ， 为 每种 角 色 定义 一组 特 征 集 ， 并 然 后根据这 些特 征建 立 一种 角 色 构 件 和一 种访 问控
联接适 配器进 行处 理 。同时 ， 照构件 关注点 分离 按 的 区别和层次 粗 粒度 的大 小 可分 为业 务 逻辑 和 服 务构 件 、 业务 构 件 、 构件 系统 。其 中业 务构 件是 最 大粗粒 度 的可重 用 构 件单 位 。而 关 注点 分离 是 保 持构件 自治性 ， 松 耦 合 度是 实 现平 台 、 言 的无 散 语 关性 。构件 系统 是 由一 系 列业 务 独 立 的构件 子 系 统组 成 ， 每个构 件子 系统 由一个或 一系列业 务构 其 件组装而成 。 构件 库 是 作 为 整个 基 于 构件 的软 件
需求 。
１ 相 关 概 述
研 究面 向构件 的访 问控制 模 型及 访 问控 制框
架的基础是建立在构件体系设计思想上的， 目 而 前
使 用 构 件 技 术 主 要 以 Ｃ Ｒ Ａ、 Ｏ 、 ｃｉ Ｘ、 Ｏ Ｂ Ｃ Ｍ Ａｔｅ ｖ ＶＣ 、Ｊ Ｌ Ｅ Ｂ等为代 表 ， 这些 技 术 主 要采 用 面 向对 象
和 配置文件 把权 限分 派到其他 构件和相 应 的业务逻 辑 中 ， 完成 数据 访 问控 制 ， 最后 还给 出了 角色
构件 与其他 构件模 式 的关 系。
关键 词 ： 面向构件 ； 色构件 ； 角 配置文 件 ； 特征 集 中图分类 号 ： Ｐ ９ ． Ｔ ３ １５ 文献标识 码 ： Ａ 文章编号 ：６ ２ ６ ６ ２ ０ ）５—０ ７ １ ７ —１ １ （０ ７ １ ０ ０—０ ４

面向构件的测试研究

面向构件的测试研究
重要特征．
（ ）语言无关性和平台无关性—— 是软件构 件得以广泛 使用 的重 要原 因． ２ （ ）寄生性—— 是构件的根本特征． ３ 任何构件都需要一个包容器程序为之提供一个 活动场所 。 在必 要时被包容器程序激活从而提供一定的服务． （ ）可执行性—— 任何构件都 是一个可执行 的实体 ． ４
收 稿 日 期 ：０ １１－ ８ ２ ０ －０ １ Ｉ修 订 日 期 ：０ ２０ －５ ２ ０ －１０ 作者前介 ： 曹 方 （９ １）男 ， 士生 ． １ ７一 ， 硕
维普资讯
第 ２期
曹 方 等 ： 向 构件 的 测试 研 究 面
．９ ． ７
开 发 者 能 够 发 现 适 当 的 构 件 以 满 足 应 用 需 求．
复用是解决软件开发缓慢问题 （ 长的开发时 间和高的开发花 费、 令人难 以接受 的高频 错误 、 低的可维 护性和低的 自适应性） 的常规方法Ｄ ． ］复用对 交付的软件在质量和可靠性方面确 实可以带来 实质 性的收
（ｏ ｔｎ ） 语 境 （ｏ ｔｘ） ｃｎｅ ｔ和 ｃ ｎｅ ｔ．
件的意图． 构 件 的 内容 描 述 如 何 实 现 概 念 ． 本 质 上 ， 容 是 对 一 般 用 户 隐 藏 的 、 有 那 些 企 图 修 改 构 件 的 人 在 内 只 才需 要 了 解 的 信 息 ．
语境将可复用软件构件放置到其应用的领 域中 ， 即通 过刻画概念 的、 操作 的和 实现的特征 ， 使软件
Ａｐ．ห้องสมุดไป่ตู้ ０ ｒ ０２
文 章 一 号 ：０ ９ ３ ８ （０ ２ ０ －０ ９ －０ １ ０ － ４ ６ ２ ０ ）２ ０ ６ ４
面 向构 件 的 测试 研 究
曹 方 ，昊 克 明 ，郭福 亮

软件工程 第5章--UML

软件工程 第5章--UML
10
UML的定义
UML定义有两个主要组成部分：语义和表示法。 语义用自然语言描述，表示法定义了UML的可 视化标准表示符号，这决定了UML是一种可视 化的建模语言。 在语义上，模型是元模型的实例。UML定义给 出了语法结构的精确定义。 使用UML时，要从不同的角度观察系统，为此 定义了概念“视图(View)‖。视图是对系统的模 型在某方面的投影，注重于系统的某个方面。
独立于过程
系统建模语言，独立于开发过程。
9

容易掌握使用 概念明确，建模表示法简洁明了，图形结 构清晰，容易掌握使用。 着重学习三个方面的主要内容： (1) UML的基本模型元素 (2) 组织模型元素的规则 (3) UML语言的公共机制 与程序设计语言的关系 用Java，C++ 等编程语言可实现一个系统。 一些CASE工具可以根据 UML所建立的系 统模型来产生Java、C++ 等代码框架。
31
UML事物 — 注释事物
11) Note（注释）
依附于一个元素或一组元素之上，对其进
行约束或解释的简单符号。没有语义影响。
See policy8-5-96.doc for details about these algorithms.
CashAccount presentValue()
32
15
UML定义 9 种图，表达UML中的 5 种视图，各 视图在静态和动态方面表示系统模型。
结构 视图 静态 方面
动态 方面
行为 视图 同左
实现 视图 构件图
环境 视图 部署图
同左
用例 视图 用例图
同左
类图 对象图
顺序图 同左 顺序图 合作图 (注重 合作图 状态图 进程、 状态图 活动图 线程) 活动图

第2章 UML通用知识点概述

第2章 UML通用知识点概述

2、图
序 列 图
序列图显示了一个具体用例或者用例的一部分的一个详细流程。它几 乎是自描述的，序列图不仅可以显示了流程中不同对象之间的调用关系， 还可以很详细地显示对不同对象的不同调用。 序列图有两个维度：垂直维度，也称时间维度，以发生的时间顺序显 示消息或调用的序列；水平维度显示消息被发送到的对象实例。
UML统一建模语言
二、常用的UML元素分析
1、视图
活 动 视 图
活动视图是一种特殊形式的状态机视图，是状态机的一个变体，用 来描述执行算法的工作流程中涉及的活动。 通常活动视图用于对计算流程和工作流程建模。活动视图中的状态 表示计算过程中所处的各种状态。 活动视图是在假定整个计算处理的过程中没有外部事件引起的中断 的条件下进行描述的，否则普通的状态机更加适合于描述这种情况。
UML统一建模语言
二、常用的UML元素分析
2、图
用 例 图
用例图描述了系统提供的一 个功能单元。用例图的主要目的 是帮助开发团队以一种可视化的 方式理解系统的功能需求，包括 基于基本流程的“角色”关系， 以及系统内用例之间的关系。 使用用例图可以表示出用例 的组织关系，这种组织关系包括 整个系统的全部用例或者是完成 相关功能的一组用例。 在用例图中画出某个用例方 式是在用例图中绘制一个椭圆， 然后将用例的名称放在椭圆的中 心或椭圆下面的中间位置。
三、UML的通用机制
2、修饰
在UML的图形表示中，每一个模型元素都有一个基本符号，这个基本 符号可视化地表达了模型元素最重要的信息。 用户也可以把各种修饰细节加到这个符号上以扩展其含义。这种添加 修饰细节的做法可以为图中的模型元素在一些视觉上的效果上发生一些 变化。
UML统一建模语言
三、UML的通用机制

2022年职业考证-软考-系统架构设计师考试全真模拟易错、难点剖析AB卷(带答案)试题号：5

2022年职业考证-软考-系统架构设计师考试全真模拟易错、难点剖析AB卷(带答案)试题号：5

2022年职业考证-软考-系统架构设计师考试全真模拟易错、难点剖析AB卷（带答案）一.综合题(共15题)1.单选题下列关于著作权归属的表述，正确的是（）。

问题1选项A.改编作品的著作权归属于改编人B.职务作品的著作权都归属于企业法人C.委托作品的著作权都归属于委托人D.合作作品的著作权归属于所有参与和组织创作的人【答案】A【解析】本题A选项正确，改编、翻译、注释、整理已有作品而产生的作品，其著作权由改编、翻译、注释、整理人享有，但行使著作权时不得侵犯原作品的著作权。

B选项职务作品的著作权不一定归属于企业法人，有可能归属于个人，企业有优先使用权。

C选项委托作品的著作权可以由合同约定归属人，不一定都归属于委托人。

D选项合作作品的著作权归属于所有参与人不含组织创作的人。

2.单选题在Web服务器的测试中，反映其性能的指标不包括：（），常见的 Web服务器性能评测方法有基准性能测试、压力测试和（）。

问题1选项A.链接正确跳转B.最大并发连接数C.响应延迟D.吞吐量问题2选项A.功能测试B.黑盒测试C.白盒测试D.可靠性测试【答案】第1题:A第2题:D【解析】在Web服务器的测试中，反映其性能的指标主要有：最大并发连接数、响应延迟和吞吐量等。

常见的Web 服务器性能评测方法有基准性能测试、压力测试和可靠性测试。

3.单选题某厂生产的某种电视机，销售价为每台2500元，去年的总销售量为25000台，固定成本总额为250万元，可变成本总额为4000万元，税率为16%，则该产品年销售量的盈亏平衡点为（）台(只有在年销售量超过它时才能盈利)。

问题1选项A.5000B.10000C.15000D.20000【答案】A【解析】本题考查的是盈亏平衡点计算问题。

盈亏平衡点也称为零利润点或保本点，是全部销售收入等于全部成本时的产量。

当销售收入高于盈亏平衡点时，表示企业是盈利的状态；当销售收入低于盈亏平衡点时，表示企业是亏损的状态。

面向构件的系统开发及其形式化

面向构件的系统开发及其形式化

Ｋｅ ｗｏ ｄ ｙ ｒｓ
Ｃ ｍｐ ｎ ｎ Ｃ ｍｐ ｎ ｎ —ｒｅ ｔｄ ｓ ｆ ａ ｅ ｄ ｖ ｌｐ ｎ Ｆ ｒ ａｉａｉ ｎ ｍｅ ｈ ｄ Ｓ ｅ ｉ ｃ ｔ ｎ ｏ ｏｅｔ ｏ ｏ ｅ ｔ ｉ ｎ ｅ ｏｔ ｒ ｅ ｅｏ ｍｅ ｔ ｏ ｗ ｏ ｌ ｚ ｔ ｔ ｏ ｐ ｃｆ ａｉ ｍ ｏ ｉ ｏ
ｏ ｅ ｅ ｏｔ ｒ ｅ ｄ ｖ ｌｐｍｅ ｎ ｏ ａｉａｉｎ ｆ ａｕ ｅ ．Ｉ ｅ ｍｓｏ ｕ ｒ ｎ ｏ ｏ ｅ ｔｏ ｉｎｔｄ ｓ ｆｗａ ｅ ｄ ｖ ｌｐ ｅ ，ｅ ｅ ａ ｕ ｇ ｓｉｎ ｄ ｉ ｒ ｎｔｄ ｓ ｆｗａ ｅ ｅｏ ｎｔａ ｄ ｆ ｒ ｌｚ ｔｏ ｅ ｔｒ ｓ ｎ ｔ ｒ ｆｃ ｒｅ ｔｃ ｍｐ ｎ ｎ — ｒｅ ｅ ｏ ｔ ｒ ｅ ｅｏ ｍ ｎｔ ｓ ｖ ｒ ｓ ｇ ｅ ｔｏ ｓａ ｍ ｌ ｎ ｒ ｓ ａ ｃ ｒ ｃｉ ｓａ ｅ ｐ ｏ ｏ ｅ ． ｅ ｅ ｈ ｄｉｅ ｔ ｒ ｏｎ ｒ ｒ ｐ ｓ ｄ
面 向 构 件 的 系 统 开 发 及 其 形 式 化
钱忠胜 缪淮扣
上海 ２０ ７ ） ０ ０ ２ 江西 南 昌 ３ ０ １ ） ３０ ３ （ 上海大学计算机工程与科学学院 （ 江西财经大学 信息 管理学 院
摘
要
回顾 了软件构件 与形 式化方 法的基本概念 ， 绍 了软件 构件 的形式化， 介 根据典型 的面 向构件的开发流程和基于形式化方
（ｃｏｌｆＩ ｏｍ ｔ ｎＴｃｎｌｇ ，ｉｎｘ ｎｖｒｔ ｏ Ｆｎ ｎｅ＆Ｅｏ ｍｉ ， ｎｈ ｎ ３ ０３，ｉｎｘ ，ｈｎ ） Ｓｈｏ ｎ ｒ ａｉ ｅｈ ｏ ｙＪａｇ ｉ ｉ ｓｙｆ ｉａ ｏ ｆ ｏ ｏ Ｕ ｅ ｉ ｃ ｃｎ ｃ Ｎａｃａｇ３ ０ １ Ｊ ｇ ｉＣ ｉ ｏ ｓ ａ ａ
维普资讯

UML分析与设计

UML分析与设计1. UML(UNIFIED MODELING LANGUAGE)概述 (1)1.1UML是什么？ (1)1.2UML的组成 (1)1.3UML的功能 (1)2. UML图（重点） (1)2.1用例图 (1)2.1.1 用例 (1)2.1.2 参与者（活动者） (1)2.1.3 用例图 (1)2.1.4 包含和扩展 (1)2.1.5 用例模型 (2)2.2类图 (2)2.2.1 类 (2)2.2.2 类之间的关系 (2)2.2.3 类图 (5)2.3对象图 (5)2.3.1 2004年5月下午试题试题三 (6)2.4功能复用及解题方法 (8)2.4.1 引用机制(聚合或组合) (8)2.4.2 继承机制(泛化的反关系)实现功能复用 (8)2.4.3 两者对比 (8)2.5顺序图(序列图) (9)2.5.1 2004年11月下午试题三（15分） (10)2.6协作图 (11)2.7状态图 (11)2.8活动图 (12)2.8.1 基本活动图 (12)2.8.2 带泳道的活动图 (12)2.9构件图 (13)2.10部署图 (14)2.11各种图总结 (14)3. 视图 (14)3.1用例视图 (14)3.2设计视图 (15)3.3过程视图 (15)3.4实现视图 (15)3.5配置视图 (15)1.UML(Unified Modeling Language)概述1.1 UML是什么？⏹UML是一种语言。

⏹UML只是一种可视化的语言。

⏹UML是一种可用于详细描述的语言。

⏹UML是一种构造语言。

⏹UML是一种文档化语言。

⏹UML是一种描述面向对象软件分析和设计结果的语言。

错误说法：UML是指导软件开发的思想。

1.2 UML的组成UML由模型元素、扩展机制、图及视图等部分组成，由模型元素或扩展机制构成图，由图构成视图。

1.3 UML的功能⏹为软件系统的产出建立可视化模型⏹规约软件系统的产出⏹构造软件系统的产出⏹为软件系统的产出建立文档2.UML图（重点）由模型元素和扩展机制构成。

大型语言模型及其在建筑行业应用研究综述

大型语言模型及其在建筑行业应用研究综述
魏楚元;王昕;周小平;赵光哲;黄明
【期刊名称】《北京建筑大学学报》
【年(卷),期】2024(40)2
【摘要】近年来,以ChatGPT和GPT-4为代表的大型语言模型,在技术上出现了快速的进步和迭代,已经成为人工智能领域具有变革性的技术。

大型语言模型在数据信息容量、模型参数量、底层模型结构、模型训练方法上都较之前的语言模型取得了关键突破,在自然语言处理、机器视觉等任务上乃至通用任务领域的表现都在持续提升,包括大型语言模型显示出的涌现能力。

概述了大型语言模型的技术演进、技术架构、关键技术、主要特点,介绍了大模型的基础架构及核心原理,分享了大模型在建筑领域的应用,讨论了其局限性以及未来发展方向,旨在推动以大语言模型为代表的人工智能技术在建筑领域的应用与发展。

【总页数】14页(P1-14)
【作者】魏楚元;王昕;周小平;赵光哲;黄明
【作者单位】北京建筑大学电气与信息工程学院;北京建筑大学机电与车辆工程学院;北京建筑大学测绘与城市空间信息学院
【正文语种】中文
【中图分类】TU17;TP183
【相关文献】
1.中心城市建筑行业改革初探——江苏中心城市建筑行业改革综述
2.ESP视域下水工建筑行业英语词汇的特点与实践应用研究
——评《水工建筑行业英语》3.ChatGPT视角下大型语言模型在我国教育领域的应用研究4.大型语言模型在多角度用户评分预测中的应用研究5.大型语言模型在智能交通管理领域的应用研究
因版权原因，仅展示原文概要，查看原文内容请购买。

面向构件语义关系的软件体系结构演化分析

ａ ｄ ｉ ｈ ｒｃｅ ｓ ｃ ｅ ｅｄ ｓｒ ｅ ． Ｎｅｔ ａｅ ｎ ｔｅ ｓｍａ ｔ ｅａｉｎｈ ｐ ｌ ｋ ｍａｒ ．ａ ｒ ｐｅｅｆｃ ｌｏ ｎ ｔ ｃ ａａ ｔｒ ｔ ｓｗ ｒ ｅ ｃ ｂ ｄ ｓ ｉ ｉ ｉ ｘ ，ｂ ｓｄ ｏ ｈ ｅ ｎ ｉ ｒｌｔ ｓ ｉ ｉ ｔ ｘ ｐ ｌ．ｆ ｔａｇ ． ｃ ｏ ｎ ｉ ｉ ｅ
第３ ２卷第 １ Ｏ期
２１ 年 １ ０１ ０月
哈
尔
滨

工
程
大
学
学
报
Ｖ １３ № ． ０ ０． ２ １
Ｏ ｔ２ １ ｃ． ０ １
Ｊ ｕ ｎ ｌｏ ｒ ｉ ｎ ｉｅ ｒ ｇ Ｕ ｉｅｓｔ ｏ ｒ ａ ｆＨａｂｎ Ｅ ｇｎ ｅｉ ｎｖ ｒｉ ｎ ｙ
ｄｉ１ ．９ ９ ｊｉ ｎ １０ ７４ ．０ １ １． １ ｏ：０ ３６ ／．ｓ ．０ ６— ０ ３ ２ １ ．０ ０ ２ ｓ
ＹＩ ｉｈ ｎ ＯＮＧ Ｍｉ ，Ｗ ＥＩＺ ｅ ｇ ｉｎ ，Ｗ ＡＮＧ Ｈｏ ｇ ｉ ＨＡＮＧ Ｗ ａ ｓ ｎ Ｎ Ｇｕｓ ｅ ｇ ，Ｓ ｎ ｈ ｎ ｘａ ｎ ｂ ｎ ，Ｚ ｎｏ ｇ
（ ．Ｃ ｌ ｇ ｆ ｏ ｕｅ ｃ ｎｅａｄＴ ｃｎｌｇ ， ｒｉ Ｅ ｇｎｅ ｎ ｎｖｒ ｔ， ｒｉ １００ ， ｈｎ ； ．Ｉｆｒ ａ ｏ ｅｈｏｏ １ ｏ ｅｅｏ Ｃ ｍｐｔｒ ｉ ｃ ｎ ｅｈ ｏ ｙ Ｈａ ｎ ｎｉｅｒ ｇ ｉ ｓｙ Ｈａ ｎ ５ ０ １ Ｃ ｉａ ２ ｎｏｍ ｔ ｎＴ ｃｎｌｇ ｌ Ｓｅ ｏ ｂ ｉ Ｕ ｅｉ ｂ ｉ ｙ Ｃ ｎｅ ， ｅ ｉｇＦｒｉｎＳｕ ｉ ｎｖｒｉ ， ｅ ｉｇ１０ ８ Ｃ ｉａ ３ ｈｐＳ ｓ ｍ Ｅ ｇ ｅｒ ｇＲ ｓａｃ ｎｔｕｅ Ｂ ｉｎ ００ ６ ｅ ｔ Ｂ ｉｎ ｏ ｇ ｔｄｅ Ｕ ｉ ｓｙ Ｂ ｉｎ ００ ９， ｈｎ ； ．Ｓ ｉ ｙｔ ｎｉ ｅｉ ｅｅｒｈＩｓｔｔ， ｅ ｉｇ１０ ３ ， ｒ ｊ ｅ ｓ ｅ ｔ ｊ ｅ ｎ ｎ ｉ ｊ

面向特征的领域建模方法研究与应用

第
２ 卷 ０ ２０ １
０ 嚣月 年 期 ＿１ ｌ
Ｃ ＭＰ ＴＥ ＥＣ Ｏ Ｕ Ｒ Ｔ ＨＮＯＬ Ｙ Ｎ Ｄ Ｖ Ｚ） ＭＥ Ｔ ＯＧ Ａ Ｄ Ｅ ＥＩ Ｐ Ｎ
计算机技术与发展
Ｖ． ２０１ １ 。０Ｎ １ １ 。 ２ ． Ｎｏ ． ｖ ０
面 向特 征 的领 域 建 模 方 法研 究 与 应 用
Ｋ ｅ ｒ ｓ ｍ ｆｗ￣ ｅｒ ｕ ｅ；ｆ ａ ｕ ｅ ｍ ｏ ｅ ；ＤＳ ｙ ｗｏ ｄ ： ｔ ｅ ｓ ｅｔ ｒ ｄ ｌ ＳＡ ； ｉ ｅ ｔ ｒ ￣ ｎｖ ｎ ｏ ｙ ｅ ｅ ｔ ｃｍｌ ｍ ｎ ； ｏ ｍｎｅ ｔ ｎ
Ｏ 引 言
随着信息技术的发展 ， 当今企业要 想在激烈 的竞
ＥＳＡ 的过程 （ Ｌ Ｓ 又称复 用基 础设 施 ） 。由于领域模 型 中
的领域需求具有一定 的变化 性 ， 以特定 领域 的软件 所
构架也具有可变性 。此种 变化性 需求在领域分析 阶段
通过可选性 、 单选性 、 多选性 等 特征 表示 出来 ， 并对其
特征进行扩展 。领域实现就是依 照领域模型 的对象模 型去设计构件及体系结构 。当开发领域 中的新 的应用
的开发方法 ， 并由软件公 司根据各个企 业项 目要 求 的
不同各 自开发 ， 这样存 在许 多不足 ， 如效 率低下 、 成本
动。面向特征的建模 方法作 为捕获领域需求 的重要模 型已被领域工程方法所 接受 。特征模型能有效地识别
和归类领域 中软件系统 的共 性 和特性 ， 为复用构件 的
ｒｕ ｅｉ ｉ ｌｍｅ ｔｄ ｂｓ ｄｏ Ｓ ｅ ｓ ｓ ｍｐｅ ｎ ｅ ａｅ ｎＤＳ Ａ．Ｆｉａｌ ｎ ｅ ｔｒ ｎ ｇ ｍｅ ｔｓ ｓｅ ｉ ｒｖｄ ｄａ ｎｅ ａ ｐｅｔ ｘ ｒｃ ｈ ｉｌ ｆｃｍｐ ｎ ｎ ｎｌ ｙ．ｉｖ ｎｏ ｙｍａ ａ ｅ ｎ ｙ ｔｍ ｓｐｏ ｉｅ ｓａ ｘ ｍ ｌ ｏｅ ｔａ ｔｔ ｅｆｅｄｏ ｏ ｏ ｅ ｔ
  1. 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ｍｉ ｈｅｗｅ ｋ ｅｓ． Ｂａ ｅ ｎ ｔ ｓ，ｂ ｈｏ ｓｎｇ ｔｐｉａ ｏ ｏ ｅ ｔｓ ｂｓｉｕ ｉｎ ａ ｈ ｐｐｉ ａｉｎ ｂ ｃ ｒ ｕｎ ｎｇ ｔ ａ ｎ ｓ ｓ ｄ ｏ ｈｉ ｙ ｃ ｏ ｉ ｙ ｃ ｌｃ ｍｐ ｎ ｎ ｕ ｔｔｔｏ ｓｔ ｅ ａ ｌｃ ｔｏ ａ ｋｇｏ ｄ，ｔ ｉ ａ ｅ ｏ ｈｓ ｐ ｐ ｒ ｇ ｔ ｔ ｅ ｎｔｏ ｎ ｈｅ ｒ ｍ ｅ ａｅ ｏ ｃ ｎｅ ｔｆｅ ｕ ｓｉｕ ｉｎ ｅ ｐ ｅ ｓ ｄ ｂ ｈｅ ｄ ｆ ｉｉｎｓａ ｄ ｔ ｏ ｅ ｒ ｌｔ ｄ ｔ ｏ ｔｘ —ｒ ｅ ｓ ｂ ｔ ｔｏ ｘ ｒ ｓｅ ｙ ＢＤＬ ａ ｄ ｃ ｒｉ ｅ ｈｅ ｖ ｌｄ ｔ ａ ｏ ｒ ｃｎ ｓ ｆ ｉ ｔ ｎ ｅ ｆ ｄ ｔ ａ ｉｉｙ ｎｄ ｃ ｒｅ ｔｅ ｓｏ ｔｉ ｔｅ ｍ ｏ ｅ ｒ ｎｇ ｏ ｎａ ｃ ｂ ａ ｉｒｓ ｍａ ｉ ｂｓｒｃ ｉｎ． ｈ ｄ ｌｗｏｋｉ ｎ ｄｙ ｍｉ ｅｈ ｖｏ ｅ ｎｔ ａ ｔａ ｔｏ ｃ Ｋｅ ｙ ｗｏｒ ｄｓ： ｃ ｍｐｏ ｅ ｔ ｄ ｎ ｍｉ ｈ ｖ ｏ ｏ ｎ ｎ ； ｙ ａ ｃｂｅ ａ ｉｒ；ｂ ｈａ ｉ ｒｄ ｓ ｒｐｔｏ ａ ｕａ ｅ；ｓ ｓｉｕ ｉｎ ｅ ｖ ｏ ｅ ｃ ｉ ｉ ｎ ｌｎｇ ｇ ｕｂ ｔｔ ｔｏ
ｄ ｉ１ ．９ ９ ｊｉ ｎ １０ — ６ ５ ２ １ ．５ ０ ０ ｏ：０ ３ ６ ／．ｓ ． ０ １ ３ ９ ．０ ２ ０ ．４ ｓ
Ｒｅ ｅ ｒ ｈ ｏ ｅ ａ ｉｒｓ ｍａ ｔ ｄ ｌｎ ｒｅ ｔｄ ｃ ｍｐ ｎ ｎ ｎ ｔ ｐ ｌｃ ｔｏ ｓ ａｃ ｎ ｂ ｈ ｖｏ ｅ ｎｉ ｍｏ ｅｉ ｇ ｏ ｉｎ ｅ ｏ ｏ ｅ ｔａ ｄ ｉｓａ ｐｉａｉｎ ｃ
ｙｉ ｆ ｅｉｔ ａ ｔ ｎｓｍａ ｔ ｓ ｍ ｎ ｏ ｐ ｎ ｎｓ ｈｓｐ ｐ ｒｐ ｔ ｏｗ ｒ ｅ ａ ｉ ｅｃｉｔ ｎ ｌ ｇ ａ ｅ（ Ｄ ）ｆｒ ｈ ｓ ｒ ｈ ｅ ｃ ｏ ｅ ｎｉ ｏ ｇｃ ｍ ｏ ｅ ｔ ｓｏ ｔ ｎ ｒ ｉ ｃ ａ ，ｔｉ ａ ｅ ｕ ｆｒ ａｄ ａｂ ｈ ｖ ｒｄ ｓｒ ｉ ａ ｕ ｇ Ｂ Ｌ ｏ ｅ ｏ ｐｏ ｎ ｔ Ｓ ＭＣ （ ｏ Ｍａ ｏ ｐ ｎ ｎ） ｎ ｒｐ ｓ ｄａ ｂ ｈ ｖ ｒｄ ｓｒ ｔ ｎｆ ｍ ｗ ｒ ｔ ｅ ｔ ｄｓ ｍ ｒｐ ｒ ｅ Ｄ ｒ ｖ ｒｏ ｓｆ ｎｃ ｍ ｏ ｅ ｔ ．Ａ ｄｉ ｐｏ ｏｅ ｅ ａ ｉ ｅｃｉ ｉ ｒ ｅ ｏｋ ｏ ｘ ｎ ｏ ｅｐｏ ｅｔ ｓｉ Ｃ Ｌ ｆ ｅｃ — ｌ ｔ ｏ ｐｏ ａ ｅ ｉ ｎ ｏ ｏ
现 阶段 ， 动态 、 放 、 演 化 的复 杂 软 件 系 统 研 究 受 到 开 可 Ｃ Ｓ ｃｍ ｏｅｔｂ ｓｄ ｓｆ ａｅ ｅｇ ｅｒ ｇ 领 域 的 广 泛 关 Ｂ Ｅ（ ｏ ｐｎ ｎ ａｅ ｏ ｗ ｒ ｎｉ ｅｉ ） ｔ ｎ ｎ
定义及 其判 定定理 ， 证 了上述模 型在 构件 行 为语 义抽 象 中的有 效性 和正确 性 。 验 关 键词 ：构件 ；动 态行 为 ；行 为描述 语 言 ； 换性 替 中图分 类号 ：Ｔ ３ １５ Ｐ １． 文 献标 志码 ：Ａ 文章编 号 ：１０ —６ ５ ２ １ ）５ １５ —５ ０ １ ３ ９ （ ０ ２ ０ —７ １０
岳 洋 ，曾广平 。
（． １ 北京科 技 大学 计 算机 与通信 工程 学 院，北京 １０８ ； ． ００ ３ ２ 武警 北京指挥 学院 ， 北京 １０ １） ００２
摘
要 ：以 Ｓ Ｆ ／ Ｄ Ｏ Ａ Ｃ Ｌ作 为刻 画 动 态 行 为 的 形 式化 语 义基 础 ， 交 互语 义层 面入 手 ， 出 面向 Ｓ 从 提 ＭＣ（ ｏ Ｍａ ｓｆ ｎ ｔ

ｃｍ ｏｅｔ构件 的行 为描 述语 言 （ Ｄ ） 同时 ， 对 Ｃ Ｌ在 行 为刻 画 上 的不 足进 行 扩展 ， 出了针 对 Ｓ Ｃ的行 ｏ ｐｎｎ） ＢＬ ； 针 Ｄ 给 Ｍ 为描述 框 架。在此 基础 上 ， 选取 典型 的构件 动 态替换作 为应 用 背景 ， 到 基 于 Ｂ Ｌ表 达 的构件 上 下 文无 关替换 得 Ｄ
ＹＵＥ ｎｇ 一 ．ＺＥＮＧ ａ — ｉ ｇ Ｙａ Ｇｕ ｎｇ ｐ ｎ
（ ｃｏｌ Ｃ ｍ ｕｅ １Ｓｈ ｏ ｏ ｏ ｐ ｔ ｆ ｒ＆ Ｃｍｍ ｉ ｔ ｎＥ ｇｎｅｉ ｏ Ｍ ｃ ｉ ｎ ｉｅｒ ｇ，Ｕ ｉ ｒｔ ｏ ｃ ｎｅ＆ Ｔｃｎｌ ｙＢ ｉｎ Ｂ ｉｎ ００ ３ ｈｎ ； ． ｅｉ ｏ ａｏ ｎ ｎｖ ｓｙ ｆＳｉ ｃ ｅ ｉ ｅ ｅｈ ｏ ｇ ｅ ｇ， ｅｉｇ１０ ８ ，Ｃ ｉａ ２ Ｂ ｉ ｇ Ｃｍ— ｏ ｊ ｊ ｎ ｍａｄＣ ｌｇ Ｃ Ｐ ｎ ｏｅｅｏ Ａ Ｆ，Ｂ ｉ ｇ１０ １ ，Ｃ ｉａ ｌ ｆ ｅｉ ０ ０ ２ ｈｎ ） ｊ ｎ
Ａｂ ｔ ａ ｔ ｓｒ ｃ ：Ｔ ｋ ｎ ｈ ＯＦ ／ Ｌ ａ ｈ ａ ｅｏ ｒ ｌ ｅ ｅ ｎ ｉ ｓ ｏｄ ｐｃ ｏ ｏ ｅ ｔ ｓｄ ｎ ｍｉ ｂ ｈ ｖｏ ， ｈ ｏ ｇ ｎ ｌ ａ ｉ ｇ ｔ ｅ Ｓ Ａ ＣＤ ｓｔ ｅｂ ｓ ｆ ｏ ｍａｉ ｄ ｓ ｍａ ｔ ｅ ｉｔ ｍｐ ｎ ｎ ’ ｙ ａ ｃ ｅ ａ ｉｒ ｔ ｒ ｕ ｈ ａ ａ — ｆ ｚ ｃ ｔ ｃ
第２ ９卷 第 ５期
２１ ０ ２年 ５月
计 算 机 应 用 研 究
Ａｐ ｌ ａ ｉ ｎ Ｒｅ ｅ ｒ ｈ ｏ ｍｐ ｔ ｒ ｐ ｉ ｔ ｓ ａ ｃ ｆＣｏ ｕ ｅ ｓ ｃ ｏ
Ｖｏ． ９ Ｎｏ ５ １２ ．
Ｍａ ０１ ｖ２ ２
一
种 面 向构 件 的 行 为 语 义 模 型 及 其 应 用 研 究