분산 멀티미디어 시스템의 성능 분석 기법

최항묵,성재철,김상균 인제대학교기초과학연구소 1999 자연과학 Vol.3 No.-

네트워크를 기반으로 하는 분산 시스템, 영상 회의 시스템, 병렬처리 시스템등을 대상으로 성능분석에 사용된 성능 평가 인자들과 성능평가 기법들에 대하여 고찰하고자 한다. 이는 현재 개발 중인 의료 영상 회의 시스템(MICS)의 성능을 평가하기 위하여 이와 유사한 시스템들을 고찰하고, 시스템의 성능평가를 위해 선택, 사용된 성능 평가 항목 및 평가 방법에 대하여 검토하여 적합한 성능평가 항목 및 성능평가 기법을 제시하기 위함이다. In this paper, I would like to investigate about "performance evaluation techniques" and "performance evaluation factors" used in performance analysis for systems in network based distributed system, image conference system and parallel processing systems. The aim is to propose profitable performance evaluation factors and performance evaluation techniques. For this, I went through similar systems to evaluation factors and performance evaluation techniques. For this, I went through similar systems to evaluate the performance of MICS(Medical Image Conference system)which is still being developed and worked out performance evaluation factors and evaluation methods to evaluate performance of system.

STEPWISE REFINEMENT WITH DATA ABSTRACTION DESIGN METHODOLOGY

Choi,hang-Mook 인제대학교기초과학연구소 1997 자연과학 Vol.1 No.-

단계적 정제와 데이터 추상화 개념을 통합한 소프트웨어 설계 방법론을 세세하고자 한다. 단계적 정제 방법을 복잡한 시스템에 대하여 잘 확립되고 자주 이용되어져 왔으나 그 단접으로는 어떤 데이터의 표현 방법이 변화될 때 직접적으로 그 데이터를 사용하는 모든 모들이 영향을 받는 것이다. 또 다른 설계 방법으로는 데이터 표현 방법이 변하더라도 그 데이터를 사용하는 모들에 영향을 미치지 못 하게 하는 데이터 추상화가 있다. 하지만 단계적 정제 방법이 함수의 분해(functional decomposition)에 근거하고 함수 모듈(functional module)을 중점을 두는 반면 데이터 추상화의 경우 데이터 객체(object)와 그 객체에 작용하는 요퍼레이션을 찾아내는데 중점을 두고 있으며 데이터 추상화 방법만으로는 설계자가 복잡한 시스템에 존재하는 함수 모듈이나 그것들의 관계를 알아내는데 어려움을 겪을 수 있다는 것이 지적되어 왔다. 이에 여기에서 제시되고 있는 설계 방법론은 모듈간의 관계를 밝히는 데 중점을 두면서 지금까지 그 효용성이 입증되고 사용하기에 익숙한 설계 표기법이나 개념을 잘 활용하기 위해 단계적 정제 방법에 기초를 두고 있고 단계적 정제 방법의 단점을 보완하기 위해 데이터 추상화 개념을 수용하고 있다. 이 설계 방법론의 그래픽 표현 방법으로 모들의 정제 뿐 아니라 데이터 흐름(data flow)의 정제도 표현 가능한 연장도니 구조도(extended structure chart)가 소개된다. A software design methodology is suggested, which incorporates two design principles, step-wise refinement and data abstraction. Stepwise refinement approach is well established and practiced for complex systems but the disadvantage of using it is that any change in representation of data object tends to affect all modules which use the data. Another approach is based on data abstraction which permits the representation of data to be changed locally without affecting modules that use the data. But, data abstraction concentrates on identifying data objects and operations on the data objects and not much on functional modules while stepwise refinement design methodology is based on functional decomposition and places emphasis on functional modules. And, with only data abstraction approach, the designer may face difficulty in identifying functional modules and finding relations existing among them for complex systems. To keep the modularity as the most critical component of design method and to take advantage of familiar and proven notations and concepts, the design methodology suggested is based on stepwise refinement and to overcome the drawback of stepwise refinement approach, data abstraction concept is adopted. For the graphical representation of the design methology, extended structure chart is introduced, which represents not only the refinements of modules but also the refinements of data flows transferred among modules and data objects.

An Approach to Validating Design Results

Choi,Hang-Mook 인제대학교기초과학연구소 1998 자연과학 Vol.2 No.-

소프트웨어를 개발하는 동안 설계 결정들이 이행될 때마다 설계의 결과물을 얻게된다. 이러한 결과물들을 기록하고 또한 그 결과의 검증이나 추적을 위해서는 인공지능 기술의 적용이 요구된다. 인공지능 기술은 소프트웨어공학의 많은 분야에 이용되고 있다. 그 중에서도 논리를 이용한 방법이 인간의 생각과 유추를 명확하고 또한 성공적으로 표현하고 있다. 이 논문에서는 구조적 분석에서 이행되는 설계 결정과 그 결과물을 기록하고 그 검증을 가능하게 하는 논리에 근거한 한 방법을 제시한다. During software development, a sequence of design documents are produced as the design decisions are performed. To record those documents and to facilitate various applications such as validating the design results and tracing design information, AI technique is necessary. AI techniques are used in many software engineering area. Among them, logic is a very successful and precise representation to express human thought and inferences. In this paper, a logic-based approach applied to representing the design decisions performed during structured analysis and validating the design results is presented.

An Incremental Approach To Updating Performance Dependency For Programs

Choi, Hang-Mook 인제대학교 기초과학연구소 2000 자연과학 Vol.4 No.-

두 프로그램 엔티티간의 성능 의존성은 한 프로그램 엔티티의 실행 시간이 다른 프로그램 엔티티의 성능에 직접 또는 간접적으로 의존하고 있음을 나타낸다. 이 논문에서는 프로그램이 수정되어 프로그램 엔티티간에 성능 의존도의 변화가 있을 때 프로그램 엔티티간에 존재하는 성능의존성 갱신을 위해 처음부터 모든 것을 다시 시작하는 대신 증분식으로 갱신할 수 있는 방법을 제시한다. A performance dependency relation between two program entities implies that the execution time of one program entity potentially depends on the performance of the other, directly or indirectly. Among various linguistic mechanisms contributing to the causes of performance dependencies, module invocation mechanism may be the most commonly used one, This paper presents an incremental approach to the analysis of module invocation based performance dependencies among program entities. Thls approach updates the results of an initial analysis incrementally with the effects due to program changes, rather than reperforming an exhaustive analysis from scratch. This approach is based on a module performance dependency graph model (MPDG) which represents the performance dependency with its edges and vertices. First, the incremental approach analyze the part of program modified. Secondly, only the part of the MPDG model affected will be reconstructed and the direct performance dependencies will be updated. Then, the indirect performance dependencies will be updated by using incremental updating algorithms proposed. Performance ripple effect can also be found with the performance dependency changes.

Logic Representation of Software Develoment History

Choi, Hang Mook 인제대학교 1998 仁濟論叢 Vol.14 No.2

큰 규모의 소프트웨어는 폐기하고 새로운 것으로 대체하는 비용이 비싸기 때문에 보통은 조금씩 수정을 거쳐 오랜 시간 동안 계속하여 사용되어진다. 큰 규모의 소프트웨어 시스템의 유지 보수를 위해서는 어떤 모듈이나 프로그램 구조가 생기도록 한 원래의 설계 결정을 추적할 수 있도록 하는 설계 과정에서 얻을 수 있는 설계 정보가 필수적이다. 이 논문에서는 설계 정보를 기록할 수 있는 방법이 제시된다. 이 방법은 소프트웨어 개발 정보를 형식적이고 통일되며 일관성 있게 표현하므로써 보수자로 하여금 설계 결정을 추적하고 설계 결과를 검증하며 새로운 정보를 유추할 수 있도록 하기 위하여 개발되었다. Large-scale software systems usually have a long life and undergo gradual but substantial modifications due to the fact that they are too expensive to discard and replace. For the maintenance of a large-scale software system, the design history obtainable during design process is crucial in order to trace back the original decisions which lead to the creation of a module or a program structure. In this paper, an approach to representing design history information is presented. The approach is developed in order to represent the design history information in a formal, integrated, and uniform way to support various applications performed by software maintainers such as tracing design decisions that lead to a particular program structure, checking consistency of each design action, and deducing new design information from existing one.

Representing the Process of Stepwise Refinement with Data Abstraction Design Method

Choi, Hang-Mook 인제대학교 1997 仁濟論叢 Vol.13 No.1

본 논문에서는 단계적 정제와 데이터 추상화를 이용한 설계 방법의 설계 과정을 형식적으로 표현하기 위한 논리에 근거한 방법을 제시하고자 한다. 설계 과정에 대한 기록은 설계자나 보수자로 하여금 설계나 보수시 설계 객체들간의 관계를 통하여 설계 객체들을 추적할 수 있도록 해 준다. 추적 능력은 소프트웨어가 어떻게 설계되었는 지를 추적 해 볼 수 있게 해주며 소프트웨어를 이해하는데 필수적 이다. 설계 과정에 관한 정보로는 각각의 중간 설계 단계마다 만들어지는 설계 결정과 설계 결과 그리고 도출 형태들을 포함한다. 각각의 설계 결정마다 한 모듈이 여러 개의 모듈로 전개된다. 설계 결정의 순서나 그 의미는 설계 과정에서 적용되는 설계 방법의 절차나 지침 그리고 휴리스틱으로 결정된다. 한 설계 결정에서 각각의 도출 법칙은 한 설계 객체가 어떻게 또 다른 설계 객체로부터 전개되는 지를 나타낸다. 설계 과정을 표현하기 위한 형식적 수단으로 일차 논리가 사용되었다. 설계 과정을 논리에 근거하여 표현하므로써 설계 과정에 관한 정보를 추적할 수 있고 설계 결과를 검증해 볼 수 있으며 또한 기존에 얻어진 설계 정보로부터 여러 유용한 정보들을 도출해낼 수 있게 해준다. In this paper, a logic-based approach to representing the process of the stepwise refinement with data abstraction design method is presented. Recording design process provides the designer and maintainer the capability to trace objects on their relationships with other objects during development or maintenance phase. Traceabililty provides the means to track the development of the software and helps in gaining a better understanding of the software. Design process information includes the design actions, design results, and derivations made for each intermediate design step. Each design action involves the evolution of a module into a number of modules. The sequence and semantics of all design actions depend on the procedures, guidelines, and heuristics of the design method applied in the design process. Each derivation rule for a design action represents how one design object is evolved from another design object. First-order logic is used as a formalism to represent the design process. Based on the logic interpretation of the design process, various applications such as tracing design information, consistency checking for the design results, and deducing new design information can be facilitated.

협동 작업을 통한 소프트웨어 설계 지원 도구의 설계

성재철,최항묵 인제대학교 2003 仁濟論叢 Vol.18 No.1

기존의 소프트웨어 개발 프로젝트는 프로젝트 참여자들이 한자리에 모여 수행하는 시간적, 공간적인 제약을 안고 있었으나, 하드웨어의 발전과 컴퓨터의 성능 향상 및 고속 네트워크 기술의 발전에 따라 네트워크 기반의 협동 작업 환경의 도입으로 시공간적 제약을 극복할 수 있는 방안에 대한 연구가 진행되고 있다. 이에 본 논문에서는 공간적으로 원격지에 위치한 소프트웨어 프로젝트 참여자들이 네트워크를 통해 협동 작업 서버에 접속하여 시간적, 공간적 제약을 극복하면서 실시간으로 공동으로 프로젝트 개발에 참여할 수 있도록 지원하는 도구를 설계하고 제안한다.

영상 회의 시스템의 성능 Ripple Effect 분석 모델

성재철,최항묵,박세명 인제대학교 1999 仁濟論叢 Vol.14 No.3

소프트웨어 시스템의 변경은 연관된 다른 요소에 영향을 미치게 된다. 특히 모듈 단위로 구성된 소프트웨어의 경우, 하나의 모듈이 변경됨에 따른 성능 변화의 파급 효과가 발생한다. 이는 소프트웨어의 유지 보수를 어렵게 만들고 비용의 증가를 가져올 수 있다. 본 논문에서는 현재 개발 중인 의료 영상회의 시스템을 모듈 별로 분리하여 모듈 간의 성능 파급 효과 분석을 위한 모델을 제시한다. As every knows, modification of a software system affects other related components in the software. Specially, modification of a module in a software, combined with module units, makes Performance Riffle Effects. This makes it difficult to maintain a software and cost a lot. This paper suggests a model for analyzing Performance Ripple Effects among modules by separating the Medical Image Conference System(MICS), which is being studied, into several modules.

PKI 기반 ASP 인증 및 권한 적용 모듈 설계

박수범,최항묵 인제대학교 2001 仁濟論叢 Vol.16 No.1

분산된 네트웍 환경에서의 보안의 필요성과 중요성은 많은 대형사이트의 해킹 사례속에서 점점 커져가고 있다. 보안기술의 발달을 앞지르는 크랙커들의 침입은 인터넷환경에서 사용자들의 불안감을 가중시키고, 정당하지 못한 방법으로 이익을 얻으려는 잘못된 가치관들이 사이버 세계의 발전을 위협하고 있다. 특히, 실물경제가 오가는 기업환경에서의 네트웍이 큰 공격의 목표가 되는 것은 자명한 일이다. 기업환경에서의 인터넷 기반 솔루션인 ASP(Application Service Provider) 서비스는 대부분이 ASP서비스 업체들의 자체 서버 보안과 방화벽에 의존하고 있으며, 사용자 입장에서의 보다 안심할 수 있는 보안 정책을 제시하지 못하고 있어 기업의 사활이 걸린 중요한 정보의 유출에 대한 방지책이 미약하다. 특히, 사용자 인증에 있어서도 일반적인 웹사이트에서처럼 간단한 사용자명과 암호로 접근이 가능하다. 이는 일반인들도 손쉽게 구할 수 있는 해킹 도구로 쉽게 침입을 당할 수 있다. 본 논문에서는 이와 같은 문제점들을 해결하기위한 방법으로 암호화 전송방식의 사용자 인증을 사용하여 전산 사고에 대한 부인방지를 가능하게 하고, XML권한 적용 문서를 사용해 사용자 권한 설정의 용이성을 부여하는 공개키 기반 ASP 서비스 시스템을 위한 프로토콜을 제안하고 이를 ASP@PKI라 한다. 또한 이 프로토콜의 응용으로 자바를 사용한 인증 및 권한 적용 모듈을 설계한다. On distributed network environment, the necessity and importance of security increase according to the many Internet sites hacked. The invasion of crackers advances over security technology and add unbelief of Internet consumer. They are trying to make a profit on cracking and concentrate especially enterprise network that exchange real thing. ASP (Application Service Provider) offers the Internet-based solution for enterprise environment. However, Current ASP vendors are by means of their server secure and firewall. There is no compatible ASP secure policy which users believe in and significant enterprise information is protected by. On user certification, current ASP depends on user identity and password like usual web sites. This paper describes the ASP@PKI protocol which is based un PKI(public key infrastructure) and uses XML document for authorization. This protocol enables the non-repudiation according to digital disaster and It can have the extensibility and facility of authorization. Additionally, using Java technology, this paper designs the Certification and Authorization module of ASP@PKI.

전자상거래 보안의 전망과 방향

박수범,최항묵,최흥국 인제대학교 1999 仁濟論叢 Vol.14 No.3

인터넷과 통신매체의 확산과 더불어 최근에는 기업간, 기업과 정부간에 주로 정형적인 문서교환에 활용되던 초기의 EDI(Electronic Data Interchange)가 멀티미디어 정보교환이 가능한 인터넷의 보급 확산과 함께 소비자를 대상으로 하는 전자상거래(EC : Electronic Commerce)로 급속히 확산되고 있으며, 이를 지원하기 위해 기업의 정보화 기반을 구현하는 ERP(Enterprise Resource Planning)도 요구되고 있다. 이미 전세계적으로 수만개의 쇼핑몰이 들어서 있으며, 새로운 전자상거래 적용 사이트가 계속해서 생기고 있으며, 이들 사이트마다 제각각 자신들의 아이템을 화려한 멀티미디어적인 요소로 선전하며 소비자를 기다린다. 그러나, 전자상거래는 네트워크를 통하여 형성되므로 사용자들은 서로 만나지 않고 거래하게 된다. 이는 전자상거래의 장점이기도 하지만, 반대로 상호간의 신분에 대한 인증이 쉽지 않다는 단점이 된다. 본 논문에서는 이러한 위험을 방지하기 위한 암호화 인증 기술들에 대한 최근까지의 표준들을 기반으로 논의하고자 한다. Recently, early EDI(Electronic Bata Exchange), which used to exchange formal documents among enterprises including government, is getting changed into EC(Electronic Commerce) because of rapid propagation of the Internet that can make it possible to exchange multimedia information for consumers. In addition to, ERP(Enterprise Resource Planning) is getting improved to support what I mentioned above. Already there are millions of shopping malls through the world and newly web sites for EC are getting emerged advertising their own items using multimedia technology and Unfortunately, As everbody knows, EC is made through Network so users do not have to meet one another to deal. This fact can be an advantage. However it can be a disadvantage because it is not easy to make sure the authentication of private ID's for each other. This paper would like go through "Encryption Authentication Technology" to discuss these disadvantages.