基于MOF的软件体系结构分析结果集成框架

运行在网络环境下的软件在自适应过程中,需要集成多种分析方法来进行分析、规划和决策.由于自适应的决策程序或者设计人员以SA(software architecture)模型作为解析和理解分析结果的上下文,这使得分析结果与SA模型的集成尤为重要.但是,现有的分析方法集成框架多关注于提供输入、执行分析、从而得到分析结果的过程,对分析结果的集成关注不够.针对分析结果与SA模型集成中元模型、模型和视图3个层次的挑战,提出一种软件体系结构分析结果集成框架.框架使用MOF(meta-object facility)元建模技术提供ADL(architectural descriptionlanguage)的扩展机制;使用自动生成模型转换实现SA模型与分析结果的合成;使用代码生成技术扩展建模工具为扩展后的ADL提供模型视图.最后以3种分析方法——两种可靠性评估方法和容错风格的规划方法为例,使用集成框架将其加以集成并应用于Ecperf系统的SA模型的分析中,从而展示集成框架的可行性和有效性.

可复用MOF元建模框架的研究

在MDA场景下,元模型是实现平台无关模型和平台相关模型转换的核心。提出通过元层模型和模型层模型的Down-Up机制给出可复用的MOF元建模框架。元建模框架由MOF BootStrap模型自举,并且内置MOFModel,此框架可在任意多层元建模中复用。此外,给出了模型工程模型和模型迁移剪枝算法,并提出了采用模型工程统一对象空间实现模型实例复用的方法。此框架的研究对于指导具体建模工具的实现有重要意义。

基于MDA的TRISO-Model模型管理方法及应用

TRISO-Model(tridimensional integrated software development model)是为处理软件开发的复杂性和动态性而提出的三维集成软件开发方法学,其中,多维模型之间的语义一致性维护以及对模型应用中公共操作部分的重用,提出了基于一致语义进行模型管理的需求.给出了基于MDA(model driven architecture)进行模型管理的方法MDA-MMMethod(MDA based model management method),应用MDA的4层模型管理结构,基于MDA核心标准MOF(meta object facility)所提供的公共语义基础管理模型和元模型,MDA-MMMethod支持各种MDA模型操作标准实现在TRSIO-model应用中的重用.开发了相应的支持系统MDA-MMSystem(MDA based model management system),应用于SoftPM的项目实践中.与传统方法相比,模型应用的开发效率得到了显著提高,同时降低了开发成本.最后,给出了模型融合的应用实例介绍.

基于MDA的地理信息系统开发方法

从模型驱动开发的角度研究如何利用模型驱动体系结构(MDA)指导地理信息系统(GIS)建设。对OMG的模型驱动架构作了研究,分析了MDA的系统架构和核心技术,并结合地理信息相关标准、规范,提出一种利用MDA技术实现GIS领域建模,模型转换和应用开发的方法。该方法提高了软件开发效率、增强了系统的跨平台互操作性、可移植性、平台无关性和易维护性。

反导体系试训一体化环境体系结构建模方法

参考Do DAF2.0(Do D architecture framework 2.0)和MOF(meta object facility)等相关理论,提出基于元模型的反导体系试训一体化环境体系结构设计方法,通过定义环境体系结构元模型,规范元模型的存储,建立元模型到视图之间的映射等,提高了体系结构建模的标准化程度,确保了体系结构设计成果可有效用于体系后续的开发、集成和评估,为下一步反导体系试训一体化环境的建设实施奠定了基础,对其他类似体系结构的设计具有一定的借鉴意义。

UML2.0对模型驱动架构的支持

介绍了统一建模语言(Unified Modeling Language,UML)2.0的新特性,通过对模型驱动架构(Model Driven Architecture,MDA)提出的4个要求进行分析,详细讨论了模型驱动架构的技术内涵,总结了UML2.0在模型驱动架构中的技术切入点和发挥的作用,为UML2.0提供了学习和研究的参考。

工作流互操作问题的元模型“活动”包研究

随着工作流系统广泛被采用,互操作问题的研究也显得日益迫切与重要。本文在前人的工作的基础上通过基于MOF体系标准的建模实现一个名为WfMM的工作流元模型原型,为互操作问题的解决提出另一种可行的方案。本文详细描述了这一方式的可行性,并设计构造了这一原型的一个部分———“活动”元模型包。描述了其相应的XMI映射的方法与实现。

元数据存储库系统中违背良格式约束潜在操作的推理

存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保良格式约束规定得并不充分,上述2个原因使得确保基于元对象设施(meta object facility,MOF)建立的元数据存储库系统的状态不违背良格式约束成为一个令人棘手的问题.提出了一种能够自动推断可能违背良格式约束的潜在操作的方法.首先定义了一组比MOF的构造活动更精确和灵活的MOF内部活动并建立了二者之间的对应关系;接着研究了如何推断可能违背约束条件的内部活动;最后通过比对与这些内部活动相对应的构造活动是否在操作规范中出现,研究了如何推断违背约束条件的潜在操作,该方法可以用于约束检测领域.由于可以剔除许多无关的检测,该方法可以有效地提高良格式约束检测的效率.此外该方法对约束设计领域也有一定的参考价值.

基于元对象机制的多视图企业模型一致性问题

模型驱动的企业集成要求企业模型具有精确的、形式化的、一致的表达,现有研究中多视图企业模型一致性的定义依赖于具体的建模框架,刚性的视图一致性维护方法制约了视图配置的开放性。在分析多视图企业建模框架中模型一致性问题的特点和原因基础上,借用软件工程中元对象机制(MOF)的思想,将产生一致性问题的视图间语义约束元化到元元模型层,并给出了视图的形式化定义。这种视图及一致性定义及维护方法具有通用性和严格性,同时使得建模框架中视图的配置具有良好柔性。

基于描述逻辑的元数据存储库系统的结构完整性检测

存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保结构完整性规定得并不充分,上述两个原因使得基于元对象设施(MOF)标准建立元数据结构的过程中经常会发生结构完整性被违背的现象,从而严重影响存储库系统的稳定性.然而MOF是以图形的方式表示元数据,缺乏精确的语义,所以如何对基于MOF的存储库系统进行结构完整性检测成为一个棘手的问题.本文采用了描述逻辑的方法来解决该问题.该方法是基于描述逻辑家族的一种特殊的形式逻辑,我们研究了如何将MOF框架的不同层次形式化进描述逻辑知识库,以及如何利用描述逻辑提供的查询推理能力自动检测冲突.对利用该方法实现的结构完整性检测原型系统进行性能评测,取得了令人满意的结果.

模型驱动体系结构的原理和核心技术

将传统软件开发生命周期与基于模型驱动体系结构的软件开发生命周期进行了比较,介绍基于模型驱动体系结构开发的原理,讨论这种体系结构采用的核心技术,模型驱动体系结构的优点及今后需要解决的问题。

一种基于MDA的领域对象建模工具

基于MVC架构,设计并实现了采用元对象设施(meta object facility,MOF)的四层模型分层管理架构对象建模工具,应用两阶段建模理论,将传统的建模工作分解为元建模和传统建模两个阶段.对特定领域进行分析后,使用改进自MOF元语言的XKL语言实现领域建模.结果表明,该建模工具提高了开发效率,减少了重复开发.

基于元数据逻辑无关片断的结构完整性检测方法

高效地执行结构完整性检测是基于元对象设施(meta object facility,MOF)的存储库系统一致性领域的研究热点之一.借助逻辑学手段,提出了一种高效、自动地检测结构完整性的方法.首先针对MOF存储库框架的特点研究了如何将元数据的不同层次转换进描述逻辑SROIQ(D)知识库,在此基础上研究了如何对元数据进行抽取以提高检测过程的效率.提出了元数据逻辑无关片断的概念,通过分别抽取属性演绎片断和类属演绎片断,给出了生成最小逻辑无关片断的方法.由于该种片断是给定的元数据元素逻辑蕴含的闭包,因此完整地保留了给定元数据元素的相关全部信息从而使得检测可以在较小的元数据集上进行,而不必针对整个存储库,最后给出了基于逻辑无关片断的结构完整性检测方法.实验结果表明所产生的元数据片断的平均规模显著地小于其原始规模,在此基础上执行的检测的效率提升从1.47~3.31倍不等,与相关方法的时间性能对比亦展示了所提出方法的有效性.

地下工程降氡技术的应用与现状

与开放空间相比,地下工程内空气氡含量较高,为保障内部工作和生活人员的身体健康,需进行环境空气降氡处理。目前活性炭吸附技术及静电除尘技术为地下工程局部降氡的主要技术。为保证除氡效率,活性炭吸附设备存在占地过大、能耗过高等问题,而静电除氡技术只能去除环境中未结合态氡子体,对氡气浓度及结合态氡子体无影响。通过对现有技术的介绍和对比,对新型金属有机骨架(MOFs)材料及气体膜分离组件在地下工程局部降氡的可行性进行了分析。

由MDA/PIM到Java代码的转换及验证

在基于模型驱动架构(MDA)的软件开发设计过程中,为简化平台无关模型(PIM)到平台相关模型(PSM)以及PSM到可执行代码的多步转换问题,减少转换所花费的时间和精力,提出基于MDA规则及MOF建模体系的PIM到代码的间接转换方法。采用EMF建模框架建立业务流程建模符号(BPMN)与Java语言之间的联系,直接对其中间模型XML(PSM)完成面向对象建模,将模型检测算法加入模型转换规则,实现对如死锁、活锁等结构问题的检测。通过BPMN的典型实例验证了间接转换方法和模型检测算法的可行性和有效性。

结合面向方面的MDA建模工具的研究与实现

针对MDA在建模、模型间转换以及最终代码的生成的过程中,系统的功能需求与非功能需求混合在一起,同一类型的功能分散,系统不具备模块化、高内聚、低耦合的特性的问题,提出将面向方面与MDA结合的思想,使用MDA的相关技术实现一个同时支持面向方面与面向对象建模,满足MDA模型转换要求的模型建立工具。采用用该工具对实验案例建模,分析结果表明,该方法确实可行,具有实用价值。