• The Journal of the Korea Contents Association
• /
• v.18 no.7
• /
• pp.177-193
• /
• 2018

The business process management system that can integrate and manage a medical institution's processes has been increased importance to adapt to constantly changing medical environments and share information with various external medical institutions. The business process management system is an automated process tool that converts the graphic-based BPMN process model into a WS-BPEL, the execution language of the web service environment, and executes it through the process engine. However, the BPMN process model can be difficult to convert into WS-BPEL due to several ambiguities and structural inconsistencies. The process model may also contain structural anomalies that can lead to execution errors during process execution. In this paper, we present business process model formalization and structural anomaly verification techniques for facilitating integrated process management in medical institutions. Through the case study based on the IHE profile, we presented a formalized BPMN process model and verify the structural anomalies. We show the superiority of the proposed technique through comparative experiments with other related works.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.496-498
• /
• 2004

소규모 단위의 프로젝트이지만 안정성과 정확성을 중요시하는 제약 시스템 개발 프로세스에 대한 제반 문제들을 보완하기 위해서 시스템 개발 위험도를 최대한 낮추고 품질을 향상시키는데 적합한 반복적 개발 방법을 기반으로 프로젝트의 복잡도, 영역 속성의 측정 결과 값에 따라 프로세스 테일러링 할 수 있도록 개발된 세계적 제약회사 Merck ＆amp; Co., Inc.의 프로세스 테일러링에 대한 표준 가이드라인을 제시한다. 실제 소규모 단위 시스템 개발에 프로세스 테일러링을 적용한 프로젝트와 적용하지 않은 프로젝트간의 성과 결과 측정을 통해 프로세스 테일러링 적용을 통한 시스템의 안전성과 정확성이 향상된 사례를 검증하고 있다.

• Korean Journal of Construction Engineering and Management
• /
• v.21 no.2
• /
• pp.88-97
• /
• 2020

Practical and efficient application of lean construction, which has been proposed as an alternative to the limitations of traditional construction management methods, was developed to facilitate application on site and improve productivity through the fusion of traditional construction management methods. The concepts of Lean Time and Lean Cycle Time, which are the principles of lean construction, were introduced to eliminate waste and smooth flow production and pursuit of perfection, and the goal of establishing and improving the criteria for measurement and improvement was established and the information collection template was configured and applied to ensure reliability of measurement and analysis. Based on this, the project feasibility, reliability, and continuous improvement process were applied to the Field case to verify its effectiveness.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.1
• /
• pp.77-86
• /
• 2004

In recent, workflow technology has been spotlighted in the literature, according for e-business processes and their automations to be taken important and essential parts into account in the enterprise information processing environment, because the workflow technology ought to be an impeccable solution for automating the e-business processes. When we analyze and model e-business processes in an enterprise, it is very important to verify and validate the e-business processes before they are deployed on the real business environment. Especially, it should be very worthy for the verification and validation work to be done by a kind of graphical visualization approaches. This paper propose a business process enactment animator implemented by Java Technologies. And it supports WPDL(Workflow Process Definition Language) as well as XPDL(XML-Based Process Definition Language), both of which are the standard specification language by WfMC that is the international standardization organization for Workflow Technology.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2023.05a
• /
• pp.233-235
• /
• 2023

해상물류 통합 프로세스 자동화 서비스 실증 모델 개발 연구는 자율운항선박과 스마트항만이 도래되었을 때 스마트 해상 물류 통합을 위해 자동화할 수 있는 일부 업무들을 해상물류 중심의 프로세스와 상호 프로세스를 도출하고 관련 업무의 분야별 데이터를 통합하여 해상물류 통합 프로세스 자동화 서비스 실증 모델을 개발하고 검증하는 연구 내용이다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.11a
• /
• pp.239-241
• /
• 2022

스마트 해상물류 통합 프로세스 자동화 및 간소화 기술 설계를 위해 해운-항만-내륙 물류의 다양한 서비스와의 연계 데이터 관리패턴을 설계하고, 디지털 문서 수용 및 데이터 교환을 위한 상호 운용성 보완 기술 설계, 프로세스 기반 거래검증 알고리즘 개발 및 데이터교환 트랜잭션 자동화 기술 개발을 통해 해상물류 통합 프로세스 설계 프로토타입을 구현하고자 한다.

• Proceedings of the Safety Management and Science Conference
• /
• 2012.11a
• /
• pp.473-485
• /
• 2012

최근 현대사회는 자동차, 철도 및 항공 등 대형 복합 시스템의 체계 속에서 지내고 있으며, 고장 및 사고로 인한 시스템의 안전 설계에 대한 고려와 안전에 대한 인식이 증가하고 있다. 따라서 기존의 시스템공학 프로세스에서 다루는 시스템 설계에 대한 단계별 안전 활동의 강화의 필요성 역시 강조되고 있다. 그 중에서도 시스템 설계의 최종 활동에 해당하는 검증 단계 활동이 제대로 수행되어야만 초기에 의도한 시스템 설계의 안전도 향상을 바라볼 수 있을 것이다. 본 논문에서는 안전 활동을 고려한 시스템공학 프로세스의 검증 단계의 개선사항 도출과 모델링을 통해 안전중시 시스템인 철도 차량 운전실 시스템을 대상으로 적용 및 조정 구축에 대한 내용을 기술하고 있다. 본 연구의 결과를 토대로 향후 품질 향상 및 비용 절감과 데이터의 관리 및 추적기능을 개선함으로써 안전사고 발생 가능성을 줄일 수 있을 것으로 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.220-222
• /
• 2012

SaaS 어플리케이션 개발시 비즈니스 프로세스 자동화를 위한 과정에 검증 기능을 추가함으로써 보다 안전한 SaaS 어플리케이션을 개발 할 수 있는 방법을 제안하였다. 이를 활용하면 SaaS 어플리케이션에서 발생하는 프로세스들간 실행에서 deadlock, safety, liveness 등을 보장받을 수 있고, 비즈니스 프로세스들의 여러 버전들간의 일관성 및 어플리케이션 개발자가 개발한 결과물과 테넌트 관리자가 수정한 결과물에 대한 일관성을 보장받음으로써 신뢰할 수 있는 SaaS 어플리케이션을 개발 할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.364-366
• /
• 2003

수준 높은 소프트웨어의 품질과 개발, 유지보수 비용의 최소화, 제품 출하시간의 단축을 위하여 소프트웨어 프로세스에 대한 예측, 통제 가능성을 증가시키기 위함이다. 기업이 최고도의 높은 수준에 도달하기 의해서는 정량적인 모델에 의한 프로젝트 관리가 필요하다. 따라서 기업들은 SPICE/CMM와 같은 표준을 사용하여 조직의 프로세스 능력 수준을 평가하고 수준향상을 꾀한다. 조직의 프로세스의 능력을 평가하고 수준향상을 위해서는 신뢰성 있는 SPICE 심사의 심사결과에 대한 객관적인 신뢰성의 보장과 좀더 적은 비용으로 프로세스의 수준향상을 할 수 있는 방법이 필요하다. 본 논문에서는 SPICE 심사의 신뢰성을 얻기 위해 CMM/KPA 설문서를 통해 심사하고 SPICE심사의 결과를 비교 분석하여 SPICE심사의 신뢰성을 검증한다. 또한 이를 기반으로 CMM/KPA 설문서의 정량적인 모델을 제안함으로서 좀더 적은 비용과 시간으로 SPICE 심사의 결과와 같은 효과를 얻을 수 있게 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.437-440
• /
• 2008

소프트웨어 제품에서 Windows 드라이버의 결함은 BSOD 를 발생시키거나 제품의 전체 기능을 마비시켜 제품 신뢰도에 악영향을 미치게 된다. Windows 드라이버는 제품과 연관되는 부분이 많아 별도의 테스트가 어려워, 제품의 알파 테스트 단계에서 검증 단계를 거치게 된다. 이 단계에서는 테스트는 드라이버만의 기능 검증이 어렵고, 드라이버 결함 원인 파악 및 수정 기간의 연장을 가져온다. 이로 인한 전체 프로젝트 일정에도 영향을 주게 된다. 이에 본 연구에서는 드라이버의 신뢰성을 확보를 위한 Windows 드라이버 테스트 프로세스를 제시하였다. 전체 개발 프로세스 내에 드라이버에 관한 테스트 프로세스를 구체화하고, 드라이버 별도의 테스트 단계를 두는 방안을 제안했다. 제품 알파 단계 이전에 드라이버의 결함을 발견하여 제품 테스트 기간에 발견되는 드라이버 결함 발견이 감소되는 것을 증명하였다.