분산시스템을 위한 객체지향 소프트웨어 개발에서 요구사양에 대한 검증 방법

염근혁(Keunhyuk Yeom) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.1A

분산처리 시스템을 위한 소프트웨어 개발은 효율적인 방법론과 툴의 부족으로 인해 도전적인 일이다. 특히 소스코드에 많은 에러들이 요구사양의 에러에서 기인하기 때문에 분석단계에서 효과적인 검증방법을 가지는 것은 중요하다. 본 논문에서는 분산처리 시스템을 위한 소프트웨어 개발에서 객체지향 요구사양을 검증하는 방법에 대하여 논하겠다. 객체지향개념이 형식 상태변이 사양으로 두 개의 어느 이점도 손상됨이 없이 통합되어진 형식 객체지향 요구사양언어가 개발되었다. 또한 누구나 쓸 수 있는 그래픽 표기가 소프트웨어 개발과정에서 형식방법과 결합하기 위하여 소개되어 진다. 본 방법에서 객체지향분석에 의하여 생성된 요구사양은 후에 그래픽 표기로 변환되는 형식사양언어를 사용하여 표현된다. 그 후 그래픽 표기로 나타내어지는 요구사양의 완결성과 일치성이 원래 요구문장과 비교됨으로써 검증되어 진다.

객체지향분석으로부터 형식 객체지향 요구사양의 생성 방법

염근혁(Keunhyuk Yeom) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.1A

지속적으로 많은 연구가 구조적 분석과 형식기술들을 통합하는데 행하여지고 있다. 본 논문에서는 Rumbaugh 방법에 의하여 쓰여진 객체지향분석으로부터 형식 객체지향 사양을 생성하는 방법에 대하여 논한다. Rumbaugh 방법의 객체모델링과 동적모델링 단계는 요구사양구조를 정의하며, 이 모델들이 형식사양으로 변형된다. 형식 소프트웨어 요구사양은 소프트웨어 개발과정에서 정확하고 명백한 사양들을 생성하는 이점을 가지고 있다.

객체지향 소프트웨어 개발에서 요구사양에 대한 검증방법

염근혁(Keunhyuk Yeom) 한국정보과학회 1998 정보과학회논문지(B) Vol.25 No.5

객체지향 소프트웨어 개발은 효율적인 방법론과 툴의 부족으로 인해 도전적인 일이다. 특히 소스코드에 많은 에러들이 요구사양의 에러에서 기인하기 때문에 분석단계에서 효과적인 검증방법을 가지는 것은 중요하다. 본 논문에서는 객체지향 소프트웨어 개발에서 요구사양을 검증하는 방법에 대하여 논한다. 객체지향 개념과 형식 상태변이 사양 어느 쪽의 이점도 손상됨이 없이 통합되어진 형식 객체지향 요구사양언어가 개발되며, 누구나 쓸 수 있는 그래픽 표기가 소프트웨어 개발과정에서 형식방법과 결합하기 위하여 만들어 졌다. 본 방법에서 객체지향분석에 의하여 생성된 요구사양은 형식사양언어를 사용하여 표현되며, 후에 그래픽 표기로 변환된다. 마지막으로, 그래픽 표기로 나타내어지는 요구사양이 원래 요구문장과 비교됨으로써 요구사양의 완결성과 일치성을 검증한다. Developing software using object-oriented concepts is challenging due to a lack of effective methodologies and tools. In particular, because many errors in the source code can be traced to errors in the requirements specification, it is especially important to have effective verification techniques for this crucial stage. In this paper, a verification method to object-oriented requirements specification (OORS) in software development is presented. A formal object-oriented requirements specification language is developed in which the object -oriented concepts have been integrated to the formal state transition specification without sacrificing the advantages of either. User-friendly graphical notations are introduced to incorporate formal methods in the software development process. In this method, the requirements specification generated by object-oriented analysis is described using a formal specification language, which is transformed into graphical notations. Then, the completeness and consistency of the requirements specification expressed in terms of the graphical notations is verified by comparing it with the original requirements statement.

컴포넌트 기반 소프트웨어 개발을 위한 도메인 아키텍쳐 설계

하현주(Hyun-Ju Ha),염근혁(Keunhyuk Yeom) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.2Ⅰ

CBD(Component-Based Development)는 이미 존재하는 소프트웨어 컴포넌트를 조립함으로써 시스템을 개발하는 방법이다. 컴포넌트를 이용하여 시스템을 개발하는 것은 개발시간과 비용을 줄이고, 생산성을 향상시키는 등 여러 가지 장점을 가진다. 그러나 여러 벤더에 의해 개발된 컴포넌트를 조립하는 것은 쉬운 일이 아니다. 이를 위해 컴포넌트가 어떤 문맥에서 사용되는 지 이해하는 것이 필요하며 이 문맥은 아키텍쳐에 의해 결정된다. 따라서 본 논문에서는 컴포넌트 기반 개발을 위한 도메인 아키텍쳐를 제안한다. 도메인 아키텍쳐는 도메인을 구성하는 컴포넌트와 그들간의 관계에 대한 정보를 제공함으로써, 어플리케이션 개발을 쉽게 한다. 또한 도메인 아키텍쳐는 관련된 여러 시스템을 위한 아키텍쳐이므로, 도메인 아키텍쳐 상의 컴포넌트는 재사용성이 높다.

객체 지향 소프트웨어 개발을 위한 품질 보증 시스템 프레임워크

정안나(An Na Cheong),염근혁(Keunhyuk Yeom) 한국정보과학회 1998 정보과학회논문지(B) Vol.25 No.12

객체 지향 소프트웨어의 개발은 기존의 개발 방법론과 많은 차이점을 가지고 있기 때문에, 객체 지향 소프트웨어 개발에 있어서의 품질 보증도 기존의 방식과 많은 차이점을 내포하고 있다. 또한 품질 보증을 수행함에 있어서 산출물이 중심이 되는 경우 산출물의 오류는 검출할 수 있으나 산출물의 오류를 발생시키는 원인을 추적하기가 어렵다. 즉, 해당 오류를 생성시키는 것은 산출물에 의하여 야기되기보다는 공정에서 나타나는 오류에 의한 경우가 많으므로 바른 공정을 유도하는 지침을 필요로 하게 되었다. 본 연구에서는 객체 지향 소프트웨어 개발시 각 공성에 대한 품질 보증 시스템을 제시하여 개발 공정에서 발생되는 문제들을 해결하고 개발 공정의 효율을 향상시키고자 한다. There are many differences between object-oriented software development methodology and other development methodologies. Also, the quality assurance of object-oriented software has many differences from others. Hence, we need a new method to assure the software quality. The quality assurance for products has been measured by quality standards in many industries. But software product is made by human beings and it is more fragile by faults made by human beings rather than faults generated by machines or other environments. And the fault made by process can be pursued not by investigation on product, but by investigation on process. Therefore, we need to assure the quality of process, which has an effect on the quality of products. We investigated the quality assurance for object oriented software development process and intend to fix the fault of process to improve the quality of software.

클라우드 서비스 브로커를 위한 소프트웨어의 서비스 수준 합의 명세 모델과 중개 방법

남태우(Taewoo Nam),염근혁(Keunhyuk Yeom) 한국정보과학회 2015 정보과학회논문지 Vol.42 No.5

SLA(Service Level Agreement)는 클라우드 컴퓨팅 서비스를 제공하는 사업자가 이용자에게 신뢰성 있고 일관된 품질을 제공하기 위해서 반드시 보장해야 하는 요소이며 특히 클라우드 서비스 브로커리지를 이용해서 서비스를 중개하는 환경에서는 SLA를 통한 서비스 사업자와 고객 간의 계약이 중요하다. 클라우드 컴퓨팅은 다양한 클라우드 서비스의 IT 자원에 따라 IaaS, PaaS, SaaS 등으로 구분되는데 기존의 SLA는 물리적인 네트워크 환경에 대한 요소만 고려하거나 명세에 대한 방법론적인 접근이 없어서 SaaS를 기반으로 제공되는 소프트웨어 서비스의 품질 요소를 반영하기 어렵다. 본 연구를 통해 SaaS 환경에 적합한 SLA 제공을 위해 소프트웨어적인 품질 특성을 명세할 수 있는 방법을 제시하고 SLA 명세를 서비스 제공자와 소비자 간에 교환할 수 있는 메커니즘과 구조를 제안하였다. SaaS 레벨에서의 SLA 명세를 위한 메타모델을 정의하였고 SaaS의 품질 요구사항은 제안한 명세 언어로 기술될 수 있으며, 사례연구를 통해 다양한 소프트웨어적인 품질 요소가 제안한 명세 언어로 표현됨을 검증하였다. SLA 명세는 이를 교환하기 위한 UDDI 기반의 중개 프로세스 및 아키텍처를 이용하여 품질 명세 저장소에 저장되며 교환 아키텍처를 기반으로 서비스 바인딩 시 교환된다. SLA (Service Level Agreement) is an essential factor that must be guaranteed to provide a reliable and consistent service to user in cloud computing environment. Especially, a contract between user and service provider with SLA is important in an environment using a cloud service brokerage. The cloud computing is classified into IaaS, PaaS, and SaaS according to IT resources of the various cloud service. The existing SLA is difficult to reflect the quality factors of service, because it only considers factors about the physical Network environment and have no methodological approach. In this paper, we suggested a method to specify the quality characteristics of software and proposed a mechanism and structure that can exchange SLA specification between the service provider and consumer. We defined a meta-model for the SLA specification in the SaaS level, and quality requirements of the SaaS were described by the proposed specification language. Through case studies, we verified proposed specification language that can present a variety of software quality factors. By using the UDDI-based mediation process and architecture to interchange this specification, it is stored in the repository of quality specifications and exchanged during service binding time.

UML 분석 모델의 구조적 제약사항에 대한 OCL 기반의 명세 및 검증

채흥석(Heung Seok Chae),염근혁(Keunhyuk Yeom) 한국정보과학회 2006 정보과학회논문지 : 소프트웨어 및 응용 Vol.33 No.2

분석 모델은 오직 시스템의 기능적 요구사항에 초점을 두며, 비 기능적인 요구사항과 구현과 관련된 이슈들은 이후의 설계 작업이 착수될 때까지 미루어진다. 설계 활동은 분석 모델을 상세화하고 명확하게 하는 방식으로 수행된다. 따라서, 분석 모델의 품질은 설계 모델에 지대한 영향을 미친다. 그러므로, 정확한 분석 모델을 구축하기 위하여 많은 노력을 기울여야 한다. 본 논문에서는 전형적인 객체지향 개발 방법론의 분석 모델이 항상 충족해야 하는 구조적 제약 사항을 제안한다. 제약 사항은 개별 클래스에 관한 제약사항, 클래스 간의 관계에 대한 제약 사항과 클래스의 사용에 대한 제약사항으로 분류된다. 각 제약사항 별로 정형적인 정의와 OCL을 이용한 기술이 제공된다. 또한, 2개의 산업체 프로젝트를 대상으로 수행된 사례 연구를 통하여 제안된 기법이 객체지향 분석 모델에 존재하는 심각한 오류를 발견하고 이를 수정하는 데 도움을 줄 수 있음을 보여 준다. Analysis model focuses only on functional requirements and postpones nonfunctional requirements and implementation specific issues until subsequent design activities are undertaken. Based on the analysis models, the design activities are performed by refining and clarifying the analysis models. Thus, the quality of analysis models has a vast impact on the design models. Therefore, much effort should be taken to build correct analysis model. In this paper, we propose a set of structural constraints that analysis models of typical object-oriented development methods should satisfy. Three kinds of constraints are proposed: class related constraints, relation related constraints, and usage related constraints. For each constraint, formal definition and description with OCL are provided. In addition, through a case study with two medium-sized industrial systems, we demonstrated that the proposed approach can help to identify and correct serious deficiencies in object-oriented analysis models.

분산 컴포넌트 기반의 소프트웨어 분석 및 설계 방법

최유희(YouHee Choi),염근혁(Keunhyuk Yeom) 한국정보과학회 2001 정보과학회논문지 : 소프트웨어 및 응용 Vol.28 No.12

현재 새롭게 개발되는 소프트웨어는 50% 이상이 분산 플랫폼에서 개발되고 있다. 또한 분산 컴포넌트 기반의 소프트웨어 개발을 가능하게 하는 EJB(Enterprise Java Beans)[1], COM(Component Object Model)[2], CORBA(Common Object Request Broker Architecture)[3]와 같은 기술이 급격히 발전하고 있다. 따라서 분산 플랫폼 상에서 컴포넌트 기반의 응용 소프트웨어 개발을 위한 체계적인 개발 프로세스가 요구된다. 그러나 현재의 일반적인 컴포넌트 기반 소프트웨어 개발 방법론은 각 작업들간의 관계와 각 작업의 산출물간의 관계를 명확히 제시하지 않는다. 또한 분산 응용 소프트웨어 개발에 있어서 고려되어야 할 분산 이슈에 대해서도 체계적으로 다루지 않고 있다. 본 논문에서는 분산 컴포넌트 기반의 응용 소프트웨어 개발을 위한 분석 및 설계 방법을 제시한다. 본 논문에서 제시하는 방법에서는 UML 기반의 프로세스인 Unified process를 바탕으로 하여 체계적인 개발 지침과 산출물의 관계를 제시한다. 또한 플랫폼과 프로그래밍 언어에 독립적인 CORBA 환경을 고려하여 성능, 결함 방지, 안전성, 분산 트랜잭션의 분산 이슈를 명시적으로 다루는 지침을 제시한다. Recently, above 50 percentages of software are being developed based on distributed application platforms. And recent technologies such as EJB(Enterprise Java Beans)[1], COM(Component Object Model)[2], CORBA(Common Object Request Broker Architecture)[3] have been advanced for distributed component-based software development. Therefore, a systematic development process is necessary to develop component-based applications using distributed application platforms. However, most of component-based software development processes do not define concrete flows between tasks and relationships among artifacts of each task. Also, distribution issues are not considered explicitly in most of component-based software development. In this paper, we present an approach to analyze and design software based on distributed components. In this approach, we propose systematic guidelines for developing a software based on Unified process and the relationships among artifacts which are produced. Also, we explicitly consider the distribution issues such as performance, fault tolerance, security, distributed transaction on CORBA environments.

PCS 정보단말기에서의 효과적인 윈도우 관리를 위한 방법

최희석(Hee Seok Choi),염근혁(Keunhyuk Yeom) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅲ

GUI 환경에서 작업에 필요한 여러 윈도우를 작은 화면에 동시에 나타내기 위하여 많은 윈도우 시스템이 오버래핑 윈도우 관리 전략을 채택하고 있다. 하지만 개별 윈도우를 독립적으로 다룸으로써 작업 전환시 개별 윈도우 단위의 정렬을 하여야 하는 등의 불필요한 작업을 수행하게 된다. 특히 본 연구의 목표 기종인 PCS 정보단말기는 320*240 크기의 소형 디스플레이 장치를 가지고 있기 때문에, 가시적인 작업 단위의 윈도우 그룹에 대한 빈번한 변경을 다루는 데 부적합하다. 따라서 본 논문에서는 작업 단위로 윈도우를 그룹화하는 방식으로 윈도우를 관리함으로써 보다 효율적으로 작업 전환을 수행하는 방법을 제안하고, 성능 평가를 통하여 제시된 방법의 효율성을 보여준다.

아키텍쳐 기반 소프트웨어 개발을 지원하는 효과적인 소프트웨어 아키텍쳐 평가 방법

최희석(Heeseok Choi),염근혁(Keunhyuk Yeom) 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.5·6

소프트웨어 아키텍쳐는 소프트웨어 개발에 참여하는 사람들간의 원활한 의사 소통과 시스템 설계 결정에 대한 합리적 판단을 가능하게 하는 상위 수준의 시스템 추상화이다. 이러한 소프트웨어 아키텍쳐에 대한 평가는 소프트웨어에 요구되는 품질을 소프트웨어 개발 전에 미리 예측하거나, 고품질 소프트웨어를 개발하는데 적합한 아키텍쳐의 선택 및 향상을 가능하게 한다. 그러나 현재의 아키텍쳐 평가 방법은 아키텍쳐 평가의 초기 입력물에 대한 정의가 미흡하고, 평가 과정이 주관적인 프로세스에 많이 의존하거나 혹은 체계적인 프로세스를 정의하고 있지 않다. 뿐만 아니라 아키텍쳐 평가 정보들의 표현에 대한 고려가 부족하다. 본 논문에서 제안하는 방법은 아키텍쳐 평가의 주요 입력물인 요구사항을 기능적 요구사항과 비기능적 요구사항으로 분리하여 다루고, 소프트웨어 아키텍쳐는 UML을 이용한 “4+1” 뷰 아키텍쳐 모델을 바탕으로 명확하게 정의한다. 이를 통하여 아키텍쳐 평가의 목표 및 평가 범위, 평가 대상을 분명하게 결정한다. 그리고 아키텍쳐 평가의 중요 정보들인 부분 설계, 설계 결정, 근거 데이타, 품질 등의 정보를 단계적으로 결정하기 위한 체계적이고 객관적인 프로세스를 제시한다. 또한 평가 결과에 있어서는 아키텍쳐 평가 과정에서 결정된 정보들을 구조화된 형태로 나타냄으로써 품질 예측 및 아키텍쳐의 향상과 선택이 가능하도록 돕는다. Software architecture representing a common high-level abstraction of a system can be used as a basis for creating mutual understanding among all stakeholders of the system. In determining a software architecture's fitness with respect to its desired qualities as well as in improving a software architecture, software architecture evaluation is importantly performed. However most of architecture evaluation methods are not still sufficient in that they do not explicitly consider artifacts discussed during architecture evaluation and their processes are not systematic. As a result, we are hard to follow them. To address these problems, this paper presents the method to evaluate systematically a software architecture with respect to its desired qualities. In this approach, the functional and non-functional requirements are separately handled, and software architecture is represented in the 4+1 view model using UML. Through this initial consideration, the important artifacts such as goals, scope, and target of evaluation are clearly determined. Also, the method provides the well defined process to produce the important evaluation artifacts such as sub-designs, design decisions, rationale, qualities from inputs. In addition, it enables us to determine satisfaction of a architecture with respect its desired qualities or improve a architecture through the structured evaluation results.