对象约束语言相关论文
对象约束语言OCL的出现,为精确化模型奠定了基础。而随着模型在软件开发中的地位越来越重要,如何对施加在模型上的OCL约束进行验证......
对象管理组织(Object Management Group,OMG)提出的模型驱动 框架(Model Driven Architecture,MDA)提高了软件的开发效率和软件 ......
模型驱动架构(Model-Driven Architecture, MDA)是OMG定义的、基于UML以及其他工业标准的一个软件开发框架,它支持软件设计和模型......
面向服务的体系架构(SOA)已成为基于Web的分布式系统的主要发展趋势。Web服务作为SOA的一种实现形式,已得到广泛的关注与应用。在......
在软件测试过程中，测试用例的生成是软件测试的关键和难点。目前，测试用例的生成主要靠手工完成，而且要求软件测试人员具有一定的经验......
模型驱动架构(MDA)提供了一种使用模型来指导系统的设计、开发和维护的方法，它特别关注与技术是否相关的概念间的分离，以提高软件的......
应用场景是指应用系统为完成某个功能所进行的一系列的行为活动,包括用户对象与系统对象之间的交互。统一建模语言(UML)中的顺序图......
随着软件行业的发展，软件的复杂程度不断提高，人们需要一种方法来总结和重用良好的软件设计。设计模式是针对特定场景下的特定问题的......
本文主要对PIM(Platform Independent Model)到EJBPSM(Platform Specific Model)转换进行了研究。介绍了模型驱动架构MDA的相关理......
随着计算机应用的普及,软件质量成为软件工程最为关心的问题之一,软件测试作为软件质量的有效保障而备受关注。统一建模语言(UML)......
目前基于UML模型的软件测试是面向对象软件测试技术研究的重要方向。UML是一种流行的面向对象建模语言，其活动图模型具有描述系统工......
程序规约在软件工程中具有重要作用,它是对程序性质的形式化描述,可以帮助程序分析工具理解复杂程序的语义。随着程序库在软件开发......
随着大规模定制日益成为现代工业发展的趋势，产品配置作为实现大规模定制的重要方法，也成为当前研究的热点之一。实现产品配置的两个......
模型驱动架构（MDA）是继CORBA,UML之后由OMG推出的重要的软件开发方法学.MDA的核心是模型转换,模型转换语言又是实施模型转换的关键.......
统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准.但是UML不是形式化的建......
采用形式化方法对软件模型进行自动验证在模型驱动架构开发方法中发挥重要的作用．本文提出一种对面向对象软件设计模型的静态结构进......
提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻......
模型转换语言是实施MDA的关键，在整个MDA体系中必须要有明确完备的转换语言。首先对模型转换语言的特性和现有的主要模型转换语言进......
组织模型不仅要支持传统的纵向的组织结构，而且还要支持以团队方式工作的横向组织结构。本文提出了包含组织纵向和横向结构的组织元......
随着软件测试技术的飞速发展，很多自动生成和执行测试用例的方法的技术已经发展起来。对于自动生成测试用例的约束的形式化定义也有......
元建模发生在模型驱动架构中的元元模型、元模型和模型层中，传统的元建模采用统一建模语言UML描述。但是实践证明，UML无法提供与对象......
随着基于模型的软件工程方法的兴起，模型逐渐地变为软件工程中的重要元素，介绍了OMG规范MOF、XMI和OCL及在Eclipse软件工程环境下的......
针对软件运行时可信保障存在的相关问题，提出了基于AOP技术的软件性质监控框架。本框架使用OCL（Object Constraint Language）和UML Pr......
针对工作流系统对动态团队和不确定性任务支持的要求,首先利用面向对象技术建模团队的组织结构,并采用对象约束语言规范化描述团队......
针对非形式化的描述可能导致的不明确和不一致问题，提出并设计实现了一种基于OCL的、能对UML模型中类之间的关联及约束进行分析与验......
基于角色的访问控制模型以其灵活性、方便性和安全性在许多系统的权限管理中得到普遍应用,而引入时间约束后的角色访问控制更能增......
异类集成数据的查询问题,始终是信息系统发展过程中会遇到的问题.目前解决的方法:一种是根据数据仓库或数据中心的结构特征来设法......
大规模定制是现代工业发展的趋势。它不但具有大规模生产的低成本优势，而且能够满足用户的个性化需求。产品配置是实现大规模定制的......
为了应用精确、完备的PIM自动进行模型转换、校验及编译，分析了OCL元模型与UML元模型问的关系，在此基础上对OCL在精确化平台无关模型......
由于UML时序图不能够描述多态性，导致根据时序图生成的测试用例存在不足，无法测试多态性方法。提出了一种对多态性时序图的形式化及......
研究了UML模型到B形式化规约的转换。提出了一套从OCL数据类型及定义在这些数据类型上的操作到BAMN的转换规则。OCL的Boolean类型......
精确的软件需求说明书是确保软件质量的基础,本文以公路票务系统为开发背景,探讨了OCL在构建精确软件需求过程中的应用方法,以Rose......
概念模型元素及其关系是军事建模过程中的一个重要环节。目前军事概念模型的研究对模型元素关系的描述不够细化。从军事系统的概念......
基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面，对监控方面与被监控软件进行编织......
基于角色的访问控制（Role-Based Access Control,RBAC）是根据用户角色确定访问权限,防止未经授权的用户访问信息资源。目前。尽管有......
构件的语义特征是构件检索的主要依据，也是构件库的重点研究内容．然而，由于网络系统中存在分布、动态、数量众多的服务构件，很多构件之......
为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码（即OCL约束对应的可执行Java代码）插入的简单方案和封装方法存在......
UML2．0OCL是基于一阶谓词逻辑和集合论的形式化语言，用它对UML类图进行条件约束后，类图便具备了严格的语法和精确的语义，同时也具备了......
提出一个面向产品开发过程管理的资源模型。针对产品开发特征，该模型将资源分配与面向对象技术（OOT）集成在统一建模语言（UML）类图所表示......
针对业务流程管理框架中组织视图的描述需求,提出一种面向对象的组织元模型,利用统一建模语言的类视图对企业中的功能型组织结构和......
针对模型驱动体系结构中的模型转换问题，提出一种从PIM关系类图到SQL关系PSM的二步转换法，通过依赖、泛化、关联3类关系的初步转换，使......
研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动......
对复杂制造系统进行有效的适应调度,构建性能优良的知识系统是基础和核心。采用统一建模语言对适应调度知识系统的分析、设计和实......
武器系统效能评估是武器系统设计过程中的重要环节,效能评估指标体系作为效能评估的前提和基础,其描述的精确性将直接影响武器系统......
首先,用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态,活动图表示状态图中每个进程的功能,对象约束语言......
在单机环境下,基于单节点的OCL(Object Constraint Language)查询方法已经无法高效地完成大规模的查询任务。为了应对大量数据带来......
