Formal specification describing method is brought forward.The describing tool is a transmogrification of Objected-Orient high-level Petri(Coorperative Net).

• 的研究，针对描述系统服务的原始规范中存在的问题，提出了分布式对象系统动态行为形式化描述方法，形式化工具采用面向对象高阶Petfi网（协 同阿）的一种变形。