基于Petri网的UML模型映射与验证方法的研究

摘要	第1-5页
Abstract	第5-6页
目录	第6-8页
第一章 概述	第8-12页
·论文的研究背景及意义	第8-10页
·论文的研究重点	第10-11页
·PBMUM对实例系统的建模	第10页
·PBMUM的映射方法	第10-11页
·分析与讨论	第11页
·论文的组织结构	第11-12页
第二章 UML与实例建模	第12-30页
·统一建模语言UML	第12-22页
·UML的发展及现状	第12-14页
·UML的基本性质	第14-16页
·UML的概念模型	第16-22页
·软件系统建模	第22-27页
·软件系统建模的作用	第23-24页
·模型的层次	第24-25页
·模型的内容	第25-26页
·模型的含义	第26-27页
·PBMUM实例建模	第27-30页
第三章 UML模型到Petri网的映射	第30-43页
·Petri网概述	第30-31页
·Petri网的基本定义	第31-36页
·Petri网	第31-33页
·条件／事件系统(C／E_系统)	第33-34页
·库所／变迁系统(P／T_系统)	第34-36页
·UML状态图到Petri网的映射	第36-40页
·连接生成完整Petri网的方法	第40-43页
第四章 PBMUM对实例模型的分析与验证	第43-46页
第五章 PBMUM与国内外同类研究的比较	第46-50页
·UML与Petri网结合在工作流建模方面的研究	第46页
·Petri网对UML模型分析与验证方面的研究	第46-47页
·UML模型向Petri网映射与转换方面的研究	第47-48页
·UML与Petri网结合在其它方面应用的研究	第48页
·PBMUM与同类研究的比较	第48-50页
第六章 结论与展望	第50-51页
参考文献	第51-56页
致谢	第56-57页
攻读硕士期间发表的文章	第57页