A Software Consistency Management Model using Operation History

연산 히스토리를 이용한 소프트웨어 일관성 관리 모델

Software documents consist of a number of logical objects and relationships between them, and a lot of versions are generated during software development. When an object is changed, it is desirable to easily identify the change and the range of change propagation for efficient software development and maintenance. However, it is difficult to identify it in a coarse-grained object management model. To solve this problem, fine-grained object management is required. In this paper, I propose a consistency management model for fine-grained software objects based on operation history applied to edit software objects. This paper presents a formal model for consistency management at the fine-grained level. Consistency between documents is managed using dependency between objects and kinds of the operations applied to the objects so that unnecessary change propagation can be avoided.

소프트웨어 문서는 논리적인 객체와 객체간의 관계로 이루어지며 개발 과정에서 여러 버전이 생성된다. 효율적인 소프트웨어 개발을 위해서는 소프트웨어 구성 요소에 변경이 일어났을 경우 변경의 내용과 변경이 전파되어야 할 범위를 쉽게 알 수 있어야 한다. 그러나 큰 단위 소프트웨어 객체 관리에서는 변경의 내용과 전파 범위를 알기 힘들다. 따라서 논리적인 객체와 객체간의 종속성을 관리하는 미세 단위 객체 관리가 필요하다. 본 논문에서는 소프트웨어 편집 과정에서 적용되는 연산 히스토리를 이용한 미세단위 소프트웨어 일관성 관리 모델을 제안하였다. 본 논문에서는 미세 단위 일관성 관리에 대한 정형적인 모델을 제시하였으며, 관성은 객체간의 종속성과 객체에 적용된 연산의 종류에 의해 관리되므로 불필요한 변경 전파를 피할 수 있다.