基于元模型的视图层PIM建模方法研究与实现

模型驱动架构（model driven architecture,MDA）的核心思想是将建模语言当作开发语言使用,基于UML的平台无关模型（platform independent model,PIM）建模方法主要关注于系统的体系结构与业务逻辑设计,对视图层支持较差．针对此问题,研究了基于元模型的视图层PIM建模方法,给出视图层PIM模型中界面逻辑模型和界面布局模型的表示法及语义内容;基于EMOF（essential meta objectfacility）对UML建模语言进行扩展,使其对上述两种模型提供语义上和表示法的支持;最后,基于EclipseGMF框架开发了视图层PIM辅助设计工具GMTP．     

基于SACRED元模型的模型驱动体系结构工具

模型驱动的体系结构（MDA）开发方法是以模型作为软件开发的主线，基于统一建模语言（UML）创建的模型不能很好地起到衔接用户需求和代码的桥梁作用，而且模型中存在不同的视角.在元对象设施（MOF）的基础上，定义了SACRED元模型，使用主题和映射来解决基于UML建模的缺陷.主题的引入为用户需求到模型增加了新的转换桥梁，采用映射方式实现了平台无关模型（PIM）到平台相关模型（PSM）的转化，使得模型不需要关注系统细节，降低了元模型的复杂度.阐述了基于SACRED元模型的开发过程，并研制了一个基于SACRED元模型的MDA工具PureX.通过一个实例说明了该元模型以及软件开发过程的有效性.与UML相比，该模型具有建模元素简单、不同阶段、不同角色模型一致、支持双向开发、便于模型复用等优点.     

MDA方法与基于UML的MDA建模

模型驱动体系结构(简称MDA)是OMG组织定义的一个新的软件开发框架.MDA提供了使用模型来直接引导理解、设计、建立、部署、运行、维护系统和修改系统流程,平台独立模型(PIM)、平台相关模型(PSM)和代码处于MDA的核心且是形式化的模型,整个软件开发过程都是以软件系统的建模行为驱动的.     

一种基于互联网单元的互联网应用软件的架构

针对企业或公司对外发布信息之间的互联网应用问题，分析了这类应用当前所面临的一些问题，探讨了产生这些问题的各方面原因，同时分析了目前所做的一些工作的优缺点，从技术角度提出了基于互联网单元的软件解决方案。在详细地分析了互联网单元4个侧面的功能之后，设计了适用于特定应用域的互联网软件的逻辑结构和在这种结构下的3个工作流程，最后采用Java技术建造了该架构的一个实例。     

基于ECO模型驱动的工作流实现技术

针对工作流系统的快速实现方法,运用ECO(enterprise core objects)技术,提出了一种基于ECO模型驱动的工作流实现技术.以某企业网上销售业务中一个小额订单自动审批流程的工作流实现为例,阐述了该技术的应用过程.结果表明,该技术具有一定的理论和实用价值.     

应用软件的一种实用加密法

网络适配器的地址具有惟一性,任意品牌的任意两个网卡地址都不相同。利用这一特性对软件进行加密具有低成本、不易破解等优点。文中主要介绍用VB6 0进行网络适配器加密的方法。     

一种模型驱动的Web应用系统开发方法

为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征在目标语义域中的重新构造,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和目标代码生成。以J2EE作为目标平台进行实验验证,表明此方法保持了高层模型的平台无关特性,能够对模型驱动的软件开发提供有力的支持。     

基于规则库的电信业务UML活动图验证机制

在分析现有的技术背景后,提出了一种基于规则库的电信业务统一建模语言（UML）活动图验证机制。通过将模型验证规则与模型验证引擎相分离的方式,提高了验证机制得可扩展性和灵活性。模型验证软件通过在模型驱动架构（MDA）业务平台中的测试证明了该验证机制的正确性和高效性。     

面向用户基于知识的一种应用框架

从一类应用软件系统中抽象出支持最终用户对系统进行个人化的应用框架,是允许用户真正参与系统开发的一种途径。本文对应用软件系统的一些共性问题进行了归纳分析,提出一种面向用户、基于知识的应用框架模型,给出了相应的实现——两个应用生成系统UKG和UKF,以及相应的应用系统知识的分类表示。采用面向对象的语言和方法有助于增强应用框架的适应性,本文亦给出了这方面正在进行的基础性工作和设想。     

基于扩展粒度计算的防空体系结构超网络模型

防空体系的粒度表示是通过两方面的内容来实现的,分别是作战对象和连接方式,将这两者进行抽象化操作,得出不同的信息粒度.防空体系结构超网络架构的构建是将防空体系的粒度表示作为基础的.在这种架构体系之中,对防空体系结构内部各功能网络的信息流交互关系进行分析.扩展粒计算方法在防空体系结构超网络之中发挥着重要的作用.本文对防空体系粒度表示、防空体系结构分层多粒度的超网络架构、融合粒度计算的防空体系结构超网络模型分别进行了阐述.     

基于统一建模语言的软件体系结构描述

系统设计以及整个软件系统结构的重用是支持大规模软件重用的关键。目前对软件体系结构的研究主要集中在软件体系结构的分析,描述等方面。利用统一建模语言的扩充机制,以统一建模语言为基础,将软件体系结构当前主流的面向对象软件开发方法相结合,给出了软件体系结构的核心模型,并从多个视图描述了软件体系结构。这样,就可在软件开发方法中和软件体系结构,也可利用开发方法众多的支持工具。     

基于UML的实用软件体系结构描述方法的应用研究

提出一种基于统一建模语言（Unified Modeling Language,简称UML）的实用软件体系结构描述方法,将软件体系结构设计、描述和表示与软件系统建模有机结合在一起,并以异构网络平台的数据集成中间件（Data Integration Middleware,简称DI）开发为例,通过使用大量UML构造型对软件体系结构的多个视图模型进行规范化描述,使开发者在此基础上可以容易地进行DI的详细设计和编码,也为以后DI功能的变化和体系结构设计的重用提供了良好的支持.     

基于网络构件的软件体系结构抽象模型

为提高分布式网络软件系统的效率和稳定性,提出了基于网络构件缓冲算法的软件体系结构模型.以本地逻辑框架为基础,将系统负荷分配到网络的各个构件结点.采用抽象的形式化方法对构件、构件代理、连接器、构件Cache进行静态语义描述,详细讨论了构件代理的构件映射语义以及构件缓冲算法.系统采用构件Cache的机制和最少最近的动态映射远程构件的调度算法提高调用的命中率.最后通过实验对比了不同构件比率的软件系统,结果表明采用构件调度算法能够提高系统的运行效率.     

基于软件差错相关的可靠性增长模型

通过考虑软件中差错的相关性,讨论了一种基于ＮＨＰＰ的新的软件可靠性增模型,并以ＭＬＬＦ、ＡＩＣ和均方误差为准则,将该模型与普通Ｓ型可靠性增长模型和延迟Ｓ型可靠性增长模型做了比较,得出了较为满意的结果。     

一种用UML对软件产品线建模的方法

采用UML Profile扩展机制实现了产品线的差异建模,并用UML的OCL约束在元模型层和模型层的模型实现了产品线的通用约束和特定产品线的特定约束,最后给出了从产品线模型生成产品库的算法。     

基于模型的嵌入式软件在汽车电子节气门上的应用

提出一种基于模型的方法来设计实时嵌入式控制软件.这种方法的原理是编译器将上层控制器模型作为源代码而不仅仅是仿真模型,在不需要人为的情况下,自动产生可执行代码,并编写源代码.实时嵌入式控制系统软件的主要部分包括:有限状态机、作业任务、程序调度和控制流与数据流.汽车电子节气门控制系统是典型的实时嵌入式软件应用系统,既有严格的成本限制,又要满足高安全性和高可靠性的要求,适合采用模型驱动架构的软件设计方法.     

企业管理软件现状与发展研究

目的　通过对企业管理软件现状的分析,指出其中现存的缺陷,并对未来管理软件开发技术的发展做出预测.方法　从企业管理理论、模型理论和软件工程学等不同角度对当前企业管理软件进行分析.结果与结论　随着企业管理模型和软件开发技术的不断发展完善,基于基础件技术的业务基础架构平台将成为企业管理软件开发的主流和方向.     

基于分层递增验证的可信管理软件构造方法

为了保证管理软件在整个生命周期内都具有可信性,在ICEMDA架构基础上融入可信性理论与方 法,提出了一种可信管理软件的模型驱动构造参考方法．通过分析国内外的研究现状,明确界定了管理软件 可信性概念,给出可信性判定问题描述．结果表明该方法以ICEMDA各层次上的构造体为中心,逐层进行可 信模型描述、可信指标度量、可信性判定与优化,借助ICEMDA的模型语义保持技术实现各层间可信性的保 持与传递,并以业务构件PSM模型的可信性判定为例简要介绍了该体系的具体实施机制     

基于对象的软件重用技术研究

提高软件开发的效率对软件工程具有重要意义。面向对象的程序设计方法以可重用性为中心,构造独立具体工作的可重用软部件,这些软部件经夭当 的整合即可构成新的目标系统,从而大大提高软件开的效率。