基于本体语义的模型映射研究

模型转换是模型驱动开发的一项关键技术,模型间的映射关系是模型转换的基础和依据.通过对模型描述语言的语法结构和语义表达特性进行抽象分析,基于本体语义映射,对不同层次的模型映射进行了分类并加以形式化定义,进一步探讨了不同抽象层次模型之间映射关系的建立过程以及所应遵循的基本原则.以UML类模型到C语言模型的映射为例进行了阐述.这不仅可为模型转换的具体实现提供理论指导,还为验证模型之间映射规则的可行性和正确性提供依据.     

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

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

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

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

构件式体系结构模型映射的形式化语义

语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射关系,使之具有精确的语义.体系结构模型的形式化语义用类型范畴图表来表示,态射合成被用来追踪构件模型之间的关联和映射,不同层次模型间的映射关系用态射和函子来形式化描述.以此为基础,进一步分析了模型转换应保持的语义特性.范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪.应用研究表明,该描述框架很好地把握了模型驱动开发的实质、过程和要求,为模型转换和模型驱动开发提供了新的认知、设计和语义计算的指导架构.     

基于MDA的Web应用开发方法

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

以体系结构为中心的模型转换的语义描述框架

在对类型范畴理论进行扩展的基础上,将其与进程代数相结合,为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架.模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述.该描述框架可用于模型转换中特性保持问题的描述、分析和判定,从而为模型驱动的软件开发提供有力的支持.     

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

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

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

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

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

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

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

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