论文部分内容阅读
在简要地论述了半形式化面向对象的开发方法的基本思想之后,着重就这类方法中模型形式化这一关键问题进行了研究。探讨了基于着色Petri网的面向对象模型的形式化技术,给出了面向对象方法中一些基本概念的形式描述,旨在完整地形成一种基于Petri网的半形式化面向对象的开发方法.
After briefly discussing the basic idea of the semi-formal object-oriented development method, we focus on the key issue of formalization of such methods. The formalization of object oriented model based on colored Petri nets is discussed. The formal description of some basic concepts in object - oriented method is given. The purpose is to form a semi - formal object - oriented development method based on Petri nets.