对象约束语言

作品数：55被引量：113H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：彭中杜浩曾一毛晓光张申生更多>>
相关机构：重庆大学南京航空航天大学国防科学技术大学南京理工大学更多>>
相关期刊：《计算机辅助设计与图形学学报》《南京理工大学学报》《计算机集成制造系统》《信息技术与信息化》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种UML模型跨图一致性检查系统设计与实现
《信息技术与信息化》2024年第10期35-39,共5页袁薇 孙康健 张雪 吕韬 
统一建模语言是获取系统需求、进行系统设计的重要手段,使用多种UML模型图对同一软件进行描述和表达时,多个模型图中的对象命名、逻辑关系可能出现不一致的情况。现有可视化UML建模工具大多只在某一种模型图内部进行正确性检查,或依赖...
关键词：UML 可视化建模 模型解析 一致性检查 对象约束语言 
基于低代码开发范式的Web Service生成方法被引量：3
《广西师范大学学报（自然科学版）》2022年第6期82-97,共16页朱绍宏 覃章荣 
国家自然科学基金(61862009)。
针对目前软件开发人员在手工开发Web Service程序过程中出现效率低下、容易出错等问题,本文基于低代码开发范式,结合需求原型化技术RM2PT,提出一种Web Service自动生成方法。首先,根据操作契约中的OCL表达式与数据基本操作的语义关系,...
关键词：需求模型 WEB服务 低代码 统一建模语言 对象约束语言 
基于MapReduce的OCL的并行查询方法被引量：2
《计算机应用与软件》2018年第7期21-26,56,共7页金仙力 马凯旋 
国家自然科学基金项目(61373139)
在单机环境下,基于单节点的OCL(Object Constraint Language)查询方法已经无法高效地完成大规模的查询任务。为了应对大量数据带来的挑战,提高OCL查询的速度,提出一种基于MapReduce的OCL并行查询方法 OPQM(OCL Parallel Query Method)...
关键词：对象约束语言 对象约束语言查询 MAPREDUCE 并行查询 
基于OCL约束建模的嵌入式软件安全性分析被引量：4
《计算机工程》2018年第6期270-278,共9页崔红军 黄美锋 吴振宇 
国家部委基金
目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性...
关键词：对象约束语言 约束建模 软件安全性分析 失效模式 模型驱动 
基于角色访问控制的约束模型研究被引量：2
《太原科技大学学报》2016年第4期270-276,共7页白少云 白尚旺 张少波 
太原科技大学校研究生创新基金(20145023)
基于角色的访问控制(Role-Based Access Control,RBAC)是根据用户角色确定访问权限,防止未经授权的用户访问信息资源。目前。尽管有许多不同类型的扩展RBAC,但是,没有一个通用的模型来定义不同类型的约束。本文基于统一建模语言(Unified...
关键词：访问控制 RBAC 统一建模语言 约束 对象约束语言 Uni-RBAC 
面向领域特征的云取证模型被引量：2
《南京理工大学学报》2016年第4期477-484,共8页王健 唐振民 
云计算的引入使得取证技术变得更加复杂。为保证提供的云取证的证据能够呈堂并作为庭审的依据,提出一种基于面向特征的领域分析方法和对象约束语言的可扩展的云取证静态属性语义特征形式化模型,分别给出特征、特征空间和电子数据特征空...
关键词：云取证 对象约束语言 数字证据 过程建模 领域特征 
军事概念模型元素关系研究被引量：2
《火力与指挥控制》2014年第11期4-7,共4页丁晓剑 邢利菊 
概念模型元素及其关系是军事建模过程中的一个重要环节。目前军事概念模型的研究对模型元素关系的描述不够细化。从军事系统的概念内涵、作用与分类出发,分别探讨了模型元素之间的基本关系和高级关系,利用OCL语言描述了高级关系的约束...
关键词：概念模型 元素关系 对象约束语言 
一种利用Kodkod约束求解器验证UML-OCL类图的方法被引量：1
《小型微型计算机系统》2014年第2期205-209,共5页罗奇鸣 
MOE-MS多媒体计算与通信实验室基金项目(07122807)资助
采用形式化方法对软件模型进行自动验证在模型驱动架构开发方法中发挥重要的作用.本文提出一种对面向对象软件设计模型的静态结构进行验证的具体实现方法.该方法将用OCL不变式约束的UML类图转换为用关系逻辑表达的公式,Kodkod约束求解...
关键词：统一建模语言 对象约束语言 类图 验证 软件工程 
带OCL约束的多态路径测试线索生成方法
《计算机工程》2013年第8期92-96,102,共6页曾一 刘青香 王翠钦 洪豪 
统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML...
关键词：统一建模语言 对象约束语言 多态性 协作图 消息间受限控制流图 测试线索 
基于UML扩展机制的列控系统建模方法研究被引量：7
《铁道学报》2012年第12期64-70,共7页赵林 唐涛 刘金涛 刘超 李宪 
国家高技术研究发展计划(863计划)(2011AA010104);中央高校基本科研业务费专项基金(2011JBM322)
本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更...
关键词：UML扩展机制 对象约束语言 混成属性 列车运行控制系统 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部