期刊文献+

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

Formalized Description of Management Object Behavior Based on the Rule Approach
下载PDF
导出
摘要 在OSI管理框架中 ,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.
出处 《武汉大学学报(自然科学版)》 CSCD 北大核心 2001年第1期61-66,共6页 Journal of Wuhan University(Natural Science Edition)
基金 国家自然科学基金!(699830 0 5) 湖北省自然科学基金!资助项目 (98J0 73)
  • 相关文献

参考文献7

  • 1ISO International Standard 7498.Information Processing System-Open System Interconnection-Basic Reference Model Part 4:Management Framework[S].1991.
  • 2ISO International Standard 10165.Structure of Management Information-Part 4:Guidelines for the Description of Management Objects[S].1992.
  • 3Hegering H G,Abeck S.Integrated Management Network and System[M].San Francisco:Morgan Kaufmang,1999.
  • 4Velthuys R J,Macker L F,Schneider J M,et al.Structuring Mechanisms for the Formal Description Techniques (CRS Technical Report)[M].Heiderberg:IBM European Networking Center,1991.
  • 5Schneider J M.Viewing Advanced Studies in Computer Science[M].Berlin:Dpunkt-Verlag,1992.
  • 6Festor O.MODE:A Development Environment for Managed Objects based on Formal Methods[A].In:Adarshpal S Sethl,ed.Proceedings of Fourth International Symposium on Integrated Network Management IV[C].New York:Chapman & Hall,1995.
  • 7GONG Zheng-hu.Protocol Engineering for Computer Network[M].Changsha:National University of Defeace Tech Press,1993(Ch).

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部