对UML模型与Petri网模型的转换方法的整合研究

摘要	第1-4页
ABSTRACT	第4-7页
第1章 引言	第7-9页
·目的及重要性	第7页
·系统建模及分析步骤	第7-8页
·论文结构安排	第8-9页
第2章 UML建模	第9-16页
·用例图	第9-11页
·序列图	第11-12页
·类图	第12-13页
·活动图	第13-14页
·状态图	第14-16页
第3章 PETRI网与时序逻辑	第16-27页
·PETRI网	第16-19页
·PETRI网的行为性质	第19-24页
·行为性质	第19-22页
·分析方法	第22-24页
·高级PETRI网	第24-26页
·层次化着色PETRI网	第26页
·时序PETRI网	第26-27页
第4章 统一建模语言和PETRI网之间的转换	第27-49页
·将UML的序列图转换为时序PETRI网	第27-33页
·转换序列图的对象生命线	第28-29页
·转换序列图中对象间的互动关系	第29-32页
·转换时间限制	第32-33页
·将UML的类图转换为着色PETRI网	第33-43页
·转换前的描述	第34-37页
·方法的转换	第37-39页
·对象创建的转换	第39-40页
·继承和多态	第40-43页
·将UML的活动图转换为经典PETRI网	第43-46页
·转换活动图的节点	第45页
·转换活动图的操作方法	第45-46页
·将UML的状态图转换为层次化着色PETRI网	第46-49页
·转换状态图的迁移	第46-47页
·转换状态图的复合状态	第47-49页
第5章 PETRI网的分析	第49-58页
·时序PETRI网的分析	第49-51页
·着色PETRI网的分析	第51-55页
·经典PETRI网的分析	第55-58页
第6章 结论与展望	第58-59页
致谢	第59-60页
参考文献	第60-61页