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

 
  • 的研究,针对描述系统服务的原始规范中存在的问题,提出了分布式对象系统动态行为形式化描述方法,形式化工具采用面向对象高阶Petfi网(协 同阿)的一种变形。
今日热词
目录 附录 查词历史