基于MDA的软件设计与实现研究.pdfVIP

信息系统协会中国分会第一届学术年会 基于 MDA 的软件设计与实现研究* 郭宁 (首都经济贸易大学 信息学院，北京 100026) 文 摘：模型驱动架构技术（MDA ）使得应用程序和开发工具能够跨越中间件的边界，从而更容易地实现软件系统 的集成与开发。该技术将业务逻辑功能和行为定义为一个代表分析结果的平台无关模型（PIM ），然后生成代表设计 结果的平台相关模型（PSM ）和多种平台的实现。本文分析了各类模型（PIM、PSM、代码模型等）在软件系统开发 中的作用，阐述了MDA 在实现教学管理系统中的实际应用，并针对 MDA 的局限性提出了实施MDA 的改进建议。 关键词：软件工程；模型驱动架构（MDA ）；UML ；OptimalJ *作者简介：郭宁（1958），女（汉），北京，副教授。 通信联系人：郭宁，E-mail ：guon@ 信息系统协会中国分会第一届学术年会 信息系统监理与 CMM 的融合模型的研制* 杨一平 (首都经济贸易大学 信息学院，北京 100026) 文 摘：本文积极探索信息系统生命周期中存在的问题及解决思路，融合信息系统应用的最新研究理论，有针对性地 提出并研制了信息系统监理、CMM 和 IT 审计的融合框架 CICI （the Conjunction of Management Information Systems, CMM and IT Auditing ）。论文说明监理在软件开发的作用、风险，以及CMM 核心技术与审计对于软件监理工作的重 要借鉴作用。陈述了研制框架的原理、难点与实施方案。 关键词：信息系统监理；CMM ；IT 审计；CICI *作者简介：杨一平（1954），男（汉），四川，教授。 通信联系人：杨一平，教授，信息学院院长，E-mail ：yyp@ 信息系统协会中国分会第一届学术年会 信息系统建模的 OCL 约束检查和确认* 黎升洪 (江西财经大学信息学院，南昌 330013) 文 摘：信息系统静态模型通常由 UML 类图和 OCL 约束两部分构成。在实现信息系统之前，希望对其进行检查 和确认，以保证所建模型的正确性。而 OCL 约束的检查和确认不为一般的 UML CASE 工具支持。本文描述了一 个元模型语言框架原理。即通过在元模型层引入UML 核心元素和 OCL 元模型元素来对所建信息系统模型的 OCL 约束分别在模型层和用户对象实例层进行检查和确认，以检查用户实例层违背 OCL 约束的系统状态产生的原因。 文章最后给出基于 USE 应用程序的实例。 关键词：信息系统建模；OCL 约束；检查和确认；UML 模型； *基金项目：江西省教育厅科技项目（赣教科技便函字[2002]01 号） 作者简介：黎升洪（1962），男（汉），湖南浏阳，副教授，E-mail: shlee@ 信息系统协会中国分会第一届学术年会 用系统思考方法建立 ERP 实施的概念模型* 罗昌，贾素玲 (北京航空航天大学 经济管理学院，北京 100083) 文 摘：本文主要研究了 ERP （Enterprise Resource Planning ）实施的概念模型。文中首先回顾了Cooper 和 Zmud 提 出的IT 实施的六阶段模型的特点与不足。在此基础上，重新总结了 ERP 实施的主要特点，并利用系统动力学 （System Dynamics，SD）中的系统思考方法，将 ERP 实施划分为初始化、上线和绩效涌现三个过程，建立了新的 ERP 实施 概念模型。进而对概念模型的反