A Formal Modeling of Managed Object Behaviour with Dynamic Temporal Properties

동적 시간지원 특성을 지원하는 망관리 객체의 정형적 모델링

  • 최은복 (전남대학교 대학원 전산학과) ;
  • 이형효 (전남대학교 대학원 전산학과) ;
  • 노봉남 (전남대학교 전산학과)
  • Published : 2000.01.01

Abstract

Recommendations of ITU-T and ISO stipulate the managerial abstraction of static and dynamic characteristics of network elements, management functions as well as management communication protocol. The current recommendations provide the formal mechanism for the structural parts of managed objects such as managed object class and attributes. But the current description method does not provide the formal mechanism for the behavioral characteristics of managed objects in clear manner but in natural language form, the complete specification of managed objects is not fully described. Also, the behaviour of managed objects is affected by their temporal and active properties. While the temporal properties representing periodic or repetitive internals are to describe managed objects behaviour in rather strict way, it will be more powerful if more dynamic temporal properties determined by external conditions are added to managed objects. In this paper, we added dynamic features to scheduling managed objects, and described, in GDMO, scheduling managed objects that support dynamic features. We also described behaviour of managed objects in newly defined BDL that has dynamic temporal properties. This paper showed that dynamic temporal managed objects provide a systematic and formal method in agent management function model.

ITU-T, ISO 등에 의해 제정된 표준권고안은 통신망 구성요소들간의 단순한 통신규칙을 정의하는 것 외에 통신망 관리에 필요한 자원들의 속성과 동적 특성에 대한 추상화된 표현, 그리고 통신망 구성요소들에 대한 관리기능을 포괄적으로 규정하고 있다. 그러나 표준통신망 구성요소중 관리객체에 동작에 영향을 미치는 능동적 요인들과 동작절차 및 그에 따른 통지 발생 등의 과정들이 ‘BEHAVIOUR" 템플릿내에 자연어를 이용하여 매우 포괄적이며 간략히 기술되어 있어, 관리객체의 동작 조건이나, 결과 등이 명확히 표현되지 못하는 문제점을 가지고 있다. 또한 관리객체의 동적 특성은 능동적 특성외에 시간지원 특성에 따라 동작 절차가 달라질 수 있다. 반복적이고 주기적인 정적인 시간 기념 뿐만 아니라 다른 관리자의 속성에 따라 사용권한이 결정되거나 특정기간 동안에만 권한이 부여되는 동적인 시간개념이 첨가된다면 관리객체의 능동적 특성이 더욱 강화될 수 있다. 본 논문에서는 정적인 시간관리객체의 활동을 제어하는 표준권고안의 스케줄링 관리객체에 동적인 특성을 추가하였으며 관리객체 기술의 표준인 GDMO 표현법에 의해 동적특성을 지원하는 스케줄링 관리객체를 기술하였다. 또한 관리객체의 동적 특성 기술을 위해 새롭게 정의한, 동적 시간지원 기능이 추가된 BDL을 이용하여 동작절차를 기술하였다. 그리고 동적 시간지원 특성을 지원하는 관리객체를 대리자 관리 기능 모델에 적용하여 체계적이고 정형적인 기술방법임을 제시한다.

Keywords

References

  1. Elisa Bertino, Claudio Bettini, Pierangela Samarati, 'A Discretionary Access Control Model with Temporal Authorizations,' IEEE New Security Paradigms Workshop, Aug., 1994
  2. Elisa Bertino, Claudio Bettini, Pierangela Samarati, 'A Temporal Authorization Model,' 2nd ACM Conference on Computer and Communications Security, Nov., 1994 https://doi.org/10.1145/191177.191202
  3. Elisa Bertino, Claudio Bettini, Elena Ferrari and Pierangela Samarati, 'An Access Contrail Model Supporting Periodicity Constraints and Temporal Reasoning,' ACM Transaction on Database Systems, Vol.23, No.3, Sep., 1998 https://doi.org/10.1145/293910.293151
  4. J. furick, P. F. Lillington, S. J. Thompsoo, 'Formal Description Techniques for Object Management,' Proceedings of the 4th International Symposium on Integrated Network Management, 1995
  5. Oliver Festor, Georg Zorntlein, 'Formal Description of Managed Object Behavior-A Approach,' Proceedings of the IFIPO TC6/WG6.6 3rd International Symposium on Integrated Network Management, 1993
  6. Masum X. Hasan, 'An Active Temporal Model for Network Management Databases,' Proceedings of the 4th International Symposium on Integrated Network Management, 1995
  7. ISO International Standard 7498 Information Processing Systems-Open Systems Interconnection-Basic Reference Model Part 4: Management Framework 1991
  8. Christian S. Jensen, Richard T. Snodgrass, 'Temporal Data Management,' IEEE Transactions on knowledge and data engineering, Vol. 11 , No.1, Jan., 1999 https://doi.org/10.1109/69.755613
  9. J. Keller, 'An Extension of GDMO for Formalizing Managed Objects Behaviour,' Proceedings of the IFIP TC6 8th International Conference on Formal Description Techniques, 1995
  10. Dennis R. McCarthy, Umeshwar Dayal, 'The Architecture Of an Active Data Base Management System,' ACM SIGMOD International Conference on the Management of Data, Vol.18, No.2, 6, 1989 https://doi.org/10.1145/66926.66946
  11. lakovos Motakis, Carlo Zaniolo, 'Composite Temporal Events in Active Database Rules : A Logic-Oriented Approach,' Fourth International Conference DOOD, Dec., 1995
  12. James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, William Lorensen, Object-Oriented Modeling and Design, Prentice-Hall, 1991
  13. Arie Shoshani, Kyoji Kawagoe, 'Temporal Data Management,' Twelfth International Conference On Very Large Data Bases, Aug., 1986
  14. Morris Sloman, Network and Distributed Systems Management, Addison-Wesley, 1994
  15. Adrian. Tang et al. Open Networking with OSI, Prentice-Hall, 1992
  16. Divakara K. Udupa, Network Management Systems Essentials, McGraw-Hill, 1992
  17. ITU-T X.720|ISO DIS 10165-1 : 'Information Processing Systems-Open Systems Interconnection-Management Information Model,' Geneva
  18. ITU-T X.721IISO DIS 10165-2: 'Information Processing Systems-Open Systems Management Information Services-Structure of Management Information Part 2 : Definition of Management Information,' Geneva
  19. ITU-T X.722|ISO DIS 10165-4: 'Information Processing Systems-Open Systems Interconnection-Management Information Services - Structure of Management Information Part 4:Goidelines for the Description of Managed Objects,' Geneva
  20. ITU-T X.723|ISO DIS 10165-5: 'Information Processing Systems-Open Systems Interconnection-Management Information Services-Structure of Management Information Part 5 : Generic Management Information.'
  21. ITU- T X. 725 : 'Information Processing SystemsOpen Systems Interconnection-Structure of Information : General Relationship Model.'
  22. ITU-T X734|ISO DIS 10164-5: 'Information Technology-Open Systems Interconnection-System Management-Event Report Management Function.'
  23. ITU-T X.735|ISO DIS 10164-6: 'lnformation Technology-Open Systems Interconnection - System Management - Log Control Function.'
  24. ITU-T X.741|ISO DIS 10164-9: 'Information Technology-Open Systems Interconnection - System Management - Objects and Attributes for Access Control.'
  25. ITU-T X.746|ISO DIS 10164-15: 'Information Technology-Open Systems Interconnection-System Management-Scheduling Function.'
  26. 최은복, 이형효, 노봉남, '망관리 객체의 시간지원 능동특성에 대한 정형적 모델링', 정보처리학회 논문지 제6권 제9호