基于规则方法的管理对象行为形式化描述

在OSI管理框架中,GDMO是一种广泛使用而又比较有效的管理对象建模技术,但缺乏对管理对象行为的精确描述,为此,本提出一种基于规则的方法来完整、精确、无二义性地形式描述管理对象的行为,章首先引入了面向对象的方法,管理对象、GDMO表示法,然后通过具体例子深入研究其于规则方法的管理对象行为的形式描述。研究结果表明,带有对象通信规则的概念可以与具有继承与包封性质的面向对象方法共存,同时能很容易把这种规则方法集成到GDMO模板表示法中去。