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

基于规则方法的管理对象行为形式化描述 Formalized Description of Management Object Behavior Based on the Rule Approach 曹阳 CAO Yang 1 first-author 苏玉北 SU Yubei 1 尹建华 YIN Jianhua 1 武汉大学电子信息学院,湖北,武汉,430072 武汉大学电子信息学院,湖北,武汉,430072 School of Electronic Information,Wuhan University School of Electronic Information,Wuhan University 在OSI管理框架中 ,GDMO是一种广泛使用而又比较有效的管理对象建模技术 ,但缺乏对管理对象行为的精确描述 为此 ,本文提出一种基于规则的方法来完整、精确、无二义性地形式描述管理对象的行为 文章首先引入了面向对象的方法、管理对象、GDMO表示法 ,然后通过具体例子深入研究基于规则方法的管理对象行为的形式描述 研究结果表明 ,带有对象通信规则的概念可以与具有继承与包封性质的面向对象方法共存 ,同时能很容易把这种规则方法集成到GDMO模板表示法中去 In OSI management framework, GDMO is a effective modeling technology of management object. Due to the lack of precise description about the management object behavior, a rule based method is proposed in this paper to describe the behavior of management object in the complete, precise, unambiguity way. Such methods as objectoriented presentation, managed object, GMDO template notation are firstly introduced, then the rule based formalizeddescription about managed object is deeply researched and is implemented in some practical instances. The research result shows that the concept of object communication rule can coexist with the objectoriented method which have some properties such as inheritance and capsulated, at the same time, this ruled based method can be easily integrated into GDMO template notation. 管理对象 管理对象描述指南 抽象语法表示法 行为描述 规则 management object GDMO ASN.1 behavior description rule TP393.07 国家自然科学基金!（699830 0 5）;湖北省自然科学基金!资助项目 （98J0 73） 2001-01-01 2021-04-01 1