• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.49-51
• /
• 2001

다중스레드 모델은 데이터플로우 모델의 내부적인 병렬성, 비동기적 자료 가용성과 폰 노이만 모델의 실행 지역성을 결합하여 병렬처리 시스템의 성능을 향상시켰다. 이 모델은 프로그램의 실행을 위하여 컴파일러에 의해 생성된 스레드를 수행하며, 스레드의 생성 방법에 따라 자원 활용 빈도나 동기화 빈도와 같은 스레드의 질이 결정되는 특징이 있다. 하지만 다중스레드 모델은 실행 모델이 특정 플랫폼에 제한되는 단점을 가지고 있다. 이에 반해 자바는 플랫폼에 독립거인 특징을 가지고 있어 다중스레드 모델의 스레드 코드를 실행 단위인 자바 언어로 변환하여 다중스레드 모델의 특징을 여러 플랫폼에서 수정 없이 사용할 수 있게 된다. 자바는 분산된 환경에 적합한 언어이기 때문에 본 논문에서 제안한 번역기에 의해 다중스레드 모델의 스레드 코드를 자바 언어로 변환한 후 자바의 원격 매소드 호출을 이용하여 다중스레드 모델의 스레드 코드를 분산된 환경에서 처리하였다. 본 논문은 다중스레드 코드가 로컬 컴퓨터에서 여러 스레드를 생성하여 처리하던 것을 자바의 원격 메소드 호출을 이용하여 분산된 환경에서 실행 가능하도록 한다. 다중스레드 모델의 스레드 코드를 분산 환경에서 실행 가능한 자바 바이트 코드로 변환하는 번역기를 설계, 구현한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.68-70
• /
• 2000

다중스레드 모델은 데이터플로우 모델의 내부적인 병렬성, 비동기적 자료 가용성과 폰 노이만 모델의 실행 지역성을 결합하여 병렬처리 시스템의 성능을 향상 시켰다. 이 모델은 프로그램의 실행을 위하여 컴파일러에 의해 생성된 스레드를 수행하며, 스레드의 생성 방법에 따라 자원 활용 빈도나 동기화 빈도와 같은 스레드의 질이 결정 되는 특징이 있다. 하지만 다중스레드 모델은 실행 모델이 특정 플랫폼에 제한되는 단점을 가지고 있다. 이에 반해 자바는 플랫폼에 독립적인 특징을 가지고 있어 다중스레드 모델의 스레드 코드를 실행 단위인 자바 언어로 변환하면 다중스레드 모델의 특징을 여러 플랫폼에서 수정 없이 사용할 수 있게 된다. 자바는 원시 언어를 중간 언어 형태의 바이트 코드로 변환하여 각 아키텍처에 맞게 설계된 자바 가상 머신이 설치된 시스템에서 자바 언어를 수행한다. 이러한 자바 언어의 바이트 코드는 번역기의 중간 언어와 같은 역할을 수행하고, 자바 가상 머신은 번역기의 후위부와 같은 역할을 한다. 본 논문은 다중스레드 코드가 플랫폼에 독립적인 특성을 갖출 수 있도록 다중스레드 코드를 자바 가상 머신에서 실행 가능하도록 한다. 즉, 다중스레드 모델의 스레드 코드를 자바 바이트 코드로 변환하는 번역기를 설계, 구현하고, 자바 가상 머신의 실행을 분석한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.764-771
• /
• 2003

본 연구는 비즈니스 프로세스의 자동화된 실행 및 관련 데이터의 관리를 지원하는 BPMS (Busuiess Process Management System)를 위한 프로세스 실행 모델을 제안한다. BPMS의 효과적 개발을 위해서는 프로세스의 내용을 표현하는 프로세스 정의 모델이 필요함과 동시에. 네트워크 상에서 그것이 해석되고 실행되는 방식을 규정하기 위만 프로세스 실행 모델도 필요하다. 이는 프로세스에 관여되는 분산된 개체들간의 협력적 의사 소통을 효과적으로 지원할 수 있고, 이를 통해 시스템간의 상호운용성을 고양하고 프로세스 모델이 갖는 경직성을 극복할 수 있는 BPMS의 효과적 개발의 바탕이 될 수 있다.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.3
• /
• pp.437-446
• /
• 2005

Workflow mining is a newly emerging research issue for rediscovering and reengineering workflow models from workflow logs containing information about workflow being executed on the workflow engine. This paper newly defines a workflow process reduction mechanism that formally and automatically reduces an original workflow process to a minimal set of activities, which was used proposed 'E-walk series analysis algorithm'. Main purpose of this paper is to minimize discrepancies between the workflow process modeled and the enacted workflow process as it is actually being executed. That means, we compare a complete set of activity firing sequences on buildtime with workflow execution logs which was generate on runtime. For this purpose we proposed two algorithm, the one is 'Activity-Dependent Net Algorithm' and the other is 'E-Walk Series Analysis Algorithm'.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2003.06a
• /
• pp.121-126
• /
• 2003

본 논문은 시뮬레이터 각 계통 모델을 개발하고, 개발된 각 모델링 실행파일을 실시간으로 실행하며, 각 계통 모델의 건전성 시험을 용이하게 수행하기 위해 개발중인 시뮬레이션 환경을 소개하는 것을 목적으로 하고 있다. 개발중인 시뮬레이션 환경은 울진 표준형원전 시뮬레이터의 전 계통을 모델로 하고 있으며, 현재 각 계통 변수 데이터베이스 제어프로그램, 멈춤/실행 (Freeze/Run), 운전상태의 저장 (Snapshot), 임의의 변수에 대한 동적인 변수값 도시 (Display), 각 계통 실행파일들의 실시간 제어, 3차원 실시간 형상화 툴 등 여러 기능이 있으며, 영광1호기 최적운전분석기 등의 시스템에 이미 활용중이다. 본 시스템의 구축으로 모든 시뮬레이션 모델 및 각종 코드의 실시간 실행/빠른실행/느린실행 등의 개별 운전모드 시간조정도 가능해져 시뮬레이터 모델 이외에도 기존의 사용 프로그램의 통합등 다양한 응용이 가능할 것으로 기대된다.

• The KIPS Transactions:PartD
• /
• v.15D no.1
• /
• pp.99-106
• /
• 2008

Recently developed compilers perform some optimizations in order to speed up the execution time of source program. These optimizations require the reordering of the sequence of program statements. This reordering does not give any problems in a single-threaded program. However, the reordering gives some significant errors in a multi-threaded program. State-of-the-art model checkers such as JavaPathfinder do not consider the reordering resulted in the optimization step in a compiler since they just consider a single memory model. In this paper, we develop a new verification tool to verify Java source program based on Java Memory Model. And our tool is capable of handling the reordering in verifying Java programs. As a result, our tool finds an error in the test program which is not revealed with the traditional model checker JavaPathFinder.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.05a
• /
• pp.144-147
• /
• 2001

본 논문은 시뮬레이터 소프트웨어의 개발, 문서화, 실시간 수행 및 시험 등을 용이하게 하는 시뮬레이션 환경을 위해 개발중인 시뮬레이션 환경을 소개하는 것을 목적으로 하고 있다. 개발중인 시뮬레이션 환경은 원자력교육원 2호기 시뮬레이터 노심모델을 기본 모델로 하고있으며, 현재 멈춤/실행 (Freeze/Run), 운전상태의 저장(Snapshot), 임의의 변수에 대한 동적인 변수값 도시(Display), 실시간 형상화 툴 등 몇 가지 기능은 이미 구현하여 실행중이며, 조속한 시일에 전체적인 통합 환경이 구축될 것으로 예상된다. 본 시스템의 구축으로 모든 시뮬레이션 모델 및 각종 펄프의 실시간 실행/빠른실행/느린실행 등의 개별 운전모드 시간조정도 가능해져 시뮬레이터 모델 이외에도 기존의 사용 프로그램의 통합 등 다양한 응용이 가능할 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.502-505
• /
• 2010

본 논문에서는 스마트폰 환경에서 개인 사용자 편의 서비스 프로그램 개발의 기초가 되는 작업 계획 모델 및 실행 모델을 제시하고, 이 모델을 활용하여 Android 플랫폼에서 개발된 자동 작업 실행 체계인 Smart Script 시스템의 설계와 구현에 대해 소개한다.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.9 no.2
• /
• pp.23-33
• /
• 2014

This paper aims at delivering significant implications to high-tech startups by visualizing the implementation process of leading KOSDAQ listed companies's business model. This paper founded two meaningful outcomes; first, hish-tech starts-up make a clear direction of implementing intangible business model in real business, second, targeting the role model of benchmarking business model among leading companies, by linking common feature between high-tech starts-up and leading KOSDAQ listed venutures sharing one of Key performance indexes falls on viable business model. The research results of visualizing the implementation of leading KOSDAQ listed ventures' business model shows three major implications. First, business model indicates not just simple logic of creating and delivering values, but more shows CEO leading management vehicle. Second, business model represents the multi-dimension process itself of integrating in and out company's core assets and competencies initiated by CEO. Third, financial outcomes of business model is automatic result of implementing on setting target customer, creating value, and delivering it rather than planned strategically. Fourth, the focal points of implementing business model falls on collecting real information from business sites.

• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.258-265
• /
• 2006

DEVS formalism is advantageous in modeling large-scale complex systems and it reveals good readability, because it can specify discrete event systems in a hierarchical manner. In contrast, it has drawback in that the simulation speed of DEVS models is comparably slow since it requires frequent message passing between the component models in run-time. This paper proposes a method, called model composition, for simulation speedup of DEVS models. The method is viewed as a compiled simulation technique which eliminates run-time interpretation of communication paths between component models. Experimental results show that the simulation speed of transformed DEVS models is about 18 times faster than original ones.