软件过程建模技术研究

摘要	第1-6页
Abstract	第6-10页
第1章 绪论	第10-18页
·研究背景及目的	第10-11页
·国内外研究现状	第11-13页
·相关技术概述	第13-15页
·软件过程建模技术	第13-14页
·SysML 简介	第14-15页
·OCL 简介	第15页
·论文的主要研究内容	第15-16页
·论文的组织结构	第16-18页
第2章 过程建模中元模型与领域模型研究	第18-30页
·软件过程建模的元模型	第18-19页
·过程建模的领域模型的形式化	第19-23页
·过程建模的领域模型与元模型的关系	第23-24页
·领域模型的约束规则	第24-29页
·本章小结	第29-30页
第3章 基于活动的建模方法研究	第30-43页
·基于活动的建模方法（ABM）	第30-31页
·ABM 的实体关系	第31-38页
·ABM 核心实体间关系	第31-35页
·活动、任务和功能之间的关系	第35-38页
·基于SysML 的过程建模	第38-42页
·本章小结	第42-43页
第4章 软件过程建模领域模型的约束验证	第43-51页
·验证规则	第43-44页
·验证方法	第44-50页
·本章小结	第50-51页
第5章 过程建模平台的实现	第51-68页
·集成设计平台的概述	第51-54页
·IDP 的领域模型	第54-55页
·集成设计平台的框架	第55-61页
·GEF 概述	第56-58页
·GEF 的MVC 模式的实现	第58-61页
·过程模型领域模型的设计	第61-67页
·系统活动的功能	第61页
·过程模型领域模型的设计	第61-67页
·本章小结	第67-68页
结论	第68-69页
参考文献	第69-73页
攻读硕士学位期间发表的论文及取得的科研成果	第73-74页
致谢	第74页