支持MDA的J2EE PSM模型描述及代码生成方法

为解决模型驱动体系结构(MDA)中PSM模型描述存在的问题，以软件体系结构为基础，综合当前J2EE平台下广泛使用的多种应用框架，提取其共同特征并加以抽象分析，建立了一种包括领域构件模型、行为构件模型和界面展示构件模型3部分的J2EE平台模型描述方法。用该方法描述的模型不仅具有J2EE平台的特性信息，还便于向多种目标框架下的代码进行转换。以此为基础，引入抽象平台有关模型和具体平台有关模型的概念，进一步扩展了MDA开发框架。介绍了相应代码生成器的框架设计和实现过程。     

支持模型驱动开发的软构件形式化描述方法

针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据。应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充。     

基于Agent的分布式模型形式化语义描述

为解决分布式系统构建过程中系统组合和语义验证等方面的问题,基于范畴理论和进程代数,为基于Agent的分布式系统模型提出了一种形式化的语义描述框架。范畴图表用于描述整个系统的结构模型,态射用来表示系统各组成部分之间的交互和协作机制。在此基础上,对Agent规范的描述、组合、精化以及迁移过程中的语义保持问题进行了探讨。应用研究表明,该框架适用于分布式系统模型的描述和构建,有助于分析系统分解和组合的正确性。     

一种支持MDA的模型转换方法

平台无关模型(PIM)到平台有关模型(PSM)的转换是模型驱动体系结构(MDA)中的关键技术，但目前还没有针对该转换的有效的解决方案。从软件工程的实施出发，以抽象代数理论为基础，同时考虑建模元素的语法结构和语义特性，该文提出了一种基于体系结构映射的、可支持模型间自动转换的方法。该方法充分利用软件体系结构在软件开发各阶段间保持的良好可追踪性，使其同时成为系统分析和模型转换的基础。以J2EE目标平台为例说明了该方法的应用。     

支持多设备交互的分层界面设计模型

针对多设备环境下人机交互的特性，提出了一种支持代码自动生成的界面设计方法。该方法建立了以人机交互为中心的分层界面设计模型，支持不同设备平台上的代码生成，能够为模型驱动的软件开发提供有力的支持。     

一种基于语义重构的模型映射方法

通过对模型描述语言的语法结构和语义表达特性的抽象分析，提出了一种基于语义重构的模型映射方法。该方法通过归纳分析建立抽象目标语义模型，基于源模型语义域在目标语义域中的重新构造，以目标语义模型为中介建立源模型到目标模型的映射关系。该方法不仅可为模型转换的具体实现提供理论指导，还可为验证不同抽象层次模型之间映射关系的正确性提供依据。以JSF+EJB为目标平台阐述了该方法的应用。     

面向问题分类的汉语句法分析

句法分析的结果用于问题分类的特征提取,可突出问题分类的主要特征.针对问题分类中对把握句子中心结构的要求较高,而对修饰性成分的分析要求较低的特点,提出一种基于二元组合文法的句法分析.分析过程中以算子之间的优先级约束中心词信息的组合限制句子结构的生成.实验中在人工归纳的300余种二元算子的基础上实现了该文法的句法分析.实验结果证明,由于优先级的限制,句法分析过程中去掉了大部分的歧义结构.该方法有利于提高句子中心词的分析正确率,进而提高问题分类的性能.     

基于视图的Web工程设计框架

分析了Web工程的特点和目前所面临的一些问题,提出了一种基于视图的Web工程设计模型框架.该框架以对象和视图作为基本实体,同时提供了Web工程设计的高层描述,支持其在不同粒度上的抽象、封装和复用.应用实例证明该框架较好地改善了Web应用的可管理性、可维护性和可扩充性.     

面向移动云服务系统的形式化语义描述方法

针对移动云服务系统构建过程中架构设计和语义描述等方面存在的问题,以类型范畴理论为基础,为基于Agent的移动云服务系统建立了一种形式化语义描述模型。Agent作为范畴理论中的对象结点,Agent之间的交互和依赖关系作为态射,将整个云服务系统描述为一个类型范畴图表。在此基础上,对Agent交互与协作、架构设计与精化、Agent迁移、Agent可替代性以及应用请求的可满足性等进行了分析和讨论。该形式化模型增强了系统架构的语义描述能力,有助于对移动云服务系统的规约进行分析和验证。     

基于MDA的Web应用开发方法

从软件工程的实施出发提出一种基于MDA的Web应用开发方法。该方法从平台无关的高层模型描述开始,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和代码生成。以ASP.NET作为目标平台进行实验,验证结果表明该方法遵循了MDA开发的实质、过程和要求,能够对模型驱动开发提供有力的支持。