软件的开发方法从传统的软件生命周期方法发展到面向对象方法,极大地提高了软件开发的效率和软件质量。但面向对象的方法种类繁多,各有特色,也各有不足,而且术语不统一、缺乏共同标准,给软件开发人员带来困惑。　　 1995年,著名软件工程学家Ivar Jacobson、Jin Rumbaugh和Grady Booch综合了他们各自原创的面向对象的分析和设计方法,加以扩充改进,提出了统一建模语言UML(The Unified Modeling Language)。在Rational公司的支持下,他们综合了多种开发过程的长处,提出了一种新的面向对象的软件开发过程——Rational过程(Rational Unified Process,RUP)　　 Petri网是1960年代由Carl Adam Petri发明的,适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式,也有直观的图形表达方式。由于Petri网能表达并发的事件,被认为是自动化理论的一种,适合对系统进行动态建模。　　 本文主要的研究工作:(1)面向对象方法和UML建模方法学习与研究;(2)邮件分拣管理信息系统的需求分析;(3)基于UML邮件分拣管理信息系统的静态建模;(4)基于Petri网的邮件分拣管理信息系统的动态建模:(5)基于PowerBuilder的邮件分拣管理信息系统的实现。　　 在学习研究工程中,采用理论与实际相结合的方法。通过对UML技术和Petri网的分析、探讨和应用,促进了软件系统的开发;通过基于PowerBuilder语言实现邮件分拣管理信息系统,验证了UML技术的简捷性和统一软件过程的可行性。在开发过程中采用统一软件过程、利用UML技术和Petri网建模将大大缩短研发周期、缓解软件开发危机。