본 논문에서는 이산수학에서 많이 다루고 있는 Galois-격자를 이용하여 객체지향 분석 모델을 구축하고 이를 유지 보수하기 위한 방법들을 제시하고, 예를 통해 객체 지향분석 모델을 구축하는 것에 대해 분석하였다. 클래스 객체들과 그들 사이에 형성 된 속성을 이항관계로 표현한 Galois-격자를 이용하여 관계(relation)를 정립하고, 분 석단계의 클래스 계층구조에 새로운 클래스 노드를 추가할 때마다 Galois-격자구조를 점증적으로 갱신하는 알고리즘을 제안하였다. 이러한 제안은 실험을 통하여 새로운 클 래스 노드의 추가는 일정한 시간내에 수행됨을 알았으며, 격자구조의 성장 속도는 클 래스 노드수와 비례하며, 클래스 노드에 관련된 속성의 수가 상한치를 갖을 때 알고리 즘의 최악경우 복잡도는 객체수에 따라 선형적으로 증가함을 보였다. 이 결과는 객체 지향 분석 모델의 이해도와 모델의 유지수하는 추적도를 높이고, 객체지향 시스템의 장점인 클래스의 재사용 가능성을 향상시키고 클래스 계층 유지보수를 실질적으로 지 원한다.
This paper describes and constructs object-oriented analysis models using Galois-lattices that we are always studying in discrete mathematics, shows fundamental approaches to maintain the models, analyzes the construction of object-oriented analysis models through good examples. Also, we define several properties of Galois-lattices that have binary relations between class objects, propose the incremental updating algorithms that can update the Galois-lattice whenever new classes are added. This proposal shows that in case of adding new class nodes the results from simulations can implement in constant time and have linearly the incremental structures in worst cases, and in that the growth rate of lattices is proportioned to class nodes in time complexity. This results can achieve the high understandability of object-oriented analysis models and the high traceability of maintenance models. Furthermore it is possible to make more efficient performances of class reusability in advantages of object-oriented systems and support truly the class hierarchical maintenances.
