개발 방법론의 요구 사항 변경 관리를 개선하기 위한 프로세스 모델

구연설(Yeon-Seol Koo),정규장(Kyu-Jang Chung),신종철(Jong-Cheol Shin) 한국정보과학회 2003 정보과학회논문지 : 소프트웨어 및 응용 Vol.30 No.5·6

폭포수 모형을 기반으로 하는 구조적 개발 방법론에서는 요구 분석 단계에서 요구 사항들이 일단 명세화되고 나면, 이들은 단지 후속의 개발 단계를 위한 중간 산출물로만 사용되고 더 이상 요구 사항 자체를 관리 대상으로 취급하지 않기 때문에 설계 단계 이후에 발생하는 요구 사항의 변경을 관리할 수 있는 절차가 미흡하다. 그러나 현실적으로는 정보 기술의 발전, 시장 환경이나 적용 환경의 변화 등으로 인하여 개발 기간 중 요구 사항은 끊임없이 변화하게 된다. 따라서 이러한 요구 사항의 지속적인 변경을 지원하기 위해서는 전체 개발 생명 주기에 걸쳐 요구 사항을 관리하고 특히 설계 단계 이후의 요구 사항 변경을 지원할 수 있는 요구 사항 변경 관리 프로세스가 필요하다. 이 논문에서는 하향식(top-down)의 구조적 개발 방법론에 적용할 수 있는 요구 사항 변경 관리 프로세스 모델을 제안하여 설계 단계 이후에 발생하는 요구 사항의 변경을 체계적으로 관리하고 요구 사항 자체를 모든 개발 생명 주기에서 활용하기 위한 방안을 제시한다. 제안 프로세스는 마르미 방법론의 개발 프로세스와 산출물 측면의 적용 검토를 통하여 개발 방법론의 요구 사항 변경 및 관리에 대한 개선 효과를 평가한다. In conventional development methodologies, requirements are considered to be not changing after analysis phase, and requirements specifications are used for the next step system design purpose. But in the real world, requirements can be changed and modified throughout the development life cycle according to end-user's more understanding about the target system, new IT technologies, changes of customer environment and market situation, and so on. So there needs a requirements change management process that can extend requirements management over the entire development life cycle and can support managing changes to the requirements after design phase. In this paper, a requirements change management process that can be integrated intoconventional development methodologies is proposed to support the extension of requirements life cycle and managing changes to the requirements after design phase. This process was evaluated through an verification test with a widely used development methodology 'MaRMI'

스키마가 없는 XML 문서에서의 재사용 가능한 XML Schema 추출 기법

조정길,구연설,Cho, Jung-Gil,Koo, Yeon-Seol 한국정보처리학회 2003 정보처리학회논문지D Vol.10 No.4

웹의 발전으로 인터넷상에 XML 문서의 양이 증가하면서 클라이언트에서 수신된 XML 데이터를 검증하고 데이터베이스에 효율적으로 저장하고 질의하는데 필요한 많은 연구들이 진행되고 있다. 이러한 작업들을 처리하기 위해서는 XML 문서의 DTD나 XML Schema가 필요하다. 그러나 스키마가 없는 XML 문서는 DTD나 XML Schema가 없기 때문에 이러한 작업들을 처리할 수가 없다. 이에 이 논문에서는 well-formed XML 문서이거나 XML Schema가 없는 XML 문서에서 XML 데이터를 검증하고 데이터베이스에 효율적으로 저장하고 질의할 수 있도록 XML Schema론 추출한다. 이 논문에서 제안하는 XML Schema 추출 방법은 반구조적 데이터의 스키마 추출 기법인 데이터가이드와 시뮬레이션을 적용하여 스키마가 없는 XML 문서에서 스키마 그래프를 추출한다. 그리고 스키마 그래프와 재사용성을 고려한 패턴 테이블을 이용하여 XML Schema를 추출하는 기법을 제안한다. According to development of Web, an amount of XML documents has been increasing. So, many researches are proceeding to verify XML data coming from clients and to store or query efficiently database. In order to verify, store and query, DTD or XML Schema of XML documents is necessary. However, Schemaless XML documents couldn't be operated since they do not have either DTD or in Schema. In this paper, we extract XML schema in order to verify XML data and store or query efficiently database from either well-formed XML or XML Schemaless documents. XML Schema extracting technique which is proposed in this paper extract Schema graph using simulation and dataguide that is a extracting technique for semistructured characteristics of XML data. Also, we propose extracting technique for XML Schema using pattern tables that are considerated with Schema graph and reusability.

Design/CPN을 이용한 객체지향 소프트웨어 상호작용 테스트 기법

이인혁,구연설,Li, Ren-Ge,Koo, Yeon-Seol 한국정보처리학회 2004 정보처리학회논문지D Vol.11 No.3

객체지향 시스템은 상호 작용하늘 객체들의 집합으로 구성되었고 시스템의 행위는 객체들의 협력 행위로 표현된다. 객체지향 소프트웨어의 상속성, 다형성 등 특성들은 소프트웨어 테스팅에 어려움을 증가시키고 객체의 병행성, 동적바인딩, 상호작용 등 동적인 면들은 프로그램의 실행 시간에 한 멤버 함수의 호출에 의해 여러 멤버함수로 바인딩될 수 있다. 그러므로 객체지향 소프트웨어의 특성들을 고려하고 동시에 객체들간의 상호착용을 테스트하기 위한 연구가 필요하다 이 논문에서 상속성, 다형성 등 특성을 고려하여 평탄화된(Flattened) 상태차트 다이어그램을 구성하고, 시스템 모델링과 시뮬레이션에 전형적으로 사용되는 CPN(Colored Petri net)으로 모델링 한 후 Design/CPN 툴에 적용하여 객체지향 소프트웨어 객체들간의 상호작용 테스트를 자동화할 수 있는 테스트 레이스 생성 기법을 제안한다. An object-oriented system is organized by a set of interacting objects and the system behavior is represented by the cooperating interaction bet ween objects. The characteristics of object-oriented software. such as inheritance and polymorphism, increase the difficulty of the object-oriented software testing. At running time of a program, one call from a member function can bind to other member functions because of the dynamic characteristics such as concurrence, dynamic binding and interaction. Therefore, there need the research about considering the characteristics of object-oriented software and concurrently testing the interaction between objects. In this paper, we propose the techniques as follows. First, we construct a flattened state chart diagram by considering the inheritance and polymorphism. Next, we model the system with CPN(Colored Petri Net) that usually is applying the system modeling and simulation. Last, we propose a test case generation techniques for testing the interaction between objects in object-oriented software by applying a Design/CPN tool.

N - 버젼 프로그래밍의 신뢰도 모델링에 관한 연구

이창석(Lee Chang Seok),구연설(Koo Yeon Seol) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1

본 논문에서는 소프트웨어 결함 허용을 달성하기 위한 기법인 N-버젼 프로그래밍 개념과 그의 투표 전략에 대하여 고찰하여 실패의 과정을 분석하여 n-버젼 프로그래밍 시스템을 구성하고 있는 소프트웨어의 버젼 수가 증가할 경우 이 시스템을 구성하고 있는 각 버젼들의 고정된 실패율이 아주 작은 경우에 적용할 수 있는 특수한 경우에 적용 가능한 NVP 신뢰도 모델을 제시한다. 또한 제시된 모델의 수치적 예를 통하여 다수 투표 전략 하에서 NVP 시스템 성능을 향상시키기 위해서는 NVP 시스템을 구성하는 각 버젼의 신뢰도가 일정한 한계값보다 커야 하고, 이 경우에 한하여 버젼이 추가되면 될수록 NVP 시스템의 신뢰도는 증가하며, 버젼의 예상 실패 수가 작을 때 이 모델은 이항 분포에 접근함을 보인다.

공동작업환경을 위한 그룹통신관리방식 설계

궁상환(Kung Sang Hwan),구연설(Koo Yeon Seol) 한국정보처리학회 1996 정보처리학회논문지 Vol.3 No.1

Advanced countries are very active in deploying the National Information Infrastructure which provides universal service to promise fruitful quality of future life. Even in the distributed environment, we can closely converse, work together, and share information in a very convenient way. This is actually enabled with the help of groupware technology, which are currently focused and researched in a larger popularity. The aim of this study is to design a portable pack for group communications management to support the development of groupware applications. In the paper we begin with technical survey, continue to build our own model for group communication management, and design its architecture and procedure. We also suggest group addressing mechanism under Internet environment such as how to create IP multicast address and IP port number dynamically and as a globally unique value for the communication session, with the help of the hierarchical and distributed address managers. We also indicate the reliable data transmission services to remedy the unreliable feature of the UDP multicast services, and finally the architecture applied to support the practical applications is briefly discussed for verification of the designed concept.

소프트웨어 재사용을 위한 검색 모델의 설계 및 구현에 관한 연구

진광화(Kwang Hwa Jin),구연설(Yeon Seol Koo) 대한전자공학회 1992 대한전자공학회 학술대회 Vol.1992 No.6

객체 지향 프로그램에서 클래스 재사용성 측정 모델링

윤희환(Yoon Hee Whan),구연설(Koo Yeon Seol) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.3

The reuse of software components from existing software system enhances productivity and reliability, decrease the cost of production in software development. The extraction of software components with high reusability from existing software system is very important in software reuse. The reuse of a class is classified into white-box reuse to reuse with modification and black-box reuse to reuse without modification. A class has the property of procedural language and object-oriented language. Therefore, it must measure reusability in consideration of two properties. In black-box reuse, independence of class is important quality. It can quantify through information hiding, coupling between objects, cohesion, etc. In white-box reuse, modification is the best important quality. It can quantify through class complexity, coupling, cohesion, documentation, etc. We propose a new model for measurement of class reusability and the measure criteria in object-oriented program. A class that is measured by proposed model can judge whether the reuse with modification has the advantage or the reuse without modification has the advantage.

구조적 분류 기법을 기반으로 한 정보 시각화 시스템 설계 및 구현

김영란(Young Ran Kim),구연설(Yeon Seol Koo) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.12

While the method of information collection and visual interface technique have been researched actively on web information retrieval, a study on structured modeling for effective classification of a wide collective information leavers to be desired. In this paper, we represent information feature based on structured information model. It aims at carrying out effectively the user's retrieval environment through visualization technique with analyzing the information feature. We propose a information classification method using Facet units and we construct the object model, table model, SQL code to define the relation of the information, and represent the information feature based on a wide range of views. After users gain a better global understanding of the information feature, retrieve more easily through their information. Conventional information retrieval is user-oriented to be what user want, but proposed technique is data-oriented which helps users to understand what exist in database by showing information feature.

대수적 명세 기법을 이용한 정형화된 객체 지향 명세서 시스템 구현

김영란(Young-Ran Kim),구연설(Yeon-Seol Koo) 한국정보과학회 1996 정보과학회 컴퓨팅의 실제 논문지 Vol.2 No.4

본 논문에서는 객체 지향 분석 기법에 사용되는 객체 지향 자료흐름도의 시맨틱스를 정형화하는 방법을 제안한다. 정형화 방안은 두단계로 구성하였다. 자료 흐름간의 관련성 의미를 정형화하기 위해 조합 논리 개념을 반영한 자료 흐름도를 수학적 개념이 포함된 Petri Net로 변환한 후, Petri Net의 그래픽 표현을 추상화 개념이 가장 효율적으로 반영되는 대수적 명세서 기법의 sorts와 function으로 매핑시킨다. 객체 지향 소프트웨어의 특성을 정형화된 기법으로 명세화함으로써 소프트웨어 기능에 대한 확장성 및 재사용성이 향상되고, 사용자의 빈번한 요구사항 변경에 신속히 대처함으로써 소프트웨어의 생산성을 향상 시킨다. In this paper, we propose a mechanism for constructing the formal semantics of object-oriented DFD on object-oriented analysis. The method consist of two steps. In the first phase, the object-oriented DFD with the combinational logic will be translated into the graphics of Petri Net. Mathematical representations of Petri Net provide the theoretical basic and formality for analyzing specification. In the second phase, the Petri Net are mapped to the sorts and functions of an algebraic specification concept. The one-to-one mapping between the graphics and symbolic representations ensures consistency and traceability. This study which increased the formalism of the object-oriented software specification, provides the facilities to extend functionality of specification and will be improve software productivity by interactive treatment of user's requirement changes.

객체지향 설계를 위한 상태기반의 호제어 도메인 분석

김한경(Han-kyoung Kim),구연설(Yeon-seol Koo) 한국정보과학회 1996 정보과학회 컴퓨팅의 실제 논문지 Vol.2 No.2

본 논문에서는 교환기의 호제어 분야를 도메인으로 분류하고 그것을 분석하는 기법을 제시함으로써 주어진 소프트웨어 구조에 적합한 시스템 상수(invariants)를 추출하여 요구사항의 검증이 가능한가를 검토한다. 소프트웨어 요구사항은 시스템의 상태와 이벤트를 통하여 기술이 가능하다. 이벤트는 각 상태에서 조건 값의 변화로 기동이 되는데 이 이벤트의 발생에 따른 시스템의 동작을 시나리오로 정의한다. 조건들은 시스템 상수가 포함되는 일련의 충족 검사(safety assertions)로 활용될 수 있다. 이 시스템 상수 객체는 시스템의 실현 시에 소프트웨어의 구조에 많은 영향을 받는다. 본 분석 기법의 적용을 가능하게 하는 호제어 소프트웨어 시스템 구조를 제시하고, 주어진 구조하에서 객체지향 설계가 이루어지게 한다. In this paper, suggesting the classification and analyzing methodology of call control domains in switching system, it is reviewed on the verification of requirement specification with the system invariants which may be extracted properly according to the software system architecture. The software requirement specification could be described with states and events. The event can be triggered by the change of conditions in a certain state, and system behaviors may be defined as scenarios according to the event. The conditions can be used as safety assertions which include system invariants. The system invariants can be affected from software architecture in the phase of implementation With this analysis technique and the suggested software architecture, we can design a call control software of switching system with object-oriented concepts.