对象约束语言对武器系统效能评估指标体系的描述与验证 被引量：2

1

作者 王兴敏 谷青范 《计算机应用》 CSCD 北大核心 2012年第A01期95-97,共3页

武器系统效能评估是武器系统设计过程中的重要环节,效能评估指标体系作为效能评估的前提和基础,其描述的精确性将直接影响武器系统效能评估的结果。针对武器系统的设计过程,提出了一种效能评估指标体系的描述方法,即元模型描述方法;引... 武器系统效能评估是武器系统设计过程中的重要环节,效能评估指标体系作为效能评估的前提和基础,其描述的精确性将直接影响武器系统效能评估的结果。针对武器系统的设计过程,提出了一种效能评估指标体系的描述方法,即元模型描述方法;引入统一建模语言(UML)规范的一部分对象约束语言(OCL)对其进行精确描述。最后,通过实验验证了OCL描述的正确性,为武器系统设计过程中的效能评估提供依据。 展开更多

关键词 武器系统 效能评估指标体系 元模型 统一建模语言 对象约束语言

在线阅读 下载PDF 职称材料

基于对象约束语言规格的变异分析

2

作者 赵国平 张云华 葛峰 《计算机工程与设计》 CSCD 北大核心 2008年第3期560-562,565,共4页

由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用。介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一... 由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用。介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一些变异算子的具体实现。解决了传统变异系统的性能缺陷,提高了变异分析的实用性。 展开更多

关键词 对象约束语言 统一建摸语言 变异算子 规格变异 软件测试

在线阅读 下载PDF 职称材料

OCL与Object-Z作为UML约束语言的分析比较 被引量：4

3

作者 陈怡海 缪淮扣 《计算机科学》 CSCD 北大核心 2004年第12期182-185,共4页

UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,... UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,对系统进行精确的建模。 展开更多

关键词 OBJECT-Z UML模型 OCL 面向对象建模语言 对象约束语言 规格说明 系统 分析比较 人员 标准

在线阅读 下载PDF 职称材料

基于OCL约束建模的嵌入式软件安全性分析 被引量：4

4

作者 崔红军 黄美锋 吴振宇 《计算机工程》 CAS CSCD 北大核心 2018年第6期270-278,共9页

目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性... 目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性相关的约束关系进行建模,形成OCL约束模型,并将其融入UML模型。在此基础上,结合嵌入式软件特点,依据约束违背原则进行失效模式识别。在某嵌入式发动机控制软件上的应用结果表明,该方法可自动识别软件失效模式,提高模型驱动安全性分析的充分性与效率,同时降低分析工作量。 展开更多

关键词 对象约束语言 约束建模 软件安全性分析 失效模式 模型驱动

在线阅读 下载PDF 职称材料

一种利用Kodkod约束求解器验证UML-OCL类图的方法 被引量：1

5

作者 罗奇鸣 《小型微型计算机系统》 CSCD 北大核心 2014年第2期205-209,共5页

采用形式化方法对软件模型进行自动验证在模型驱动架构开发方法中发挥重要的作用.本文提出一种对面向对象软件设计模型的静态结构进行验证的具体实现方法.该方法将用OCL不变式约束的UML类图转换为用关系逻辑表达的公式,Kodkod约束求解... 采用形式化方法对软件模型进行自动验证在模型驱动架构开发方法中发挥重要的作用.本文提出一种对面向对象软件设计模型的静态结构进行验证的具体实现方法.该方法将用OCL不变式约束的UML类图转换为用关系逻辑表达的公式,Kodkod约束求解器可对关系逻辑公式进行验证.本文方法克服了文献中类似方法的局限性,即在允许类图中出现多重继承和关联重数的上下界为任意整数的同时无需大的计算代价. 展开更多

关键词 统一建模语言 对象约束语言 类图 验证 软件工程

在线阅读 下载PDF 职称材料

在带OCL约束的状态图下测试线索的自动生成

6

作者 曾一 徐攀登 +2 位作者 柴艳欣 邹明 丁娜 《计算机应用研究》 CSCD 北大核心 2011年第3期988-990,994,共4页

提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不... 提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。 展开更多

关键词 对象约束语言 可扩展标记语言 类图 状态图 测试线索 约束冲突

在线阅读 下载PDF 职称材料

带OCL约束的多态路径测试线索生成方法

7

作者 曾一 刘青香 +1 位作者 王翠钦 洪豪 《计算机工程》 CAS CSCD 2013年第8期92-96,102,共6页

统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML... 统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。 展开更多

关键词 统一建模语言 对象约束语言 多态性 协作图 消息间受限控制流图 测试线索

在线阅读 下载PDF 职称材料

基于OCL的模型转换语言 被引量：2

8

作者 陈训威 《计算机工程与设计》 CSCD 北大核心 2006年第18期3436-3438,3441,共4页

首先对模型驱动以及与模型驱动开发密切相关的元模型和模型转换两个问题进行了简要的说明,并介绍了模型转换框架的相关概念,然后对对象约束语言(OCL)进行了相关的讨论,并对基于OCL的模型转换语言的元模型进行了说明。最后,在讨论的基础... 首先对模型驱动以及与模型驱动开发密切相关的元模型和模型转换两个问题进行了简要的说明,并介绍了模型转换框架的相关概念,然后对对象约束语言(OCL)进行了相关的讨论,并对基于OCL的模型转换语言的元模型进行了说明。最后,在讨论的基础之上,提出了基于对象约束语言的模型转换语言,为形式化及自动化的模型转换描述与实现提供了一种有效的方法。 展开更多

关键词 模型驱动开发 模型转换 统一建模语言 对象约束语言 面向对象建模

在线阅读 下载PDF 职称材料

OCL约束验证与实现的方法 被引量：1

9

作者 罗清胜 《计算机工程与设计》 CSCD 北大核心 2010年第6期1264-1266,1270,共4页

为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码(即OCL约束对应的可执行Java代码)插入的简单方案和封装方法存在的不足,给出了改进的代码插入方案,其中应用异常处理技术从而能够捕获冲突的约束。为了使OCL-Java代码... 为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码(即OCL约束对应的可执行Java代码)插入的简单方案和封装方法存在的不足,给出了改进的代码插入方案,其中应用异常处理技术从而能够捕获冲突的约束。为了使OCL-Java代码根据设计的代码模式插入到Java程序中,对Java解析器作了修改。最后,实验结果表明了该方法的可行性。 展开更多

关键词 对象约束语言 约束冲突 约束验证 代码模式 Java解析器

在线阅读 下载PDF 职称材料

UML类图的形式化及分析 被引量：12

10

作者 韦银星 张申生 曹健 《计算机工程与应用》 CSCD 北大核心 2002年第10期5-7,46,共4页

统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表... 统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。 展开更多

关键词 UML 类图 形式化 分析 统一建模语言 对象约束语言 面向对象

在线阅读 下载PDF 职称材料

基于UML扩展机制的列控系统建模方法研究 被引量：7

11

作者 赵林 唐涛 +2 位作者 刘金涛 刘超 李宪 《铁道学报》 EI CAS CSCD 北大核心 2012年第12期64-70,共7页

本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更... 本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更加直观和准确。同时,为进一步的设计和验证提供精确语义支持。 展开更多

关键词 UML扩展机制 对象约束语言 混成属性 列车运行控制系统

在线阅读 下载PDF 职称材料

支持团队工作的工作流技术研究 被引量：5

12

作者 朱海平 李培根 +1 位作者 张国军 王忠浩 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第8期635-640,共6页

针对工作流系统对动态团队和不确定性任务支持的要求,首先利用面向对象技术建模团队的组织结构,并采用对象约束语言规范化描述团队内部结构约束和"团队-任务"约束,然后提出了任务版本的概念,用来解决团队对应的工作流任务不... 针对工作流系统对动态团队和不确定性任务支持的要求,首先利用面向对象技术建模团队的组织结构,并采用对象约束语言规范化描述团队内部结构约束和"团队-任务"约束,然后提出了任务版本的概念,用来解决团队对应的工作流任务不确定问题,并讨论了集成实现中的若干关键问题。通过定义工作表单来描述任务数据,利用一定的规则实现多任务版本的配置,最后给出了具体的实现步骤。 展开更多

关键词 工作流 组织模型 面向对象技术 对象约束语言 表单 任务配置

在线阅读 下载PDF 职称材料

使用UML扩展机制描述软件非功能需求的新方法 被引量：4

13

作者 龙湘明 孙其博 苏森 《计算机工程》 EI CAS CSCD 北大核心 2005年第14期51-53,共3页

指出了已有非功能需求描述方法的缺陷,提出了一种使用UML扩展机制描述非功能需求的新方法——NFRProfile,使非功能需求的描述更加直观和准确。同时,NFRProfile将UML从功能建模扩展到非功能建模,丰富了UML的应用范围,使得对功能和非功能... 指出了已有非功能需求描述方法的缺陷,提出了一种使用UML扩展机制描述非功能需求的新方法——NFRProfile,使非功能需求的描述更加直观和准确。同时,NFRProfile将UML从功能建模扩展到非功能建模,丰富了UML的应用范围,使得对功能和非功能的建模可以统一在同一种建模语言和同一个建模工具中。 展开更多

关键词 非功能需求 UML外围 衍型 对象约束语言 用例

在线阅读 下载PDF 职称材料

嵌入式系统描述与验证环境的实现 被引量：9

14

作者 程国达 彭澄廉 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第1期109-115,共7页

首先 ,用统一建模语言 (UML)中的状态图描述系统在整个活动周期中所处的不同的状态 ,活动图表示状态图中每个进程的功能 ,对象约束语言 (OCL)描述系统中的约束条件 ;然后 ,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码 ,以... 首先 ,用统一建模语言 (UML)中的状态图描述系统在整个活动周期中所处的不同的状态 ,活动图表示状态图中每个进程的功能 ,对象约束语言 (OCL)描述系统中的约束条件 ;然后 ,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码 ,以完成系统的模拟验证 ; 展开更多

关键词 嵌入式系统 统一建模语言 UML 状态图 对象约束语言 OCL 系统描述 系统验证

在线阅读 下载PDF 职称材料

基于EMF和OCL的MDA软件工程方法研究 被引量：11

15

作者 常浩浩 覃征 《计算机科学》 CSCD 北大核心 2007年第1期268-271,共4页

随着基于模型的软件工程方法的兴起,模型逐渐地变为软件工程中的重要元素,介绍了OMG规范MOF、XMI和OCL及在Eclipse软件工程环境下的相关实现EMF,说明了统一建模语言UML的使用方式和存在的问题,介绍了如何用EMF和OCL来设计建模语言,比较... 随着基于模型的软件工程方法的兴起,模型逐渐地变为软件工程中的重要元素,介绍了OMG规范MOF、XMI和OCL及在Eclipse软件工程环境下的相关实现EMF,说明了统一建模语言UML的使用方式和存在的问题,介绍了如何用EMF和OCL来设计建模语言,比较了基于EMF的建模语言和基于EBNF的计算机语言之间的区别与联系,给出了结合模板和OCL的模型转换方法,通过把UML类模型转换到O/R映射框架说明了此方法的有效性,分析了MDA软件工程方法的重用机制。 展开更多

关键词 元对象设施 对象约束语言 EMF 模型驱动体系结构 UML类模型 模型转换 O/R映射

在线阅读 下载PDF 职称材料

带OCL的活动图多态性测试用例生成方法 被引量：3

16

作者 曾一 丁娜 邹明 《计算机工程》 CAS CSCD 2012年第10期34-37,共4页

研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历... 研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。 展开更多

关键词 统一建模语言 对象约束语言 扩展活动图 多态性方法集 测试用例

在线阅读 下载PDF 职称材料

MDA模型转换的OCL扩展 被引量：4

17

作者 余金山 周武斌 《小型微型计算机系统》 CSCD 北大核心 2012年第3期548-551,共4页

模型驱动架构(MDA)是继CORBA,UML之后由OMG推出的重要的软件开发方法学.MDA的核心是模型转换,模型转换语言又是实施模型转换的关键.本文从MOF元模型的角度首先对OCL进行动态特性的扩展,使其具备表达动态行为语义的能力;然后通过扩展相... 模型驱动架构(MDA)是继CORBA,UML之后由OMG推出的重要的软件开发方法学.MDA的核心是模型转换,模型转换语言又是实施模型转换的关键.本文从MOF元模型的角度首先对OCL进行动态特性的扩展,使其具备表达动态行为语义的能力;然后通过扩展相关关键字,定义了一个完整的模型转换程序框架;并提出创建中间转换对象实现了模型转换的可追溯性以及源模型和目标模型转换的同步性. 展开更多

关键词 模型驱动 模型转换 模型转换语言 对象约束语言

在线阅读 下载PDF 职称材料

基于UML OCL、支持团队开发的企业组织元模型 被引量：2

18

作者 杨东 张申生 江志斌 《高技术通讯》 EI CAS CSCD 2004年第6期60-64,共5页

组织模型不仅要支持传统的纵向的组织结构，而且还要支持以团队方式工作的横向组织结构。本文提出了包含组织纵向和横向结构的组织元模型，并采用UML对象约束语言(OCL)描述了元模型中实体与实体之间的联系和约束关系。除用OCL描述组织... 组织模型不仅要支持传统的纵向的组织结构，而且还要支持以团队方式工作的横向组织结构。本文提出了包含组织纵向和横向结构的组织元模型，并采用UML对象约束语言(OCL)描述了元模型中实体与实体之间的联系和约束关系。除用OCL描述组织结构外，还显式地给出了组织规则的OCL表示方法。这样，便可将组织规则与组织结构相分离，从而在组织结构不变的情况下，通过修改组织规则，以达到提供企业敏捷性的目的。 展开更多

关键词 对象约束语言 组织模型 企业建模 企业组织元模型 UML OCL 团队开发

在线阅读 下载PDF 职称材料

基于OCL的服务构件特征语义描述模型 被引量：3

19

作者 金仙力 马华东 《计算机研究与发展》 EI CSCD 北大核心 2007年第12期2112-2121,共10页

构件的语义特征是构件检索的主要依据,也是构件库的重点研究内容.然而,由于网络系统中存在分布、动态、数量众多的服务构件,很多构件之间存在一定的关联和依赖,因此如何有效地描述这些服务构件特征间的关联,是构件库管理模型需要进一步... 构件的语义特征是构件检索的主要依据,也是构件库的重点研究内容.然而,由于网络系统中存在分布、动态、数量众多的服务构件,很多构件之间存在一定的关联和依赖,因此如何有效地描述这些服务构件特征间的关联,是构件库管理模型需要进一步研究的一个重要问题.提出一种基于特征的构件语义描述模型,首先分别给出特征、特征空间和构件特征空间表示模型的定义.接着将构件特征间的各种关联和依赖关系分成自身约束、父子关系约束、显性约束和隐性约束4类,并采用对象约束语言对这些关系进行形式化描述,从而为模型提供了精确的语义支持.面向电子商务的构件特征子树的实例研究及其模型验证和实验结果证明了该模型的正确性与有效性. 展开更多

关键词 服务 构件 对象约束语言 特征 关联

在线阅读 下载PDF 职称材料

基于UML/OCL的C^4ISR效能概念建模分析 被引量：2

20

作者 蒋鑫 王智学 +1 位作者 董庆超 孙瑞 《系统工程与电子技术》 EI CSCD 北大核心 2012年第8期1613-1620,共8页

为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/obj... 为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。 展开更多

关键词 效能概念建模 军事电子信息系统能力元模型 统一建模语言/对象约束语言 特定领域建模

在线阅读 下载PDF 职称材料