山东省科技发展计划项目(20051014)
- 作品数：4 被引量：51H指数：3
- 相关作者：万建成侯金奎王帅强张玉艳杨潇更多>>
- 相关机构：山东大学潍坊学院更多>>
- 发文基金：山东省科技发展计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种支持MDA的模型转换方法被引量：10
- 2007年
- 平台无关模型(PIM)到平台有关模型(PSM)的转换是模型驱动体系结构(MDA)中的关键技术,但目前还没有针对该转换的有效的解决方案。从软件工程的实施出发,以抽象代数理论为基础,同时考虑建模元素的语法结构和语义特性,该文提出了一种基于体系结构映射的、可支持模型间自动转换的方法。该方法充分利用软件体系结构在软件开发各阶段间保持的良好可追踪性,使其同时成为系统分析和模型转换的基础。以J2EE目标平台为例说明了该方法的应用。
- 侯金奎万建成王帅强
- 关键词：模型驱动体系结构软件体系结构平台无关模型
- 基于B方法的Web Service组合描述和验证方法被引量：1
- 2007年
- 对于Web Service及其组合来说,保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模,并能够利用B方法相对成熟和完善的模型检查工具,来完成模型的正确性验证。
- 王帅强万建成侯金奎冯仕红
- 关键词：WEBSERVICEB方法
- 支持MDA的J2EE PSM模型描述及代码生成方法被引量：7
- 2007年
- 为解决模型驱动体系结构(MDA)中PSM模型描述存在的问题,以软件体系结构为基础,综合当前J2EE平台下广泛使用的多种应用框架,提取其共同特征并加以抽象分析,建立了一种包括领域构件模型、行为构件模型和界面展示构件模型3部分的J2EE平台模型描述方法。用该方法描述的模型不仅具有J2EE平台的特性信息,还便于向多种目标框架下的代码进行转换。以此为基础,引入抽象平台有关模型和具体平台有关模型的概念,进一步扩展了MDA开发框架。介绍了相应代码生成器的框架设计和实现过程。
- 侯金奎万建成杨潇
- 关键词：模型驱动体系结构软件体系结构WEB应用框架代码生成
- 一种支持MDA的PIM建模方法被引量：34
- 2007年
- 为解决MDA开发过程中平台无关模型(PIM)的描述方面存在的问题,从软件体系结构建模出发,通过对UML进行扩展并引入界面展示视图,提出了一种平台无关的Web应用建模方法。该方法保持了PIM平台无关的特性,并能充分利用体系结构在软件开发各阶段间保持的良好可追踪性,能够对模型驱动的软件开发提供有力的支持。以J2EE目标平台为例说明了用该方法建立的PIM模型到平台相关模型(PSM)的转换。
- 侯金奎万建成张玉艳
- 关键词：模型驱动体系结构软件体系结构平台无关模型平台相关模型
