• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.8
• /
• pp.1325-1335
• /
• 2002

Workflow systems, automated business processing, have been generalized. In this paper, we propose a method to mine workflow specification on workflow logs. The method detects workflow specification considering cycle, AND and OR control flow between tasks. Also, we provide dynamic mining method to detect workflow specification in which log is generated.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.4
• /
• pp.39-50
• /
• 2005

An evaluation demand and a market growth regarding evaluation and certification are increasing because the importance of information Security is gradually rising to solve the information disfunction. Therefore, it is necessary the cost-effect evaluation management of the Information Security System(ISS). In this paper, we propose the Semi-automated Evaluation Workflow Management System(Sa-EWMS) based on the Common Criteria(CC) which performs and manages evaluation work through the procedure when evaluator evaluates the Information Security System(ISS). The Sa-EWMS is solving a problem of consumption of time and effort and performing efficient evaluation, it is playing a significant role that traces workflow process of each work of the Engines and controls performance. It will be able to use useful the private evaluation enterprise which confront in an evaluation demand and a market growth.

• The Journal of Information Technology and Database
• /
• v.6 no.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.

• IE interfaces
• /
• v.16 no.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.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.7
• /
• pp.2028-2040
• /
• 2000

A study on workflow as an automated business processing system is done recently. This appear proposes a method to verify commitability and integrity of workflow specifications, which include various dependencies between parallel tasks, using petri nets. For this, firstly, e describe briefly workflow specification method using workflow graphs. Secondly, we propose a method to convert a workflow graph into a petri net to verify workflow specifications. Thirdly, we suggest the commitability verification method using petri nets to check whether workflow specifications can commit or not and the integrity verification method to check whether invalid components exist or not. Lastly, we implement the proposed verification method and propose a defect extraction method.

• The KIPS Transactions:PartD
• /
• v.10D no.7
• /
• pp.1189-1196
• /
• 2003

Owing to the developed If industry, many people are more and more interested in Workflow which is an automated business processing system. In this paper, we present basic structures and various parallel processing structures of a workflow using EMFG (Extended Mark Flow Graph) that makes conceptional design available. And then, We design a workflow with EMFG. We propose the commitability verification method to check whether a workflow can complete or not and the logical bug verification method to find whether invalid components exist or not by using simulation result of it. The proposed EMFG modeling and analysis method for a workflow make it possible to become a visual and formal design. Also, it makes intuitional and mathematical analysis possible.

• International conference on construction engineering and project management
• /
• 2020.12a
• /
• 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.

• Journal of KIISE:Computing Practices and Letters
• /
• v.10 no.2
• /
• pp.156-173
• /
• 2004

Business process should support the execution of collaboration process with agility and flexibility through the integration of enterprise inner or outer applications and human resources from the collaborative workflow view. Although the dependency of enterprise activities to the automated system has been increasing, human role is as important as ever. In the workflow modelling this human role is emphasized and the structure to control human error by analysing decision-making itself is needed. Also, through the collaboration of activities agile and effective communication should be constructed, eventually by the combination and coordination of activities to the aimed process the product quality should be improved. This paper classifies human errors can be occurred in collaborative workflow by applying GEMS(Generic Error Modelling System) to control them, and suggests human error control method through hybrid based modelling as well. On this base collaborative workflow modeling tool is designed and implemented. Using this modelling methodology it is possible to workflow modeling could be supported considering human characteristics has a tendency of human error to be controlled.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• 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.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.8 no.3
• /
• pp.541-548
• /
• 2007

The workflow, one of core features for modern business operation, models common elements and their relationships in business processes. The research is focused on how to adapt the workflow model to the healthcare examination which becomes popular these days. Especially, we intend to have fully automated process for healthcare examination by providing customers with PDA with RFTD chip. In order to realize this goal, this paper proposes the design of software architectures the class structures, and the definition of messages used for the system interactions. In other word, the paper shows the analysis of healthcare application in terms of service scenario and the design of workflow engine ant ubiquitous healthcare application under the Object-Oriented programming environment. the The result of the study may also enable the unmanned healthcare examination as well as ubiquitous based healcare examination sooner or later.