基于Petri网的用例建模研究

中文摘要	第1-6页
英文摘要	第6-7页
第1章 绪论	第7-15页
·课题的背景及意义	第7-11页
·软件工程	第7页
·需求工程	第7-10页
·用例	第10-11页
·课题的研究现状	第11-12页
·本文的研究思路	第12-13页
·本文的工作与创新	第13页
·论文内容的结构安排	第13-15页
第2章 理论基础	第15-30页
·用例	第15-19页
·用例的基本概念	第15-16页
·用例中的主要术语	第16-17页
·用例类型	第17-18页
·用例的关系简介	第18-19页
·用例图	第19页
·Petri网概述	第19-30页
·Petri网的基本概念	第19-20页
·Petri网的形式化描述	第20-25页
·Petri网的类型、问题和方法	第25-30页
第3章 基于Petri网的用例建模方法	第30-52页
·建模方法简介	第30-31页
·用例及其形式化定义	第31-34页
·用例模型到Petri网模型的映射	第34-46页
·用例到Petri网模型的映射	第34-37页
·用例图到Petri网模型的映射	第37-46页
·相关实验	第46-52页
·用例图形化工具包的设计与实现	第46-48页
·实验设计	第48-51页
·实验总结	第51-52页
第4章 结论和展望	第52-53页
·结论	第52页
·下一步工作及展望	第52-53页
参考文献	第53-55页
致谢	第55页