现在的开发环境多数是面向对象的，而存储机制往往是基于功能分解的关系型数据库，同时在DBMS(Database Management System)支持的数据库模型中，关系型数据库是最普遍的，因而就存在将面向对象的思想和关系数据库模型相统一的问题。统一建模语言(UML)已经成为一种有效普遍的而向对象软件开发的建模语言，所以有必要把UML模型和数据库的设计统一起来，这样可以使得数据库模型的扩展性、健壮性得到了大大地提高。UML模型采用了大量的图形符号，虽然仔细地使用分析、设计方法并结合彻底的评审确实导致了高质量的软件开发，但这些方法应用的偏差可能产生各种问题，一个系统规约中可能包含矛盾、二义性、含糊性、以及抽象层次的混乱。形式化方法提供了高层确认的手段，可以使用数学证明来展示设计和规约匹配以及某些程序代码是某设计的正确反映，同时形式化方法利于实现机器的自动检验。本文结合中国石油和化学工业协会评审系统，利用统一建模语言(UML)，系统介绍了系统模型向关系数据库数据模式的转换及系统实现的面向对象的软件工程设计方法。首先，用UML的用例图、序列图、类图、状态图对其进行了建模。然后，在类的设计过程中，借助了形式化UML的表达框架，检测了类模式的设计错误，对类模式进行了优化。最后，运用类图中类间的几种关系在关系数据库中的实现策略，建立了中国石油和化学工业协会评审系统数据库中的表，并实现了整个系统的开发。