• 한국정보통신학회논문지
• /
• 제6권8호
• /
• pp.1325-1335
• /
• 2002

자동화된 업무 처리를 위한 워크플로우 시스템이 일반화되었다. 본 연구는 워크플로우 로그 로부터 워크플로우 명세를 탐사하는 방안을 제안한다. 제안한 기법은 과업간 순환, AND 그리고 OR 제어 흐름을 고려하여 워크플로우 명세를 탐사한다. 또한 로그 생성 시에 워크플로우 명세를 탐사할 수 있는 동적 탐사 기법을 제안한다.

• 정보보호학회논문지
• /
• 제15권4호
• /
• pp.39-50
• /
• 2005

정보화 역기능을 해결하기 위한 정보보호의 중요성이 높아짐에 따라 정보보호제품 및 시스템의 평가인증 수요가 증가하고 있으며 비용-효과적인 평가관리가 필요하다. 따라서, 본 논문은 평가자가 정보보호시스템에 대한 평가를 수행할 때 일련의 절차에 따라 평가업무를 수행 및 관리할 수 있는 CC(Common Criteria :공통평가기준)기반의 반자동화 평가워크플로우 관리 시스템(Sa-EWMS : Semi-automated Evaluation Workflow Management System)을 제시하였다. 본 시스템은 종래 수동적인 평가업무로 인한 시간과 노력의 소비 문제점을 해결하고 효율적인 평가수행을 위한 것으로, 각 엔진별 업무에 대한 워크플로우 프로세스를 추적하고 수행을 조정하는 역할을 하며 평가수요 및 시장창출에 대응하는 민간평가기관에서 유용하게 이용할 수 있을 것이다.

• 정보기술과데이타베이스저널
• /
• 제6권1호
• /
• pp.59-72
• /
• 1999

A study on workflow system as an automated business processing system is done recently. However, it did not consider various dependencies between parallel tasks. Therefore, this paper proposes modeling and verification of workflows with various parallel dependencies. For this, firstly, we propose four dependencies to specify various parallel dependencies between tasks. They contain sequential starts, parallel starts, sequential commits, and parallel commits. Secondly, we suggest a method to specify various parallel dependencies on workflow graph. Thirdly, we propose a verification method to detect contradictions on workflow specifications.

• Nuclear Engineering and Technology
• /
• 제56권10호
• /
• pp.4463-4469
• /
• 2024

This paper details a computational framework to produce automated, graphical workflows, and how this framework can be deployed to support complex modeling problems like those in nuclear engineering. Key benefits of the framework include: automating previously manual workflows; intuitive construction and communication of workflows through a graphical interface; and automated file transfer and handling for workflows deployed across heterogeneous computing resources. This paper demonstrates the framework's application to probabilistic post-closure performance assessment of systems for deep geologic disposal of nuclear waste. However, the framework is a general capability that can help users running a variety of computational studies.

• 산업공학
• /
• 제16권spc호
• /
• pp.49-54
• /
• 2003

In e-business environment, business processes inevitably get more entangled and entail collaboration between distributed and heterogeneous platforms that are not easy to manage. Therefore, systematic and automated management of business process execution has drawn a great concern among companies that necessitate collaborative business processes. The concept of workflow inheritance enables abstraction, polymorphism and reusability of processes, and therefore contributes to extending and executing the processes effectively. We analyze various types of interoperation between business processes, and identify 6 primitive interoperability patterns. We propose a method for extensible collaborative process composition using workflow inheritance and provide collaborative workflow between business processes using web services.

• 한국정보처리학회논문지
• /
• 제7권7호
• /
• pp.2028-2040
• /
• 2000

최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에대한 연구가 활발히 이루어지고 있다. 본 연구는 병행 수행되는 과업간에 다양한 종속성을 포함한 워크플로우 명세에 대해, 페트리넷을 이용한 완료 기능성 및 완료 무결성 검증 방안을 제안한다. 이를 위해 첫째, 기존에 연구된 워크플로우 그래프를 이용한 워크플로우 명세 방안을 간략히 기술한다. 둘째, 워크플로우 명세의 검증을 위해, 워크플로우 그래르를 레트리넷으로 변환하기 우한 방안을 제안한다. 셋째, 페트리넷을 이용하여 워크플로우 명세가 왼료 가능한지를 검증하는 완료 가능성 검증과 원하지 않는 워크플로우 상택가 존재하는지 검증하는 무결성 검증방안을 제안한다. 넷째, 제안된 검증방안의 구현 및 모순 추출 방안을 제안한다.

• 정보처리학회논문지D
• /
• 제10D권7호
• /
• pp.1189-1196
• /
• 2003

IT 산업의 발달로 인해 조직의 자동화된 업무 흐름인 워크플로우에 대한 관심과 연구가 활발해지고 있다. 본 논문에서는 워크플로우 설계시 자주 사용되는 기본 구조와 다양한 병행 처리 구조론 개념적인 설계가 가능한 EMFG(Extended Mark Row Graph)로 먼저 표현한 후 워크플로우를 모델링한다. 모델링된 EMFG를 시뮬레이션하여 워크플로우의 완료 가능 여부를 알 수 있는 수행완료 가능성 검증 방법과 수행완료 후에 나타날 수 있는 논리적 오류 검증 방범을 제안한다. 제안한 워크플로우의 EMFG 모델링 및 분석 방법을 사용하면 시각적이고 정형적인 설계가 가능하고 직관적인 수학적 해석이 가능하다.

• 국제학술발표논문집
• /
• The 8th International Conference on Construction Engineering and Project Management
• /
• pp.63-74
• /
• 2020

The assembly of modular construction requires a series of thoroughly-considered decisions for crane lifting including the crane model selection, crane location planning, and lift path planning. Traditionally, this decision-making process is empirical and time-consuming, requiring significant human inputs. Recently, research efforts have been dedicated to improving lift planning practices by leveraging cutting-edge technologies such as automated data acquisition, Building Information Modelling (BIM) and computational algorithms. It has been demonstrated that these technologies have advanced lift planning to some degree. However, the advancements tend to be fragmented and isolated. There are two hurdles prevented a systematic improvement of lift planning practices. First, the lack of formalized lift planning workflow, outlining the procedure and necessary information. Secondly, there is also an absence of a shared information environment, enabling storages, updates and the distribution of information to stakeholders in a timely manner. Thus, this paper aims to overcome the hurdles. The study starts with a literature review in combination with document analysis, enabling the initial workflow and information flow. These were contextualised through a series of interviews with Australian practitioners in the crane-related industry, and systematically analysed and schematically validated through an expert panel. Findings included formalized workflow and corresponding information exchanges in a traditional lift planning practice via a Business Process Model and Notation (BPMN). The traditional practice is thus reviewed to identify opportunities for further enhancements. Finally, a BIM-based lift planning workflow is proposed, which integrates the scattered technologies (e.g. BIM and computational algorithms) with the aim of supporting lift planning automation. The resulting framework is setting out procedures that need to be developed and the potential obstacles towards automated lift planning are identified.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제10권2호
• /
• pp.156-173
• /
• 2004

협업 워크플로우 관점에서 비즈니스 프로세스는 기업 내외의 애플리케이션들과 인적 자원들과의 유기적인 결합을 통하여 협업 프로세스를 신속하고 유연하게 수행할 수 있도록 지원하여야 한다. 현재기업 업무에 대한 시스템 의존도가 높아지고는 있지만, 인간은 여전히 핵심적인 역할을 차지한다. 즉 워크플로우 모델링에는 이러한 인간의 역할이 강조되어야 하며 인간 의사결정 과정 자체를 분석하여 인적오류를 제어할 수 있는 구조가 반드시 필요하다. 또한 액티비티간의 협업을 통하여 빠르고 효율적인 커뮤니케이션이 구축되어 궁극적으로는 액티비티들이 목표 프로세스에 연류되어 결과물에 대한 품질이 향상되도록 하여야 한다. 이에 본 논문에서는 협업 워크플로우에서 발생할 수 있는 인적오류를 제어하기 위해 GEMS(Generic Error Modeling System) 모델을 적용한다. 또한 하이브리드 기반의 모델링 방법을 통한 인적오류 제어 방법을 제시한다. 아울러 이러한 기반에서 협업 워크플로우를 모델링할 수 있는 도구를 설계하고 구현한다. 이와 같은 모델링 방법을 사용하면 인간 자체의 특성을 고려함으로써 인적오류를 제어할 수 있는 워크플로우 모델링이 될 수 있도록 지원할 수 있다.

• 국제학술발표논문집
• /
• The 1th International Conference on Construction Engineering and Project Management
• /
• pp.569-574
• /
• 2005

This paper presents the core technology of Construction Business Process Automation to model and automate construction business processes. Business Process Reengineering (BPR) and Automation (BPA) have been recognized as one of the important aspects in construction business management. However, BPR requires a lot of efforts to identify, document, implement, execute, maintain, and keep track thousands of business processes to deliver a project. Moreover, existing BPA technologies used in existing Enterprise Resource Planning (ERP) systems do not lend themselves to effective scalability for construction business process management. Application of Workflow and Object Technologies would be quite effective in implementing a scalable enterprise application for construction community. This paper present the technologies and methodologies for automating construction business processes by addressing how: 1) Automated construction management tasks are developed as software components, 2) The process modeling is facilitated by dragging-and dropping task components in a network, 3) Raising business requests and instantiating corresponding process instances are delivered, and 4) Business process instances are executed by using workflow technology based on real-time simulation engine. This paper presents how the construction business process automation is achieved by using equipment reservation and cancellation processes simplified intentionally.