一种基于Petri网的半形式化面向对象的开发方法

A Petri Net Based Semi-formal Approach to Object-Oriented Development

在简要地论述了半形式化面向对象的开发方法的基本思想之后，着重就这类方法中模型形式化这一关键问题进行了研究。探讨了基于着色Ｐｅｔｒｉ网的面向对象模型的形式化技术，给出了面向对象方法中一些基本概念的形式描述，旨在完整地形成一种基于Ｐｅｔｒｉ网的半形式化面向对象的开发方法．

After a brief introduction to the basic idea of semi-formal object-oriented approach,modelformalization,one of the key problems in this approach,is discussed,and furthermore,a colouredpetri net based formal object-oriented model is proposed.