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

1

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

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

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

在线阅读 下载PDF 职称材料

一种具有约束演绎能力的面向对象数据库语言CDOL 被引量：1

2

作者 王浩 张奠成 《计算机学报》 EI CSCD 北大核心 1998年第S1期184-189,共6页

本文介绍了一个基于规则的具有约束处理能力的面向对象数据库查询语言CDOL．该语言将面向值和面向对象模型集成在一起，约束关系可以显式描述并作为知识直接进入推理查询过程．CDOL可作为智能化CAX环境的核心数据库查询语言，本文着重... 本文介绍了一个基于规则的具有约束处理能力的面向对象数据库查询语言CDOL．该语言将面向值和面向对象模型集成在一起，约束关系可以显式描述并作为知识直接进入推理查询过程．CDOL可作为智能化CAX环境的核心数据库查询语言，本文着重介绍其语法和语义． 展开更多

关键词 演绎 面向对象数据库 基于规则的查询语言 约束逻辑

在线阅读 下载PDF 职称材料

面向对象式语言中支持约束的方法及实现技术

3

作者 刘磊 金英 +1 位作者 金成植 韩鸿莺 《吉林大学自然科学学报》 CAS CSCD 北大核心 2001年第4期43-48,共6页

给出一种在对象式语言中有效地支持约束的方法及其实现技术 .应用这种具有约束描述机制的面向对象语言进行开发 ,可以较好地结合对象式和约束式这两种程序设计的优势 ,从而增强语言的描述能力和问题求解能力 。

关键词 约束式语言 面向对象式语言 语法树 解图 程序语言

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

泛型编程在面向对象语言中的对比研究 被引量：8

10

作者 周卫星 左正康 +4 位作者 王昌晶 石海鹤 游珍 谢武平 陶小明 《江西师范大学学报（自然科学版）》 CAS 北大核心 2018年第3期304-310,共7页

泛型程序设计通过从更高的层次对具体的算法和数据结构进行抽象,提高了软件的可扩展性、复用性和类型安全性,它主要是基于一系列自定义的类型约束而不是仅局限于预定义类型.该文对C++、Concepts C++、Java、C#以及Python等5种不同的、... 泛型程序设计通过从更高的层次对具体的算法和数据结构进行抽象,提高了软件的可扩展性、复用性和类型安全性,它主要是基于一系列自定义的类型约束而不是仅局限于预定义类型.该文对C++、Concepts C++、Java、C#以及Python等5种不同的、支持泛型程序设计的面向对象程序设计语言进行综合比较,并执行一个典型的且能够较好支持泛型编程机制的例子来分析这些面向对象语言的特征及对泛型编程机制的支撑程度,从而探寻泛型编程的本质特性,为减少程序开发的冗余、增强程序的可维护性提供参考. 展开更多

关键词 泛型程序设计 类型约束 面向对象程序语言 泛型机制

在线阅读 下载PDF 职称材料

面向对象的产品配置建模及约束推理研究 被引量：9

11

作者 周义廷 杨东 伍宏伟 《计算机集成制造系统》 EI CSCD 北大核心 2009年第4期652-660,共9页

为了高效地开发产品配置系统,有效解决配置问题,提出了结合面向对象的建模技术和动态约束满足问题的配置方法。首先采用面向对象技术建立了可重用、可共享的配置模型,以表达领域知识,然后将配置模型映射成为动态约束满足问题,从而通过... 为了高效地开发产品配置系统,有效解决配置问题,提出了结合面向对象的建模技术和动态约束满足问题的配置方法。首先采用面向对象技术建立了可重用、可共享的配置模型,以表达领域知识,然后将配置模型映射成为动态约束满足问题,从而通过约束推理的方式实现了配置问题的最终求解。在从配置模型到动态约束满足问题的映射阶段,给出了映射规则集;在求解阶段,设计了扩展的回溯算法,并给出了算法的求解步骤。最后,以国内某客车公司的客车配置为应用实例,阐述了配置模型的建立过程,验证了扩展的回溯算法的可行性和有效性。 展开更多

关键词 产品配置 面向对象建模 动态约束满足问题 统一建模语言 大规模定制

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

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

13

作者 罗清胜 《计算机工程与设计》 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 OCL、支持团队开发的企业组织元模型 被引量：2

14

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

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

关键词 对象约束语言 组织模型 企业建模 企业组织元模型 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 职称材料

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

16

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

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

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

在线阅读 下载PDF 职称材料

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

17

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

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

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

在线阅读 下载PDF 职称材料

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

18

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

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

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

在线阅读 下载PDF 职称材料

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

19

作者 蒋鑫 王智学 +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 职称材料

OCL数据类型到B形式化规约的转换 被引量：3

20

作者 肖健宇 张德运 《计算机工程》 EI CAS CSCD 北大核心 2006年第6期61-63,共3页

研究了UML模型到B形式化规约的转换。提出了一套从OCL数据类型及定义在这些数据类型上的操作到B AMN的转换规则。OCL的Boolean类型和Integer类型分别对应于B中的BOOL类型和Z类型;OCL中的String类型需用B抽象机器重新定义新的数据类型Cha... 研究了UML模型到B形式化规约的转换。提出了一套从OCL数据类型及定义在这些数据类型上的操作到B AMN的转换规则。OCL的Boolean类型和Integer类型分别对应于B中的BOOL类型和Z类型;OCL中的String类型需用B抽象机器重新定义新的数据类型Char_TYPE和String_TYPE来进行规约;OCL中的REAL类型采用B中的记录表达式进行近似模拟;OCL中的Collection类型(包括Set,Orderedset,Bag,Sequence)用B语言中的set,sequence,tree等进行近似模拟。 展开更多

关键词 统一建模语占 对象约束语言 形式化方法 B方法

在线阅读 下载PDF 职称材料