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

염근혁 한국데이타베이스학회 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) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.1A

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

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

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

비즈니스 프로세스 패밀리 모델을 위한 가변성 분석 방법

문미경,염근혁,Moon, Mi-Kyeong,Yeom, Keun-Hyuk 한국정보처리학회 2008 정보처리학회논문지D Vol.15 No.5

오늘날 대부분의 기업들은 외부상황에 신속하게 비즈니스를 바꿀 수 있도록 하는 온디맨드 비즈니스 (On-demand business)를 구현하기 위해 IT 시스템의 유연성을 필요로 한다. 서비스 지향 아키텍처(Service Oriented Architecture: SOA)는 온디맨드 운영환경에서의 비즈니스 유연성을 가능하게 하는 인프라스트럭처 (infrastructure)를 제공한다. 오늘날의 이러한 요구사항을 충족시키기 위하여 SOA 애플리케이션 개발에 맞게 비즈니스 프로세스의 유연성을 확보하고 재사용을 증진시키기 위한 접근법이 필요하다. 그러므로 본 논문에서는 소프트웨어 프로덕트 라인 방법의 가변성 분석 기법을 사용하여 비즈니스 프로세스 패밀리 (family)에서 나타날 수 있는 가변성을 분석하고 이를 명시적으로 비즈니스 프로세스 패밀리 모델 (Business Process Family Model: BPFM)로 표현하는 방법을 제시한다. 또한 이 방법의 사용을 지원하기 위해 개발한 도구에 대해 설명한다. 이는 BPFM을 모델링하고 BPFM으로부터 가변성 결정과 가지치기 과정을 거쳐 자동 비즈니스 프로세스 모델 (Business Process Model: BPM)을 생성하는 기능들을 가지고 있다. 본 논문에서 제시하는 비즈니스 프로세스 패밀리의 가변성 분석을 통하여 비즈니스와 이를 지원하는 IT 시스템은 비즈니스 환경의 변화에 신속하게 대응할 수 있게 된다. Many of today's businesses need IT system's flexibility for on-demand business which can be rapidly adapted to environment changes. Service oriented architecture (SOA) provides the infrastructure which makes business flexibility possible under the on-demand operating environment. Therefore, to satisfy these requirements, new approach for assuring business flexibility and enhancing reuse is needed. In this paper, we propose an approach for developing a business process family model (BPFM) in which the variabilities in business process family can be explicitly represented by using the variability analysis method of software product line. In addition, we describe the supporting tool for this approach. It can model the BPFM and generate automatically BPMs through decision and pruning process from BPFM. By using our approach, the business and its IT system can correspond to business environment changes rapidly and efficiently.

재사용성을 위한 가변성 기반의 웹 서비스 슬라이스 추출 기법

김정한,염근혁 한국차세대컴퓨팅학회 2010 한국차세대컴퓨팅학회 논문지 Vol.6 No.1

오늘날 많은 기업들은 기업 고유의 비즈니스 프로세스를 위해 다양한 서비스 지향 컴퓨팅 시스템을 구축하고 이용하고 있다. 기업의 비즈니스 프로세스에 따라 요구사항은 다양하게 변화하지만 서비스 지향 컴퓨팅 시스템의 구성단위인 웹 서비스는 이러한 요구사항 변화에 민첩하게 대응할 수 있는 능력이 존재하지 않는다. 또한 개발된 웹 서비스들을 재사 용하여 웹 서비스를 개발하기 위한 효과적인 방법이 없어 불필요하게 많은 기능을 가지거나 너무 많은 웹 서비스를 개 발하여 웹 서비스 자원에 대한 효율적인 관리가 이루어지지 못하는 문제점이 발생한다. 이러한 문제점을 해결하기 위 하여 본 논문에서는 웹 서비스로 구현되는 서비스 기반 컴퓨팅 시스템의 개발을 위해 웹 서비스가 가지는 공통성과 가 변성을 분석하고 표현할 수 있는 2-계층 웹 서비스 가변성 모델을 제시하며, 개발된 가변성 모델의 정보를 이용하여 재사용 용이한 웹 서비스 슬라이스 추출 기법과 WSDL기반의 웹 서비스 슬라이스 재사용 방법을 제시한다.

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

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

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

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

남태우,염근혁,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. 현재 컨테이너 물동량은 지속적으로 증가하고 있는 추세이며 이에 따라 수송 원가를 절감하기 위해 초대형 컨테이너선들이 늘어나서 컨테이너 운송이 대형화되어지고 있다. 그러나 항만의 자원은 한정되어 있어서 효율적이고 안전하게 운송하기 위해서는 컨테이너에서 수집된 센서 데이터를 기반으로 환경과 상황에 따른 정보들을 활용하여 지능적이고 적응적인 서비스를 제공하는 방법이 필요하게 되었다. 본 논문에서는 이러한 문제를 해결하기 위해서 상황인식 기법을 적용한 컨테이너 상황인식 미들웨어를 제시하였다. 먼저 사용자, 사물과 동작, 서비스를 포함하는 모든 것을 통칭 적으로 컨텍스트라는 범주로 포함시키고 이 정보를 바탕으로 서비스의 제공이 필요한 상황마다 활용하기 위해서는 컨테이너 도메인의 상황적 요소를 분석해서 컨테이너가 처할 수 있는 특정 상황들이 어떠한 요소들의 조합으로 이루어지는지 정의하고 그 요소들 사이에는 어떤 관계성이 있는지에 대한 컨테이너 상황 온톨로지 모델링을 하였다. 온톨로지 모델을 바탕으로 컨테이너 및 환경에 대한 컨텍스트를 온톨로지로 구축하고 추론을 위한 규칙을 기반으로 상황인식적인 서비스를 추론하는 미들웨어의 개발 및 우선순위 등 정책적인 상황 관리를 가능하게 하는 기능을 구현하였다.

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

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

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