公共文化服务平台

搜索到121篇“ 对象约束语言“的相关文章

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

信息技术. 对象管理组织对象约束语言 (OCL): ISO/IEC 19507:2012 defines the Object Constraint Language (OCL), version 2.3.1. OCL version 2.3.1 is the versi...; 关键词：METAMODEL OBJECT-ORIENTED UML

统一建模语言(UML).第3部分：对象约束语言(OCL): GB/T 28174的本部分规定了用于对各类软件系统进行可视化、详述、构造和文档化的统一建模语言。本语言也可用于对其他领域进行建模。本部分是一种形式语言,它适用于描述UML模型上的表达式。这些表达式以规范的方式,规定了如...; 关键词：计算机技术程序设计语言程序设计; 文献传递

基于对象约束语言规格的变异分析: 2008年; 由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用。介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一些变异算子的具体实现。解决了传统变异系统的性能缺陷,提高了变异分析的实用性。; 赵国平张云华葛峰; 关键词：对象约束语言变异算子软件测试

对象约束语言及其在精化PIM中的应用被引量：2: 2006年; 为了应用精确、完备的PIM自动进行模型转换、校验及编译,分析了OCL元模型与UML元模型间的关系,在此基础上对OCL在精确化平台无关模型(PIM)方面的应用进行了研究,指出OCL面临的挑战,并对OCL的研究方向提出了几点建议。对象约束语言OCL可以对模型中的元素进行约束和查询,可以在MOF的任意一层上定义模型语言,还可以通过各种方法定义模型的转换规则。; 邱芬杜浩; 关键词：对象约束语言 MDA 平台无关模型 OCL约束

对象约束语言在MDA模型转换中的应用被引量：1: 2006年; 介绍了对象约束语言OCL(OB JECT CONSTRA IN T LANGUAGE)的概念、特性,分析了OCL元模型与UM L元模型间的关系,在此基础上对OCL在M DA(M ODE L DRIVEN ARCH ITECTURE)模型转换中的应用进行了研究,指出OCL存在的问题,并对OCL的研究方向提出了几点建议。; 杜浩蒋波; 关键词：OCL MDA 元模型

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

基于低代码开发范式的企业应用自动生成方法的研究: 在企业应用开发的早期阶段通过对用户需求建模来确认需求,是一种避免引入需求错误以及提高软件开发效率和质量的有效方式。然而,对用户需求建模存在较高的时间和经济成本,并且在需求足够清晰之后,模型将会被废弃,这导致建模的投入成本...; 朱绍宏; 关键词：统一建模语言对象约束语言

基于模型的需求文档自动生成研究: 需求文档是贯穿软件生命周期的一个重要工件。作为客户和开发人员之间的共同协议，需求文档用于客户对需求的审查与确认。面对模型驱动开发中需求文档的缺少，从模型生成需求文档被广泛研究。当前面临的主要问题是模型附带的对象约束语言(...; 包天舒; 关键词：需求文档自动生成对象约束语言

相关作者