http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
소프트웨어 재사용 기술 도입을 위한 모델 기반의 프레임워크
홍장의(Jang Eui Hong),민상윤(Sang-Yoon Min),배두환(Doo-Hwan Bae) 한국정보과학회 1998 정보과학회논문지(B) Vol.25 No.8
재사용은 소프트웨어 개발의 생산성과 품질을 향상시키기 위한 핵심 기술중의 하나이다. 최근 많은 기업에서 기존에 개발된 소프트웨어의 체계적인 관리와 소프트웨어 개발 프로세스의 정립, 그리고 비용 절감을 목적으로 소프트웨어 재사용에 많은 관심을 가지기 시작하였다. 그러나 재사용 기술의 도입은 조직 전체에서의 소프트웨어 개발에 영향을 주며, 또한, 재사용 관련 전문 지식이 요구되기 때문에 체계적인 접근 방법이 요구된다. 따라서 본 논문에서는 재사용을 도입하기 위한 체계적인 전략으로 사용할 수 있는 “Dartboard” 프레임워크를 제안한다. 이 방법은 관리 영역, 환경 영역, 프로세스 영역, 그리고 기술 영역으로 기업의 소프트웨어의 개발 현상을 파악하고 각 영역별로 정의된 재사용 모델을 이용하여 조직의 실태를 정량화할 수 있도록 한다. 이렇게 함으로써 기업은 소프트웨어 개발에 대한 실태 파악을 효과적으로 수행할 수 있고, 재사용 기술을 보다 체계적으로 도입할 수 있을 것이다. Software reuse is a key technology which has goals to improve the productivity and the quality of software development. Recently many organizations try to introduce reuse technology for the efficient management of legacy software, systematic process fix of software development, and cost reduction. However, the introduction of reuse techniques into organization requires a systematic approach, because such introduction will affect the current software development process and require reuse-related expertise. In this paper, we present the strategic mechanism called “Dartboard” which helps those workers. Dartboard mechanism consists of 4 dimensions for diagnosis of status of an organization. The suggested mechanism can be used to guide the introduction process of reuse technology, and to build up the more strategic plan to realize reuse technology into organization.
분산 실시간 시스템에서의 트랜잭션처리를 위한 프로토콜의 설계 및 분석
홍장의(Jang Eui Hong),배인한(In Han Bae),김영찬(Young Chan Kim) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
분산 트랜잭션 지역적으로 분산되어 있는 노드들에서 동시에 처리되어질수 있으며, 이 때 이들의 수행은 상호조정(Coordination)되어야 한다. 또한 이들 트랜잭션의 처리시 요구되는 조건은 그 트랜잭션의 atomicity(all or nothing)를 보장하는 것이다. 특히 분한 실시간 트랜잭션의 처리시에서는 일반적인 트랜잭션 처리와는 달리 빠른 응답시간의 요구(Deadline : timing constraint)라는 강한 제약조건을 갖는다. 본 연구에서는 분산환경의 실시간 트랜잭션 처리를 위한 기본적인 시스템모델을 설정하고 이의 통신 프로토콜을 제시하며, 결함(Failure) 발생시 복구를 위해 자율 복구(Independent Recovery)정책을 도입한다. 여기서 제시한 모델은 메시지 전송량을 줄이고, 통신지연으로 인한 데드라인 조건도 만족시킬수 있도록 설계한다.
객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증
홍장의(Jang Eui Hong),윤일철(Il-Cheol Yoon),배두환(Doo-Hwan Bae) 한국정보과학회 2000 정보과학회논문지 : 소프트웨어 및 응용 Vol.27 No.2
요구사항이 복잡하고 다양해지면서 정형적인 방법을 이용한 시스템 명세가 방대해지고 이해하기 어려워진다는 문제들이 생겨났다. 따라서 요구사항의 명세를 위해 모듈화 및 객체화 개념 등을 도입하고 있으며, 특히 복잡한 시스템의 경우에 있어서는 요구사항을 하향식 접근 방법에 의해 분할하고, 이들을 각각 정형적으로 명세하여 합성하는 접근 방법을 사용하고 있다. 본 연구에서는 이러한 추세에 따라 요구사항을 계층적으로 모델링하고, 객체지향 개념을 충분히 표현할 수 있는 정형적인 방법을 제안한다. 제안된 객체지향 페트리 넷인 HOONet은 모듈화, 객체화, 추상화, 및 상세화 등의 개념을 지원하도록 설계되었으며, 복잡한 요구사항을 체계적으로 명세할 수 있는 방법을 제공한다. 특히 요구사항이 부분적으로 제시되었거나, 분석이 전체적으로 완료되지 않은 상황에서도 명세 및 검증이 가능하도록 하였으며, 점진적인 명세의 합성을 통해 시스템 모델링이 이루어지도록 하였다. As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.
홍장의(Jang Eui Hong),배두환(Doo Hwan Bae) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅰ
본 논문에서는 분산 멀티미디어 소프트웨어의 효율적인 명세 방법을 제안한다. 최근 매우 다양한 응용 범주와 통신망의 발달로 많은 분야에서 분산 멀티미디어 소프트웨어의 개발 요구가 발생하고 있다. 따라서 이러한 소프트웨어를 정확하고 신뢰성 있게 개발하기 위한 노력과 관심이 집중되고 있으며, 이러한 연구중의 하나가 소프트웨어의 효율적인 명세와 명세 내용의 검증 분야이다. 본 논문에서는 복잡한 대규모의 분산 소프트웨어를 체계적으로 분산하고, 명세할 수 있는 HOOSL(Hierarchical Object-Oriented Specification Language)를 제안한다. 이는 분산 소프트웨어를 계층적으로 분해하여 분석하고, 분해된 컴포넌트를 객체화함으로써 보다 효과적으로 시스템을 설계 할 수 있는 방법을 제공한다. 또한 제안된 언어는 시스템 명세의 검증을 위해 쉽게 사용할 수 있도록 비교적 정형화된 방법으로 제시되었다.
임베디드 소프트웨어의 소스 코드 품질 향상을 위한 Practice Patterns의 적용
홍장의,Hong Jang-Eui 한국정보처리학회 2005 정보처리학회논문지 A Vol.12 No.7
Source code quality is very Important that software embedded into product is difficult to change. In order to improve source code quality, it should be considered the quality of analysis and design models as well as the quality of source code. In this paper, we suggest 'Practice Pattern' as one of practical techniques to improve embedded software source code quality. Practice pattern is a procedural pattern to guide modeling and coding activities in software development phases. We believe that applying our pattern provides the improvement of optimum performance, modularization, and portability for embedded software source code. 임베디드 소프트웨어는 하드웨어 플랫폼에 탑재하기 전, 소스 코드에 대한 품질을 검증하는 작업이 매우 중요하다. 임베디드 소프트웨어의 코드 품질을 향상시키기 위해서는 분석 및 설계 단계의 모델에 대한 품질과 생성된 코드에 대한 품질이 관리되어야 한다. 본 연구에서는 임베디드 소프트웨어의 소스 코드 품질을 향상시키기 위한 방법으로 Practice Pattern을 제안한다. 이는 모델링 과정이나 코딩 과정에서 개발자를 가이드 하는 절차 패턴으로써, 모델의 품질과 소스 코드 품질을 향상시키는 방법으로 사용될 수 있다. 제시하는 패턴의 적용은 기능의 정확성뿐만 아니라 성능, 모듈화, 재사용성 및 이식성 등과 같은 품질 요소들을 향상시킬 수 있을 것으로 보인다.