• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.649-661
• /
• 1998

객체지향 패러다임을 적용한 시스템으로 재개발한다면 재사용을 통한 소프트웨어 생산성 향상을 이룰 수 있고, 유지보수 비용을 절감할 수 있게 된다. 절차중심의 시스템을 객체지향 패러다임을 적용한 형태로 변환시킬 때 특히 코드에서 자동 혹은 반자동으로 객체를 추출하고자 하는 기법들이 많이 연구되고 있다. 그러나 이들 방법에서는 개념적인 객체의 추출이 용이하지 않다. 따라서 추출되는 객체의 개념적 무결성이 떨어지는 문제가 발생한다. 본 논문에서는 절차중심으로 개발된 프로그램을 객체지향 시스템으로 바꾸려고 할 때 발생되는 문제점중의 하나인 객체추출 방법 및 툴에 대해 논한다. 원시 코드 및 설계 복구 정보를 입력받은 후 먼저 실세계의 응용영역에 대한 객체 모델링을 이용하여 객체를 추출한다. 그리고, 코드의 기능, 코드의 전역변수 및 인터페이스를 분석하여 객체를 추출하므로써 객체의 개념적 무결성을 높이며, 클래스 계층구조의 구축을 용이하게 한다.

• 정보처리학회논문지D
• /
• 제15D권3호
• /
• pp.375-386
• /
• 2008

최근 정보시스템 개발 패러다임이 객체지향 및 컴포넌트 기반으로 변해가고 있으며 이러한 방법론이 소프트웨어 산업계를 주도하고 있다. 소프트웨어 비용측정 분야도 이러한 변화에 적응하기 위해서 OO 환경에 적합한 비용 측정 모델로의 전환이 요구되고 있으며 실제 UCP 기법 등 객체지향 개념의 기능점수 연구가 진행되고 있다. 특히 객체지향 기능점수 측정 기법은 사용사례 중심으로 개발 프로젝트 초기에 적용 가능하고, 개발 진행 단계별 소프트웨어 산출물에 따라 생명주기 전체에 걸쳐서 적용 가능하고, UML 표기법에 의한 사용자와 의사소통으로 이해가 항상 가능하기 때문에 LOC 및 기존 기능점수 측정 기법의 한계를 극복하는 장점이 있다. 따라서 본 논문은 최근 객체지향 정보시스템 개발 환경에서 널리 사용되고 있는 UML 표기법 및 국방 CBD 방법론 절차에 의한 정보시스템 개발 프로젝트 진행에 따라 초기단계 시점(ROFP)과 분석단계 시점(AOFP)에서 기능점수를 측정하며, 전통적인 FPA 모델과 객체지향 FPA 모델을 통해 UML 모델링과 산출물을 기반으로 한 유스케이스와 클래스의 상관도 분석에서 서비스 기능과 객체/클래스 기능을 식별하고 기능점수를 구하는 측정기법을 제안한다. 무엇보다 전통적인 기능점수 측정 기법인 IFPUG-CPM 및 소프트웨어 대가기준의 기능점수 측정기법을 개선하여 객체지향 정보시스템 개발에 적합한 기능점수 측정 프로세스를 제시하고 사례연구를 통한 적합성 평가 결과를 제시한다.

• 한국정보처리학회논문지
• /
• 제5권9호
• /
• pp.2312-2322
• /
• 1998

객체 지향 시스템의 통합 테스트를 위한 테스트 케이스는 Method/Message의 경로와 method의 실행에 따른 시스템의 상태를 포함하여야 한다. 이런 테스트 케이스를 추출하기 위해서는 원시 코드만으로는 부족하고 시스템의 동적 모델링 단계에서 사용되었던 시나리오를 이용하여야 한다. 그 이유는 시나리오를 이용할 경우 사용자가 시스템에 행할 수 있는 동작의 종속성 분석을 통하여 테스트 케이스의 수를 줄일 수 있기 때문이다. 본 논문에서는 시나리오를 객체 지향 시스템의 통합 테스트에 활용하는 방안에 대하여 연구하였다. 이 방안을 이용하면 객체간의 상호작용을 테스트하기 위한 테스트 케이스의 생과 테스트 결과의 비교를 컴퓨터를 이용하여 할 수 있고 테스트 케이스의 수도 줄일 수 있다.

• 한국정보처리학회논문지
• /
• 제6권12호
• /
• pp.3500-3513
• /
• 1999

객체지향 기법과 정형 기법은 미래의 소프트웨어 공학 분야에 지대한 영향을 미칠 잠재력을 가진 두 갈래의 큰 영역으로 인식되고 있다. 따라서 이 두 영역의 접목 "객체지향 기술을 이용한 시스템 명세의 정형적 접근"은 빠른 속도로 성장하고 있으며 많은 연구결과를 산출하고 있다. LOTOS는 객체 기반 접근에 매우 적절하나, 완전한 객체지향 접근 방법을 제공하기 위하여 일반화(상속과 다형성)를 모델링할 수 있어야 한다. 이러한 주제를 연구해온 대부분의 연구자들은 LOTOS을 확장을 제안하였다. 본 논문은 ISO 8807 LOTOS로의 변환에 관심을 두며, 이러한 연구 동향의 일환으로 UML 정적구조 다이아그램으로부터 LOTOS 명세를 생성하는 방법을 제안한다.

• 정보처리학회논문지D
• /
• 제8D권1호
• /
• pp.32-43
• /
• 2001

데이터 모델링 능력이 한정되고 뷰 갱신 모호성 문제에 기인하여, 관계형 뷰는 공학 응용에 제한적으로 사용되어 왔다. 반면에 객체지향 데이터베이스의 뷰는 관계형 뷰의 이 두 가지 단점을 극복하기 때문에, 공학 응용을 위한 맞춤 인터페이스를 정의하는데 중요한 역할을 할 것이다. 특히 공학 응용을 위한 데이터베이스 인터페이스는 갱신을 충분히 지원하여 한다. 좀더 자세히 말하면, 인터페이스에 대한 갱신이 모호성이 없이 정의되어야 하며 이 정의는 베이스 스키마에 대한 갱신 행동과 일치하여야 한다. 이를 위하여 객체지향 뷰가 베이스 데이터 모델과 같은 갱신 행동을 보이기 위한 제반 조건 - 갱신 의미 보존(update semantic preserving)-을 정의하였다. 그리고 이 갱신 의미 보존 특성의 실현 가능성을 보이기 위하여 CAD에 특화된 객체지향 뷰 시스템, 멀티 뷰(MultiView), 을 선정하여 그 시스템의 뷰 모델에 대한 갱신 의미 보존 갱신 행동을 정의하고 구체적인 구현 알고리즘을 제시하였다. 이 연구는 객체지향 데이터베이스에서 가장 클래스를 모았을 때 단순한 클래스의 모임이 아니라 isa계층을 갖는 '스키마'가 될 수 있게하기 위해서는 가상 클래스에 대한 갱신 의미가 클래스간 isa 관계를 위반해서는 안된다는 것을 발견하였다. 그리고 이의 충분조건으로 '뷰 스키마가 베이스 스키마처럼 보이도록'하는 가상 클래스의 갱신 의미와 가상 클래스간 스키마 형성 가능 조건을 발견하였다. 이는 객체 지향 데이터베이스에서 뷰를 클래스 수준에서 스키마 수준으로 정의하는 충분조건을 발견하고 구현한 최초의 논문이다.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1665-1680
• /
• 1997

다양한 응용 분야의 데이터베이스 설계시에 시스템 사용자와 설계자 간의 이해를 증진시키고 올바른 모델링을 위해 개체-관계 모델이 많이 사용되고 있다. 그렇지만 효과적인 구현을 위해 이 개체-관계 모델로 표현된 데이터베이스는 데이터 조작과 표현이 효율적인 객체지향 데이터베이스 모델로 변환되어야 한다. 이를 위해 개체-관계 모델의 모든 개념을 객체지향 모델의 개념으로 의미의 손실없이 변환시키는 방법이 연구되어야 한다. 이 논문은 일반화 상속과 집단화 상속의 개념을 도입하여 개체-관계 모델의 기능을 확장시켰고, 개체-관계 모델의 각 성분을 객체지향 데이터베이스 모델의 성분으로 변환시키는 규칙을 제시하고자 한다. 이 변환 규칙에서 역할에 따른 변환 기법을 제시하고, 이 제시된 변환 규칙을 이용하여 개체-관계 모델에서 객체지향 모델의 스키마로 의미의 손실 없이 변환됨을 예로써 보인다. 제안된 변환 기법은 데이터베이스 설계의 논리적 모델 설계에 활용될 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 한국정보통신학회논문지
• /
• 제3권2호
• /
• pp.373-382
• /
• 1999

상속성과 병행성은 병행 객체지향 언어에서 가장 주된 개념이며 특히 코드의 재사용에 있어서 매우 중요하다. 이들은 객체의 병행 수행을 통해 최대의 계산력과 모델링 능력을 제공한다. 하지만, 병행 객체와 상속성은 서로 상충되는 특성을 가지고 있으며, 이들의 동시 사용은 병행 객체들의 무결성을 유지하기 위해 상속된 메소드들의 코드 재정의를 요구하는 상속 변칙 문제를 발생시킨다. 본 논문에서는 상속 변칙의 해결을 위해 캡슐화된 객체의 내부 상태들이 객체의 외부 인터페이스의 한 부분으로 이용될 수 있는 상태 추상화 개념을 도입하였다. 또한, 메소드들을 효과적으로 상속할 수 있는 상속 인터페이스 메커니즘을 설계하였으며 이를 통해 전형적인 상속 변칙 문제를 해결하였다.

• 정보처리학회논문지C
• /
• 제11C권2호
• /
• pp.269-276
• /
• 2004

가입자 망에는 ADSL(Asymmetric Digital Subscriber Line), VDSL(Very high-bit rate Digital Subscriber Line), DOCSIS(Data Over Cable Service Interface Specifications) 등이 있으며, 다양한 형태가 있다. 다양한 종류의 접속방식과 이 기종의 장비를 이용하여 가입자에게 단일 형태의 초고속 인터넷 서비스를 제공하고 있다. 이러한 여러 가지 분산된 가입자 망을 효율적으로 관리하기 위해서는 다양한 형태의 접속방식을 지원하는 이 기종 장비 및 단말들의 상위 개념으로서 추상적이며 개념적인 객체 관리모델이 필요하다. 본 논문은 통합된 계층적 망 관리를 가능하게 하는 인터넷 가입자 망에 대한 모델링 구조를 RM-ODP를 이용하여 제시하였다. 그리고 가입자 망의 예로서 UML을 이용한 객체지향 방법론을 채택하여 DOCSIS의 HFC 가입자망에 대한 관리 시스템을 설계하고 구현하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권9호
• /
• pp.1095-1104
• /
• 1999

객체지향 시스템의 개발은 클래스를 통해서 이루어진다. 즉, 문제 영역에 존재하는 중요한 대상 또는 개념을 클래스로 모델링하고, 이로부터 생성된 객체들 사이의 메시지 교환을 통해서 시스템은 구축된다. 또한, 클래스는 정보 은닉을 제공함으로써, 객체지향 시스템의 재사용성과 유지보수성에 상당한 기여를 한다. 그러나, 설계 단계에서 실세계의 대상을 부적절하게 모델링하거나, 또는 유지보수 단계에서 클래스에 무분별한 변경을 가하는 경우 클래스의 품질은 악화될 수 있고, 이는 결국 시스템을 유지보수 하거나 확장하는데 상당한 장애를 초래한다.응집도는 모듈의 구성 요소들 사이의 연관성 정도를 나타내는 척도로서 전통적으로 모듈의 품질을 평가하기 위한 기준으로 사용되어 왔다. 이 논문에서는 클래스의 품질을 평가하는 방법으로서의 클래스 응집도를 제안한다. 즉, 클래스가 실세계의 대상을 적절하게 모델링한다면, 그 구성요소들 사이에 밀접한 관련이 있고 결국 높은 응집도를 가지게 될 것이다. 반대로 실세계의 대상에 대한 적절한 모델이 아니라면, 그 클래스의 구성 요소들 사이에는 밀접한 관련성이 없을 것이고 따라서 낮은 응집도를 보일 것이다.Abstract Object-oriented systems are developed by means of classes; that is, classes captures the essential entities or concepts in the problem domain, and the system is embodied by the interactions of objects instantiated from the classes. In addition to the basic units of object-oriented systems, classes serves as the units of encapsulation, which considerably promote the modifiability and the extensibility of them. However, improper modeling in the design phase or uncontrolled changes during the maintenance phase can degrade the quality of classes, which leads to systems cumbersome to maintain and extend.Cohesion refers to the degree of connectivity among the elements of a single module, and is being used as a factor which characterizes the quality of a module. In this paper, we propose a new cohesion metric for assessing the quality of classes. If a class captures properly the essential features of objects, the members of the class surely have strong relationship among them. On the contrary, the poor relationship among class members can indicate that the class is not a proper model of objects.