摘要：为了在复杂系统开发过程的不同阶段,以及在不同建模工具和设计部门之间更加准确地描述系统的顶层模型,提出了一种新的面向复杂系统开放式顶层建模方法。基于元对象机制的元建模框架,对SysML进行基本衍型扩展和Simulink衍型扩展;在顶层建模中,把复杂系统划分为静态结构模型、动态行为模型以及两种模型间的交互关系;并对各抽象层次模型进行形式化定义,实现多种异构模型的有效集成。最后,在某无人机飞控系统顶层建模实例中,对基于顶层模型进行了飞控系统的统一建模描述,实现了复杂系统中多种异构模型的高层次抽象,验证了该方法对复杂系统顶层建模的有效性。

摘要：随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支持模型的建立和模型之间的转换,其中,模型转换问题的有效解决直接取决于模型如何建立.针对这些核心问题,提出了一个基于元对象机制(metaobject facility,MOF)的建模语言体系结构,支持定义建模语言的抽象语法和具体语法.该体系结构能够有效地纳入、精化统一建模语言(unified modeling language,UML)等现有的建模语言,并支持按需定义新的建模语言,支持建模语言的演化以实现不同应用领域的建模.针对模型转换与模型验证所必须的模型形式化要求,引入网络本体语言(web ontology language,OWL)实现了建模语言的形式化描述.基于Eclipse设计实现了支持该体系结构的建模工具ICE-Modeling Tool,整合现有业务和软件建模语言并扩展定义了一套完整的MDD模型元素体系,所提出的模型元素体系及工具能够支持MDD软件开发过程中准确描述语义,低成本、有效进行模型转换及快速验证模型,在物流服务行业的应用初步验证了体系结构和工具的有效性.

摘要：为了解决电子公文管理系统开发过程中的异质性问题,在基于OMG的模型驱动构架思想的基础上,进行系统建模过程的优化研究,在此基础上进行电子公文流转流程的规律探讨,总结出相应的电子公文管理系统的设计开发思路。