• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.6
• /
• pp.558-571
• /
• 1992

In this paper, we propose an improved method of state exploration called the extended circular exploration (ECE) for the efficiency of state exploration and the reduction of explosively growing state. The ECE does not need to explore all the reachable global states, and It can be applied to JV($\boxDr$$\geq$ 2) -party protocol with alternative routes, i.e., it is applicable to the protocol In which adaptiverouting mechanism can be performed. The ECE eliminates a restriction of topology of the conventional circular exploration(CE) by exploring only those global states which are reachable, provided that the participant processes of any group of transitions proceed at the same speed, and that they can be formed as a cycle. Thus the state space explored if not exhaustive. The algorithm presented can detect deadlock error and unspecified reception error It requires storage space and /or execution time much less than those of the conventional perturbation(CP) . It might be used for a solution of the N-process collision and the interference mechanism.

• Korean Journal of Construction Engineering and Management
• /
• v.9 no.2
• /
• pp.81-89
• /
• 2008

The purpose of this study Management Effectiveness Analysis of Construction Process Management. This study is to analyze the effects that process management has in outcome has been done by setting 5 elements of process management system as independent variables, making hypothesis, surveying and analyzing. The results of this analysis showed that process management operation level can be measured effectively through the application of Business Process Management System, and Process management strategy is found out to be contributed to improving strategy operation support, process management and IT connection technology. By seeing this research result, through optimally applying 'process management' in construction industry, process management can be used to improve the construction industry's potential competitiveness by improving effectiveness in works in the fields of strategy operation, process management, IT connection etc. So, by practically verifying the effectiveness of 'process management system', the purpose of this research is to come up with the necessity and the development of 'process management system' in construction industry.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.983-990
• /
• 2003

Developing a component-bassed software requires verified and standardized software components. This paper presents and approach to build conponent quality assurance process based on process patterns. To describe process patterns, a metamodel is suggested and several process for software components. The process pattern approach was applied to real projects and its advantages and disadvantages are discussed.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.325-327
• /
• 2005

모델 체킹은 시스템이 올바르게 동작하는 지를 자동으로 검증해주는 기법이다. 지금까지 모델 체킹은 방법의 특성상 상태폭발문제 때문에 작은 규모의 상태공간을 갖는 하드웨어나 프로토콜 검증에 주로 사용되어져 왔다. 그러나 최근에는 상태폭발문제를 다루기 위한 연구와 술어추상화 등과 같은 추상화기술의 발달로, 다를 수 있는 상태공간의 크기가 증가하고 정리증명기의 성능이 향상됨에 따라 소프트웨어 자체의 논리적 오류를 검증하려는 움직임이 활발하다. 일반적으로 소프트웨어 검증을 위해 추상화-모델 체킹-추상화 개선의 3단계 프로세스를 사용하는데 주로 C프로그램에 대해서만 이루어져 왔다. 우리는 이 프로세스를 자바프로그램에 적용하고 자동으로 자바프로그램을 이진프로그램으로 변환하는 술어추상화 모듈을 개발하였다. 이 모듈은 우리가 개발한 자바 모델 체커의 front-end부분이다. 본 논문에서는 자바프로그램에 대한 주요 추상화 알고리즘을 보이고 특정 자바프로그램의 안전성과 궁극성을 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.16-21
• /
• 2010

분산 이동 실시간 시스템의 명세, 개발 및 검증을 위해 ${\pi}$-calculus, bigraph, Mobile Ambient, CARDMI 등의 정형기법이 존재한다. 이러한 정형기법은 이동하는 에이전트 혹은 프로세스에 대한 명세 및 시스템의 안전성과 검증에 대한 분석을 지원하지만, 행위의 의미적 관점에서 분석 및 검증 방법을 제시하고 있지 않다. 본 논문에서는 정형기법으로 명세 된 시스템의 실행 데이터인 원시 데이터를 행위의 의미적 관점에서 시스템을 분석 및 검증이 가능한 Prism Analyzer를 제안한다. 제안된 Prism Analyzer는 특정 시스템에 대해 발생할 수 있는 다양한 행위를 온톨로지와 속성문법으로 정규화한 다양한 행위모델을 지닌다. 이러한 Prism Analyzer는 원시 데이터를 행위의 의미적 측면에서 개별적, 연속적, 복합적으로 분석 및 검증이 가능하고, Prism Analyzer에 정의된 다양한 행위 모델을 바탕으로 동일한 원시 데이터에 대해 행위 모델에 따른 다양한 분석 결과를 도출해 낼 수 있다.

• Journal of IKEEE
• /
• v.20 no.4
• /
• pp.428-431
• /
• 2016

Power semiconductor devices had been producted with bipolar only processes, but Bipolar-CMOS-DMOS(BCD) processes have been adapted recently to fabricate these devices since most foundry companies have provided BCD processes instead of Bipolar only processes. In this study, Regulator and OP Amp are used as most popular design IPs and BCD processes for the designing are converted from bipolar only processes. Power Switching Sensor(PSS) ICs are designed specifically and fabricated on a silicon chip. The operation results of the packaged chip show the good matching with test results of the simulation.

• 한국공간정보시스템학회:학술대회논문집
• /
• 2000.06a
• /
• pp.157-177
• /
• 2000

GIS도 다른 정보시스템과 마찬가지로 복잡화, 대형화, 전략정보시스템화로 발전해 가면서 개발방식 체계화가 요구되었다. 그러므로 계획에서부터 철저한 사용자의 요구사항의 분석과 설계가 요구되었으며 결국 GIS 개발방법론 적용의 필요성이 대두되기 시작하였다. GIS 개발방법론은 기존의 정보시스템 개발방법론에 빠져있는 공간정보 구축 및 검증절차를 다루기 위한 계획 및 절차의 미비점을 보완하고 여러 GIS 특성을 반영하여 프로젝트 수행시 보다 유용성 있는 성과물을 산출할 수 있도록 하여야 한다. 본 연구에서는 GIS 개발방법론을 도출하기 위한 기반연구로서 새로운 개발방법론을 창출하기보다는 기존의 정보시스템 개발방법론에서 GIS의 특성을 설명할 수 없는 부분의 프로세스를 도출하고 이를 중심으로 한 GIS 개발방법론의 기본 프로세스를 제시하였다. 이를 위해 GIS 프로젝트의 특성을 바탕으로 기존의 개발방법론의 GIS 프로젝트 적용시 문제점을 분석하여 GIS 개발방법론의 기본 프로세스를 제시하였다. GIS 개발방법론의 완성을 위해선 태스크 및 산출물의 정의가 추가적으로 연구되어야 하고 실질적인 검증과 표준화 과정이 남아 있으므로 본 연구는 향후의 GIS 개발방법론 정립을 위한 시작으로 간주될 수 있을 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.118-120
• /
• 2003

PtolemyII의 CSP 도메인은 병렬 시스템을 효과적으로 명세할 수 있는 프로세스 알제브라 언어인 CSP를 구현한 것이다. CCS도 프로세스 알제브라 언어로써 정형적으로 병렬시스템을 명세하고 검증할 수 있다. 이 두 언어는 비슷한 목적으로 가지고 개발되었으나 통신의 세부적인 부분의 개념에 있어서 차이가 존재한다. 특히 CCS 를 기반으로 하여 개발된 ACSR 의 경우 실시간 시스템을 정형적으로 명세하고 검증하기 위해 필요한 시간과 자원의 개념을 추가하였다. 본 논문에서는 ACSR 도메인을 PtolemyII에 구현하기 위한 단계적인 방법으로 CCS와 CSP의 차이점을 밝혀서, 기존의 CSP 도메인의 Rendezvous 알고리즘을 CCS 기반의 통신이 이루어 질 수 있도록 수정하여 PtolemyII에 CCS 도메인을 구현하였다.

• The Journal of Society for e-Business Studies
• /
• v.13 no.3
• /
• pp.51-66
• /
• 2008

The Business Process Management System(BPMS) has received more attentions as companies increasingly realize the importance of business processes. However, traditional BPMS has focused mainly on correct modeling and exact automation of process flow, and paid little attention to the achievement of final goals of improving process efficiency and innovating processes. BPMS usually generates enormous amounts of log data during and after execution of processes, where numerous meaningful rules and patterns are hidden. In the present study we employ the data mining technique to find out useful knowledge from the complicated process log data. A data model and a system framework for process mining are provided to help understand the existing BPMS. Experiments with the simulated data demonstrate the effectiveness of the model and the framework.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.1-3
• /
• 2002

최근 S/W관련 산업계에서는 조직의 프로세스 개선 요구가 증대되고 있다. 이는 수준 높은 소프트웨어의 품질과 개발, 유지 보수 비용의 최소화, 제품 출하시간의 단축을 위하여 소프트웨어 프로세스에 대한 예측, 통재 가능성을 증가시키기 위함이다. 따라서 SPICE / CMM와 같은 표준을 사용하여 조직의 프로세스 능력 수준을 평가하고 수준향상을 꾀하고, 기업이 최고도의 높은수준에 도달하기 위해서는 조직의 비젼에 대응한 정량적인 모델에 의한 프로젝트 관리가 필요하다. 본 논문에서는 목표기반 (GQM) 방법을 도입하여 소프트 웨어 프로세스 개선 (SPI)을 추진하고, 경험공장(EF)를 구축하는 기반이 되는 프로젝트 정보 구축 모델을 설계하고 이 과정의 방법론과 모델을 UML로 표현하여 검증하고, 사례연구를 통한 모델의 신뢰성을 확인하고자 한다. 목표기반 방법을 사용하여 조직의 목표를 도출해 내고, 구축된 조직의 목표를 SPA에서 나온 개선사항에 프로젝트의 목표로 투영하여 조직전체의 프로세스가 조직의 목표에 맞추어 나아감으로서, 조직의 프로세스 개선과 최적화를 성취할 수 있게 한다.