Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented.Furthermore, a case is presented to demonstrate this method.
英
美
- 介紹了形式化描述語(yǔ)言L(fǎng)OTOS的特性，結合面向對象技術(shù)和狀態(tài)圖的理論知識，給出了基于LOTOS的動(dòng)態(tài)模型的形式化方法，并給出了實(shí)例說(shuō)明。
