[发明专利]一种基于UML和PN的天车调度系统建模方法

摘要

本发明是公开了一种基于UML和PN的天车调度系统建模方法。建立模型步骤为：第一步，利用UML建立天车调度系统的需求模型；第二步，利用UML建立天车调度系统的静态模型；第三步，利用UML建立天车调度系统的动态模型；第四步，利用PN实现对UML天车调度系统模型的PN建模，并分析和验证天车调度系统PN模型的静态和动态特性，以指导和完善天车调度系统UML模型。本发明与基于UML建模方法相比，能够避免由于UML建模语言形式化表达不强和对系统定义易产生模糊和二义性，利用PN工具实现系统PN模型的静态和动态分析，从而有效实现对UML语言建模过程的指导作用。

主权项

一种基于UML和PN的天车调度系统建模方法，其特征在于：该方法采用UML和PN相结合的方法，实现对天车调度系统的建模，建立模型步骤为：第一步，利用UML实现对天车调度系统的需求建模，需求建模需要对用户需求做深入细致的了解，力求对用户需求实现全面准确的把握，通过用例图可以分析系统的内部功能和外界环境，从而确定系统边界；第二步，利用UML实现对天车调度系统的静态建模，静态建模包括通过类图，对象图，包图等表达系统静态特性；第三步，利用UML实现对天车调度系统的动态建模，动态建模包括通过时序图，交互图，活动图，状态图等表达系统动态特性；第四步，利用PN建立天车调度系统的PN模型，并利用PN分析方法和工具对天车调度系统PN模型进行分析，改进和优化UML对天车调度系统的设计，使系统能真正的反映用户的需求，满足天车调度的要求。