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

1

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

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

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

下载PDF 职称材料

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

2

作者 常浩浩 覃征 《计算机科学》 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 职称材料

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

3

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

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

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

下载PDF 职称材料

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

4

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

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

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

下载PDF 职称材料

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

5

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

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

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

下载PDF 职称材料

支持业务流程管理的组织建模及约束描述 被引量：4

6

作者 朱海平 王忠浩 吴军 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第11期11-14,共4页

针对业务流程管理框架中组织视图的描述需求,提出一种面向对象的组织元模型,利用统一建模语言的类视图对企业中的功能型组织结构和项目型组织结构进行建模.为了保证组织结构的合法性,利用对象约束语言对各类组织约束进行形式化描述,这... 针对业务流程管理框架中组织视图的描述需求,提出一种面向对象的组织元模型,利用统一建模语言的类视图对企业中的功能型组织结构和项目型组织结构进行建模.为了保证组织结构的合法性,利用对象约束语言对各类组织约束进行形式化描述,这些约束包括基本约束、针对团队模板的约束和针对团队的约束三类.给出了业务流程过程模型和组织元模型的集成实现过程,从而有利于描述和分析工作流驱动的动态组织行为. 展开更多

关键词 业务流程管理 组织建模 组织约束 对象约束语言

下载PDF 职称材料

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

7

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

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

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

下载PDF 职称材料

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

8

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

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

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

下载PDF 职称材料

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

9

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

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

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

下载PDF 职称材料

基于UML的本体表示方法研究 被引量：3

10

作者 李嘉丽 王念滨 孙玮鸿 《计算机工程》 CAS CSCD 北大核心 2009年第12期41-43,共3页

研究本体表示相关技术,并且从表达和推理能力等方面对当前本体表示方法进行分析和比较,总结各种表示方法的利弊。在此基础上提出一种基于统一建模语言(UML)和对象约束语言的本体表示方法,特别研究该表示方法的推理机制,并对这种表示方... 研究本体表示相关技术,并且从表达和推理能力等方面对当前本体表示方法进行分析和比较,总结各种表示方法的利弊。在此基础上提出一种基于统一建模语言(UML)和对象约束语言的本体表示方法,特别研究该表示方法的推理机制,并对这种表示方法进行应用。 展开更多

关键词 本体表示 统一建模语言 对象约束语言 推理机制

下载PDF 职称材料

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

11

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

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

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

下载PDF 职称材料

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

12

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

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

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

下载PDF 职称材料

软件设计模式的选择与实例化一致性校验 被引量：1

13

作者 周炎涛 贺再红 +1 位作者 吴正国 陈贤谋 《湘潭大学自然科学学报》 CAS CSCD 北大核心 2006年第4期7-11,共5页

针对现有基于类图及文档的软件设计模式描述方法存在的问题,提出了一种基于可扩展标记语言架构的设计模式描述方法,该方法弥补了传统设计模式描述方法在动态信息方面描述的不足,使众多的设计模式更加规范化,能更好地被使用者理解、识别... 针对现有基于类图及文档的软件设计模式描述方法存在的问题,提出了一种基于可扩展标记语言架构的设计模式描述方法,该方法弥补了传统设计模式描述方法在动态信息方面描述的不足,使众多的设计模式更加规范化,能更好地被使用者理解、识别、搜索和管理.同时提供一种设计模式实例化一致性的校验方法,确保设计模式的关键性约束条件在具体设计中得以体现. 展开更多

关键词 对象约束语言 XML 设计模式 实例化 面向对象

下载PDF 职称材料

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

14

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

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

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

下载PDF 职称材料

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

15

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

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

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

下载PDF 职称材料

基于低代码开发范式的Web Service生成方法 被引量：2

16

作者 朱绍宏 覃章荣 《广西师范大学学报（自然科学版）》 CAS 北大核心 2022年第6期82-97,共16页

针对目前软件开发人员在手工开发Web Service程序过程中出现效率低下、容易出错等问题,本文基于低代码开发范式,结合需求原型化技术RM2PT,提出一种Web Service自动生成方法。首先,根据操作契约中的OCL表达式与数据基本操作的语义关系,... 针对目前软件开发人员在手工开发Web Service程序过程中出现效率低下、容易出错等问题,本文基于低代码开发范式,结合需求原型化技术RM2PT,提出一种Web Service自动生成方法。首先,根据操作契约中的OCL表达式与数据基本操作的语义关系,建立两者之间的转换规则;其次,根据Web Service功能模块的代码特征构建转换模板;然后建立解析和处理需求模型的转换算法;最后,使用转换规则、转换模板和转换算法直接将需求模型自动转换为目标应用程序。通过使用4个软件开发案例对提出的方法进行验证,结果表明,约93.3%的系统操作可以实现自动生成。相比传统的软件开发模式,本文方法可以由需求模型自动生成标准化Web Service程序,提高了软件开发效率与质量。此外,本文方法支持快速原型开发和迭代开发,用户可以通过GUI验证、编辑与修改需求,重新生成应用程序。 展开更多

关键词 需求模型 WEB服务 低代码 统一建模语言 对象约束语言

下载PDF 职称材料

基于MapReduce的OCL的并行查询方法 被引量：2

17

作者 金仙力 马凯旋 《计算机应用与软件》 北大核心 2018年第7期21-26,56,共7页

在单机环境下,基于单节点的OCL(Object Constraint Language)查询方法已经无法高效地完成大规模的查询任务。为了应对大量数据带来的挑战,提高OCL查询的速度,提出一种基于MapReduce的OCL并行查询方法 OPQM(OCL Parallel Query Method)... 在单机环境下,基于单节点的OCL(Object Constraint Language)查询方法已经无法高效地完成大规模的查询任务。为了应对大量数据带来的挑战,提高OCL查询的速度,提出一种基于MapReduce的OCL并行查询方法 OPQM(OCL Parallel Query Method)。这种方法通过提取OCL对象属性集合,实现从OCL规则库查询到OCL对象属性查询的转化,并利用MapReduce实现对象属性并行查询,缩短了OCL查询时间。 展开更多

关键词 对象约束语言 对象约束语言查询 MAPREDUCE 并行查询

下载PDF 职称材料

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

18

作者 肖健宇 张德运 《计算机工程》 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 职称材料

异类集成数据的查询

19

作者 祝晓东 《浙江万里学院学报》 2004年第5期27-29,共3页

异类集成数据的查询问题,始终是信息系统发展过程中会遇到的问题。目前解决的方法:一种是根据数据仓库或数据中心的结构特征来设法获取数据,另一种是基于虚拟集成异类数据技术来获取数据. 文章讨论基于第二种方式下,将对象约束语言(OCL... 异类集成数据的查询问题,始终是信息系统发展过程中会遇到的问题。目前解决的方法:一种是根据数据仓库或数据中心的结构特征来设法获取数据,另一种是基于虚拟集成异类数据技术来获取数据. 文章讨论基于第二种方式下,将对象约束语言(OCL)进行修改,产生一种统一查询语言. 这种语言可以被转换为Xquery的代码形式,以实现对异类集成数据的查询. 展开更多

关键词 数据集成 查询 据仓库 对象约束语言

下载PDF 职称材料

PIM到关系PSM的转换方法研究 被引量：2

20

作者 何曼 刘湘伟 郝成民 《计算机工程》 CAS CSCD 北大核心 2010年第3期58-60,63,共4页

针对模型驱动体系结构中的模型转换问题,提出一种从PIM关系类图到SQL关系PSM的二步转换法,通过依赖、泛化、关联3类关系的初步转换,使其脱离关系线,得到仅与属性类型相关的PIM类图,并对不同类型的属性制定相应的转换规则,利用一个具体... 针对模型驱动体系结构中的模型转换问题,提出一种从PIM关系类图到SQL关系PSM的二步转换法,通过依赖、泛化、关联3类关系的初步转换,使其脱离关系线,得到仅与属性类型相关的PIM类图,并对不同类型的属性制定相应的转换规则,利用一个具体示例展示了转换过程及其结果。实验结果表明,与简单的关联关系转换相比,该方法更全面,能够完整实现模型转换。 展开更多

关键词 模型驱动体系结构 模型转换 关系 对象约束语言

下载PDF 职称材料