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

염근혁(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.

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.

소프트웨어 프로덕트 라인에서 가변성 분석을 통한 도메인 아키텍처 개발 방법

문미경(Mikyeong Moon),염근혁(Keunhyuk Yeom) 한국정보과학회 2007 정보과학회논문지 : 소프트웨어 및 응용 Vol.34 No.4

소프트웨어 프로덕트 라인을 구축하고자 할 때, 첫 단계 활동은 도메인 분석을 통해 요구사항들에서 가변성을 식별하는 것이고, 다음 단계는 일련의 관련된 프로덕트들의 전체적인 구조를 나타내는 도메인 아키텍처를 개발하는 것이다. 도메인 아키텍처는 소프트웨어 프로덕트 라인에 포함되어 있는 프로덕트들의 공통성과 가변성을 기술함으로써 프로덕트 라인의 핵심자산이 된다. 핵심자산의 가변성은 개발 프로세스가 진행됨에 따라 식별될 수 있는 가변 요소의 종류와 상세화 수준이 달라지기 때문에 아키텍처 수준에서 식별될 수 있는 가변성을 정의하고 이를 체계적으로 식별하여 아키텍처 모델에 명시적으로 표현하는 것이 중요하다. 아키텍처 수준에서 고려해야 하는 가변성은 아키텍처 구성 요소들에서 발생하는 가변성뿐만 아니라 이들의 구성(configuration) 관계를 나타내는 모델에서 나타나는 가변성들까지 고려해야 하기때문에, 이들 사이의 복잡한 관계를 이해하고 표현하는 것은 매우 힘든 일이며 이에 대한 기존 연구가 부족한 실정이다. 본 논문에서는 공통성과 가변성이 명시적으로 고려되는 프로덕트 라인의 핵심 자산으로서 도메인 아키텍처를 개발하는 방법을 제시한다. 이를 위해, 최근 Object Management Group(OMG)에서 채택한 재사용 자산 명세(Reusable Asset Specification; RAS) 모델을 확장하여 공통성과 가변성 개념이 명확히 정의된 도메인 아키텍처 메타모델을 제시한다. 제시되는 메타모델에는 아키텍처의 구성요소들이 정의되어 있으며, 각 구성요소와 모델에서 식별 될 수 있는 가변성이 상세화 수준에 따라 두 가지 형태로 구분되어 제시되어 있다. 또한 본 메타모델을 기반으로 특정 도메인에 대한 아키텍처에 가변성이 명시적으로 표현되는 방법을 보인다. When the decision to initiate a software product line has been taken, the first step is the domain analysis describing the variability in the requirements, the second important step is the definition of a domain architecture that captures the overall structure of a series of closely related products. A domain architecture can be a core asset in product line by describing the commonalities and variabilities of the products contained in the software product line. The variabilities, which are identified at each phase of the core assets development, are diverse in the level of abstraction. Therefore, it is important to clearly define, systematically identify, and explicitly represent variability at the architectural level. However, it is difficult to identify and represent the variability which should be considered at the architecture level, because these may be appeared in architecture elements and in architecture configuration. In this paper, we suggest a method of developing domain architecture as a core asset in product line where commonality and variability are explicitly considered. First of all, we will describe a domain architecture metamodel that can explicitly define commonality and variability concepts by extending the Object Management Group's (OMG™) Reusable Asset Specification (RAS) model. Using the domain architecture metamodel, architecture elements are defined and the variations that can be identified at the architecture level are classified into two types in according to abstract level. Additionally, we describe a domain architecture where commonality and variability are explicitly considered on basis of this metamodel.

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

최희석(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.

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

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

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

SaaS 환경에서 SLA 보장을 위한 명세 및 교환 방법

남태우,강태준,장문수,안영민,염근혁,Nam, Taewoo,Kang, Taejun,Jang, Moonsoo,An, Youngmin,Yeom, Keunhyuk 한국정보과학회 소프트웨어공학 소사이어티 2013 소프트웨어공학회지 Vol.26 No.2

클라우드 컴퓨팅 서비스를 제공하는 사업자는 이용자에게 신뢰성 있고 일관된 품질을 제공하기 위해서 SLA를 보장해야 한다. SLA(Service Level Agreement)는 서비스 사업자가 제공하는 서비스를 대상으로 가용성 등 일정한 서비스 수준을 보장하기 위해 맺는 서비스 사업자와 고객간의 계약이다. 클라우드 컴퓨팅은 다양한 클라우드 서비스의 IT 자원에 따라 IaaS, PaaS, SaaS 등으로 구분되는데 기존의 SLA는 물리적인 네트워크 환경에 대한 요소만 고려하고 있어서 제공되는 서비스의 품질 요소는 반영하기 어렵다. 본 논문에서는 SaaS 레벨에서의 SLA 명세를 위한 XML 스키마를 가지는 명세 언어와 이를 교환하기 위한 UDDI 기반의 교환 프로세스 및 아키텍처를 제안한다. 클라우드 환경에서 SaaS의 품질 요구사항은 제안한 명세 언어로 정의되고 품질 명세 저장소에 저장되며 교환 아키텍처를 기반으로 서비스 바인딩 시 교환된다. A cloud computing service provider must assure Service Level Agreement (SLA) to provide reliable and consistent quality of service to a user. The SLA is a contract between the user and the service provider that connects to assure constant level such as availability to target provided service. 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 quality factors of service because it only considers factors about the physical Network environment. In this paper, we suggest the UDDI-based interchange process with the architecture and the specification language having a XML schema for the SLA specification. The quality requirements of SaaS are defined by a proposed specification language in the cloud environment. It is stored in the repository of a quality specification and exchanged on during the service binding time based on the exchange architecture.