Formal specification describing method is brought forward.The describing tool is a transmogrification of Objected-Orient high-level Petri(Coorperative Net).
英
美
- 的研究,针对描述系统服务的原始规范中存在的问题,提出了分布式对象系统动态行为形式化描述方法,形式化工具采用面向对象高阶Petfi网(协 同阿)的一种变形。