对象约束语言

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于OCL约束建模的嵌入式软件安全性分析被引量：4
《计算机工程》2018年第6期270-278,共9页崔红军 黄美锋 吴振宇 
国家部委基金
目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性...
关键词：对象约束语言 约束建模 软件安全性分析 失效模式 模型驱动 
带OCL约束的多态路径测试线索生成方法
《计算机工程》2013年第8期92-96,102,共6页曾一 刘青香 王翠钦 洪豪 
统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML...
关键词：统一建模语言 对象约束语言 多态性 协作图 消息间受限控制流图 测试线索 
带OCL的活动图多态性测试用例生成方法被引量：3
《计算机工程》2012年第10期34-37,共4页曾一 丁娜 邹明 
国家自然科学基金资助项目(61004112)
研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历...
关键词：统一建模语言 对象约束语言 扩展活动图 多态性方法集 测试用例 
PIM到关系PSM的转换方法研究被引量：2
《计算机工程》2010年第3期58-60,63,共4页何曼 刘湘伟 郝成民 
针对模型驱动体系结构中的模型转换问题,提出一种从PIM关系类图到SQL关系PSM的二步转换法,通过依赖、泛化、关联3类关系的初步转换,使其脱离关系线,得到仅与属性类型相关的PIM类图,并对不同类型的属性制定相应的转换规则,利用一个具体...
关键词：模型驱动体系结构 模型转换 关系 对象约束语言 
基于OCL的面向方面监控框架被引量：1
《计算机工程》2009年第13期17-19,60,共4页彭中 毛晓光 
国家自然科学基金资助项目(60503032);国家"863"计划基金资助项目(2006AA01Z178;2007AA010301)
基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面,对监控方面与被监控软件进行编织,使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息,实现其在模...
关键词：对象约束语言 面向方面编程 监控框架 
基于UML的本体表示方法研究被引量：3
《计算机工程》2009年第12期41-43,共3页李嘉丽 王念滨 孙玮鸿 
国家"863"计划基金资助项目(2007AA04Z147)
研究本体表示相关技术,并且从表达和推理能力等方面对当前本体表示方法进行分析和比较,总结各种表示方法的利弊。在此基础上提出一种基于统一建模语言(UML)和对象约束语言的本体表示方法,特别研究该表示方法的推理机制,并对这种表示方...
关键词：本体表示 统一建模语言 对象约束语言 推理机制 
植入式安全性质监控技术
《计算机工程》2008年第B09期60-62,共3页彭中 毛晓光 谢彬 
国家自然科学基金资助项目(60503032);国家“863”计划课题基金资助项目(2006AA01Z178,2007AA010301)
针对安全性质,提出一种植入式监控方法。使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射。该方法采用AOP(Aspect-Oriented Programming)技术将监...
关键词：安全性质 监控 对象约束语言 面向方面编程 
OCL数据类型到B形式化规约的转换被引量：3
《计算机工程》2006年第6期61-63,共3页肖健宇 张德运 
国家"863"计划网络安全管理与测评技术项目(863-301-05-03)
研究了UML模型到B形式化规约的转换。提出了一套从OCL数据类型及定义在这些数据类型上的操作到B AMN的转换规则。OCL的Boolean类型和Integer类型分别对应于B中的BOOL类型和Z类型;OCL中的String类型需用B抽象机器重新定义新的数据类型Cha...
关键词：统一建模语占 对象约束语言 形式化方法 B方法 
使用UML扩展机制描述软件非功能需求的新方法被引量：4
《计算机工程》2005年第14期51-53,共3页龙湘明 孙其博 苏森 
国家自然科学基金资助项目(90204007);国家杰出青年基金资助项目(60125101);教育部博士点基金资助项目(20020013004)
指出了已有非功能需求描述方法的缺陷,提出了一种使用UML扩展机制描述非功能需求的新方法——NFRProfile,使非功能需求的描述更加直观和准确。同时,NFRProfile将UML从功能建模扩展到非功能建模,丰富了UML的应用范围,使得对功能和非功能...
关键词：非功能需求 UML外围 衍型 对象约束语言 用例 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部