자치적 분산처리 시스템을 위한 객체지향 소프트웨어 개발 프레임워크에 대한 연구

염근혁 한국데이타베이스학회 1997 Journal of information technology applications & m Vol.4 No.1

아키텍쳐 기반의 소프트웨어 개발을 위한 연구(SE기술워크삽: 산학연 연구개발사례 및 기술 소개 발표 요약문)

염근혁 소프트웨어공학소사이어티 2000 소프트웨어공학회지 Vol.13 No.3

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

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

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

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

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

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

최희석,염근혁,Choi, Hee-Seok,Yeom, Keun-Hyuk 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.5

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 moat of architecture evaluation methods are not still sufficient in that they do not explicitly consider artifacts discussed during architecture evaluation and their processes are net 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. 소프트웨어 아키텍쳐는 소프트웨어 개발에 참여하는 사람들간의 원활한 의사 소통과 시스템 설계 결정에 대한 합리적 판단을 가능하게 하는 상위 수준의 시스템 추상화이다. 이러한 소프트웨어 아키텍쳐에 대한 평가는 소프트웨어에 요구되는 품질을 소프트웨어 개발 전에 미리 예측하거나, 고품질 소프트웨어를 개발하는대 적합한 아키텍쳐의 선택 및 향상을 가능하게 한다. 그러나 현재의 아키텍쳐 평가 방법은 아키텍쳐 평가의 초기 입력물에 대한 정의가 미흡하고, 평가 과정이 주관적인 프로세스에 많이 의존하거나 흑은 체계적인 프로세스를 정의하고 있지 않다. 뿐만 아니라 아키텍쳐 평가 정보들의 표현에 대한 고려가 부족하다. 본 논문에서 제안하는 방법은 아키텍쳐 평가의 주요 입력물인 요구사항을 기능적 요구사항과 비기능적 요구사항으로 분리하여 다루고, 소프트웨어 아키텍쳐는 UML을 이용한 "4+1"뷰 아키텍쳐 모델을 바탕으로 명확하게 정의한다. 이를 통하여 아키텍쳐 평가의 목표 및 평가 범위, 평가 대상을 분명하게 결정한다. 그리고 아키텍쳐 평가의 중요 정보들인 부분 설계, 설계 결정, 근거 데이타, 품질 등의 정보를 단계적으로 결정하기 위한 체계적이고 객관적인 프로세스를 제시한다. 또한 평가 결과에 있어서는 아키텍쳐 평가 과정에서 결정된 정보들을 구조화된 형태로 나타냄으로써 품질 예측 및 아키텍쳐의 향상과 선택이 가능하도록 돕는다.

재사용성을 고려한 서비스 지향의 소프트웨어를 위한 뷰 기반 아키텍처

박준석,염근혁 한국차세대컴퓨팅학회 2010 한국차세대컴퓨팅학회 논문지 Vol.6 No.3

서비스 지향의 소프트웨어 개발을 위한 SOA(Service Oriented Architecture)는 비즈니스 중심적이고, 자율적인 재사용 단위인 서비스를 기반으로 하고 있다. 이러한 서비스 지향 환경에서 소프트웨어는 서비스의 약결합과 조합을 통해 개발된다. 그러나, 서비스의 재사용은 BPEL(Business Process Execution Language)을 활용한 서비스의 조합을 사용하는 소프트웨어의 개발과 구현 측면에 제한되어 있다. 그러므로 더 효율적이고, 유연한 구조의 소프트웨어 개발을 위해 분석과 설계 단계에서 적용될 수 있는 확장된 재사용성의 개념이 필요하다. 따라서 본 논문에서는 도메인 피처 뷰, 도메인 서비스 구조 뷰, 도메인 서비스 행위 뷰, 도메인 메시지 뷰로 구성된 뷰 기반의 아키텍처 모델을 제안한다. 이 뷰 모델은 프로덕트 라인이 가지는 공통성과 가변성의 개념을 접목하여 분석과 설계의 재사용에 초점을 두고 있다. 제안된 아키텍처를 기반으로 한 아키텍처 수준의 산출물의 재사용을 통해 서비스 지향 소프트웨어 개발의 효율성을 증대시킬 수 있다.

모바일 앱의 기능 테스트를 위한 뷰-전이 모델 생성방법

박준석,염근혁,문미경 한국차세대컴퓨팅학회 2013 한국차세대컴퓨팅학회 논문지 Vol.9 No.6

스마트 폰, 태블릿 등의 모바일 기기의 보편화와 모바일 기기 상에서 구동되는 앱의 등록 및 유통을 가능케 하는 마켓의 등장으로 다양한 종류의 모바일 앱이 빠른 속도로 등장하고 있다. 그러나 모바일 앱은 체계적인 기능 평가가 수행되지 않고, 단순히 개발자의 일부 테스팅만 수행되는 경우가 많아 앱 동작시 많은 오류가 발생한다. 따라서 모바일 앱의 품질을 보증하기 위한 기능 테스트 모델이 필요하다. 본 논문은 뷰-전이 모델을 기반으로 모바일 앱의 기능을 테스트하는 접근법을 제시한다. 제시된 모델을 이용하여 모바일 뷰의 실행 측면, 모바일 뷰간의 화면 전환, 모바일 뷰의 이벤트를 발생시키는 입력, 모바일 뷰의 출력 측면을 평가할 수 있다.

컨테이너 안전 수송을 위한 센서데이터 기반의 상황 모델링과 상황인식 미들웨어 구현

남태우,염근혁,Nam, Tae-Woo,Yeom, Keun-Hyuk 한국정보처리학회 2009 정보처리학회논문지D Vol.16 No.6

Currently, the amount of containers is growing up continuously. However, they still depend on humans checking or validating. In this situation, humans must participate in the systems. Situation-awareness technologies allow human participation to be minimized. The situation-awareness technologies provide data or service appropriate to the object's current state, and the state is recognized automatically by the system. They can automatically execute working processes without human intervention. We suggest a middleware system based on situation-awareness technologies using an ontology for the safety transportation of containers. The middleware is aware of the current state and sends the data required by an application. It can help build new applications by enhancing agility, and it can also support automated service processing by invoking the service required like fire-fighting, fixing container, and so on. Improving transportation of containers process automation with situation-awareness technologies reduces manpower requirements for checking and validating containers, and so saves logistics costs of container transportation. 현재 컨테이너 물동량은 지속적으로 증가하고 있는 추세이며 이에 따라 수송 원가를 절감하기 위해 초대형 컨테이너선들이 늘어나서 컨테이너 운송이 대형화되어지고 있다. 그러나 항만의 자원은 한정되어 있어서 효율적이고 안전하게 운송하기 위해서는 컨테이너에서 수집된 센서 데이터를 기반으로 환경과 상황에 따른 정보들을 활용하여 지능적이고 적응적인 서비스를 제공하는 방법이 필요하게 되었다. 본 논문에서는 이러한 문제를 해결하기 위해서 상황인식 기법을 적용한 컨테이너 상황인식 미들웨어를 제시하였다. 먼저 사용자, 사물과 동작, 서비스를 포함하는 모든 것을 통칭 적으로 컨텍스트라는 범주로 포함시키고 이 정보를 바탕으로 서비스의 제공이 필요한 상황마다 활용하기 위해서는 컨테이너 도메인의 상황적 요소를 분석해서 컨테이너가 처할 수 있는 특정 상황들이 어떠한 요소들의 조합으로 이루어지는지 정의하고 그 요소들 사이에는 어떤 관계성이 있는지에 대한 컨테이너 상황 온톨로지 모델링을 하였다. 온톨로지 모델을 바탕으로 컨테이너 및 환경에 대한 컨텍스트를 온톨로지로 구축하고 추론을 위한 규칙을 기반으로 상황인식적인 서비스를 추론하는 미들웨어의 개발 및 우선순위 등 정책적인 상황 관리를 가능하게 하는 기능을 구현하였다.

모바일 앱의 효율적 변경 관리를 위한 기법

박준석,염근혁,문미경 한국차세대컴퓨팅학회 2014 한국차세대컴퓨팅학회 논문지 Vol.10 No.4

모바일 컴퓨팅 환경이 확산되면서, 다양한 종류의 모바일 앱이 빠르게 모바일 마켓에 배포되고 있다. 모바일 앱은 데스크톱에서 구동되는 소프트웨어와는 다르게 다양한 크기의 모바일 디바이스의 출시와 플랫폼의 빈번한 업그레이드등으로 인해 잦은 변경이 발생한다. 그러나 변경된 모바일 앱의 달라진 사항들에 대한 정보가 자세히 기술되거나 관리되지 않아, 변경 요소들에 대한 추적이 어렵고 이로 인해 결함의 원인을 찾기가 어려워진다. 따라서 모바일 앱이변경됨으로써 바뀌는 요소들에 대한 명확한 분류를 통해 추적성을 유지하기 위한 기법이 필요하다. 본 논문은 실행환경 지원, 소프트웨어 연결, 서비스 제공측면에서 모바일의 변경을 관리하는 접근법을 제시한다. 제시된 변경관리 기법을 적용함으로써, 모바일 앱의 변경 요소들을 명세하고 변경으로 인한 오류 원인을 용이하게 추적 할 수 있다.