参数化设计中的对象约束模型及反向约束的研究

应用图论方法 ,建立了基于有向超图的对象约束模型 ,提出了压缩十字链表形式的网状存储结构 ,能够完整、准确地记录设计者的设计意图 ,实现尺寸及参数驱动图形的功能 ,清晰地表示约束间的双向约束关系 ,有效地实现了约束的传播与求解 ,其完备的表示方式可方便地实现反向约束求解 .同时利用面向对象技术 ,高效地实现了实体及约束建模 ,采用相应的类层次结构 ,充分发挥对象的封装性和扩展性 ,提供了一种方便灵活的参数化设计方法 .

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

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

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

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

对象约束语言及其在精化PIM中的应用

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

基于约束对象的知识表示研究

讨论了约束对象的形式模型，给出了约束对象的设计与实现，提出了用约束对象表示知识和类比推理加约束满足的模糊匹配原则，其特点是引入约束对象时不增加额外的概念就可以实现受约束知识的处理，为开发专家系统提供了一种新的知识处理方式。

带显著性区域约束的高效视频全景拼接方法

传统的基于流形的全景拼接技术在处理包含局部运动的视频时,存在不能保留特定关键区域的内容、表达视频运动信息的能力较差以及实现速度较慢的问题.针对上述问题,提出了一种带显著性区域约束的高效视频全景拼接方法,该方法在基于流形的视频拼接的基础上考虑图像的特征点,通过设定显著性区域,生成关键帧带约束的全景图;然后对关键帧全景图进行对齐及融合,构建运动全景图;并采用基于CUDA的并行计算方法进行算法加速.实验结果表明:该方法不仅可以在全景图中保留特定对象某一时刻的具体形态,而且可以保留运动对象多个运动形态,并且有较快的拼接速度.

试论我国经济法约束对象的新变化

在新中国建国初期,经济法是创设社会主义计划经济体制的法。在今天,国家提出要建立市场经济,经济法则应是创设社会主义市场经济体制的法。经济法调整的对象就是国家在创设市场经济体制过程中所产生的经济关系。鉴于目前市场经济在我国还是一个尚待完成的历史工程,所以,这种经济既应当包括已经形成的经济关系,也应当包括将要形成的经济关系。 宏观调控是指国家为了实现市场经济的总量关系基本平衡,促进经济结构优化。

支持业务流程管理的组织建模及约束描述

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

OCL与Object-Z作为UML约束语言的分析比较

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

面向对象的企业组织建模研究

针对ERP系统构建与实施配置中对组织结构及组织规则描述的形式化要求,兼顾企业组织分析与优化的建模需要,基于UML建立企业组织建模元模型,给出与组织建模相关的一组概念,提出3类组织规则,并运用OCL对组织建模的元模型及组织规则进行了形式化描述。

基于OCL约束建模的嵌入式软件安全性分析

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

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

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

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

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

基于OCL约束的多态性时序图测试用例生成方法

由于UML时序图不能够描述多态性,导致根据时序图生成的测试用例存在不足,无法测试多态性方法。提出了一种对多态性时序图的形式化及相应测试用例的生成方法。根据类约束和满意集规则确定类的多态性方法集CSPM(class sets of polymorphism methods),并将多态性时序图转换为多态扩展有向无环图PCOMDAG(polymorphism class object method acyclic graph)。使用提出的测试覆盖准则及深度优先算法对PCOMDAG图进行遍历,自动生成多态性时序图的测试用例。通过实例验证方法的有效性,其结果表明,本方法能够生成基于OCL约束时序图的测试用例对多态性方法进行测试,提高时序图测试集的覆盖度。

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

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

UCard的初始化协议及初始化对象管理的研究

本文首先通过分析智能卡及其协议的发展,给出了UCard及其底层协议的概念。基于UCard的应用特征,本文给出了UCard协议对象的定义、属性、集合、约束,同时给出了对象约束图。在此基础上,本文通过研究UCard初始化协议中相关对象的状态转换,为初始化对象管理的协议制定给出参考依据。

一种UML模型跨图一致性检查系统设计与实现

统一建模语言是获取系统需求、进行系统设计的重要手段,使用多种UML模型图对同一软件进行描述和表达时,多个模型图中的对象命名、逻辑关系可能出现不一致的情况。现有可视化UML建模工具大多只在某一种模型图内部进行正确性检查,或依赖于人工进行跨图的一致性检查。随着软件系统规模的不断增大和逻辑复杂性的增高,仅依赖于人工难免存在疏漏。对此,设计并实现了一种基于规则的UML模型跨图一致性检查系统。用户上传的模型文件被解析后,采用所提出的7条规则,通过OCL描述对上述组件进行模型分析和跨图一致性检查。其中,模型分析包括词法分析、逻辑结构分析等,一致性检查规则包括类图、状态图、顺序图的相关规则。通过实现与验证,所设计的系统能有效地检测类图、顺序图等图中的不一致问题。

OCL约束验证与实现的方法

为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码(即OCL约束对应的可执行Java代码)插入的简单方案和封装方法存在的不足,给出了改进的代码插入方案,其中应用异常处理技术从而能够捕获冲突的约束。为了使OCL-Java代码根据设计的代码模式插入到Java程序中,对Java解析器作了修改。最后,实验结果表明了该方法的可行性。

基于角色访问控制的约束模型研究

基于角色的访问控制(Role-Based Access Control,RBAC)是根据用户角色确定访问权限,防止未经授权的用户访问信息资源。目前。尽管有许多不同类型的扩展RBAC,但是,没有一个通用的模型来定义不同类型的约束。本文基于统一建模语言(Unified Modeling Language,UML)和对象约束语言(Object Constraint Language,OCL),采用模型驱动的工程方法,构建了一个通用的满足不同约束访问控制的RBAC模型,简称Uni-RBAC.该模型通过在不同实体上定义OCL约束,来满足多种类型的授权要求,为系统在设计态和运行态的访问控制要求提供了良好的模型支撑。

基于Object-Z的带OCL约束的UML类图形式化描述

UML OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行约束后类图便具备严格语法和精确语义,同时也具备了演绎验证的基本条件;但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证.因此提出了一种带OCL约束的UML类图通过Object-Z进行形式化描述的方法,这样便可以充分利用Object-Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等.