• Journal of Information Technology Services
• /
• v.5 no.2
• /
• pp.107-123
• /
• 2006

The objectives of this study is to develop a strategy for the adoption of BPM(Business Process Management) standards and an implementation guideline of the BPM standard for BPM solution developers focusing on BPEL(Business Process Execution Language) which is regarded as the most important BPM standard. In the heterogeneous and distributed IT environments, every type of enterprise software requires standards to enhance interoperability. BPMS(Business Process Management System), which is a type of enterprise software requires BPM standards such as BPEL(Business Process Execution Language), BPMN(Business Process Modeling and Notation), BPQL(Business Process Query Language) and so on to achieve multi-system interoperability and component interoperability with their BPM solutions. It is quite helpful to provide the adoption strategy concerning BPM standards for each type of BPM solution vendors who need the BPM standards. Since the BPEL is conceived as the most important BPM standard and widely adopted by many BPM vendors, we have proposed a reference architecture for BPEL implementation and also developed the detail implementation guideline of core components of the BPM system supporting the BPEL standard. Using the strategy and implementation guideline proposed in this work, BPM solution vendors can establish their own standard adoption strategy and they can also develop their BPM solutions supporting the BPM standards more efficiently.

• The KIPS Transactions:PartD
• /
• v.14D no.1 s.111
• /
• pp.97-106
• /
• 2007

In this paper, the business process was easily modeled by distinguishing between the business process and work logic. Based on this model, B2Bi collaboration Workflow modeling tool, which facilitates collaboration, was designed and implemented. The collaboration workflow modeling tool consists of 3 components; business process modeling tool, execution engine and monitoring tool. First, a business process modeling tool is used to build a process map that reflects the business logic of an application in a quick and accurate manner. Second an execution engine provides a real-time execution environment for business process instance. Third, a monitoring tool provides a real-time monitoring function for the business process that is in operation at the time. In addition to this, it supports flexibility and expandability based on XML and J2EE for the linkage with the legacy system that was used previously, and suggests a solution for a new corporate strategy and operation.

• Journal of Information Technology Services
• /
• v.11 no.1
• /
• pp.141-153
• /
• 2012

USM(Unit Service Management System) is the development tool and methodology to handling the event process in a U-City integrated platform by using the minimum unit services. USM can be one of the SOA development methodology. Minimum unit service has a minimum business logic that can be executed with input and output parameters. Minimum unit service consists of three parts : service profile, service input and output parameters and service execution information. USM provides two types of the execution method. One is module execution and the other is web service execution. The development of the event sinario by the USM development methodology can reduce the cost and duration of the u-service development by raising the rate of reusing minimum unit service.

• Journal of Information Technology and Architecture
• /
• v.10 no.3
• /
• pp.295-303
• /
• 2013

This paper presents a new approach to managing dynamic business process changes based on business process change patterns. We identify and categorize business process change patterns that occur recurrently in a dynamic business environment. Several issues regarding management of process versions are discussed, and a pattern-based version management method for handling process changes more flexibly is explained in detail. We propose a mechanism for abstract process execution with runtime encapsulation of a business process, which can maximize the flexibility of process execution using multiple process versions. In addition, we propose a concept of process promotion and demotion that can dynamically choose an actual version of the process at run-time. With our pattern-based process change management and versioning approach, it is expected that the flexibility and efficiency of BPM systems can be enhanced significantly.

• ETRI Journal
• /
• v.16 no.4
• /
• pp.27-47
• /
• 1995

This paper improves top-down execution models of logic programs based on a two-phase abstract interpretation which consists of a bottom-up analysis followed by a top-down one. The two-phase analysis provides an approximation of all (possibly non-ground) success patterns of clauses relevant to a query. It is specialized by considering Sato and Tamaki’s depth k abstraction as abstract function. By the ability of the analysis to approximate possibly non-ground success patterns of clauses relevant to a query, it can be statically determined whether some subgoals will fail during execution and some succeeding subgoals do not participate in success patterns of program clauses relevant to a given query. These properties are utilized to improve execution models. This approach can be easily applied to any top-down (parallel) execution models. As instances, it is shown to be applicable to linear execution model and AND/OR Process Model.

• Korean Management Science Review
• /
• v.20 no.2
• /
• pp.17-31
• /
• 2003

A workflow management system is a software system to support accurate execution, control and management of business processes. It has been known that the system automatically executes complex processes and effectively manages them to improve the productivities. However though existing systems assure the automatic execution of an individual process, there is a room for enhancement from the view of efficient execution of all the processes. In this paper, we propose a method of executing business processes efficiently by introducing the PERT/CPM techniques in the workflow management systems. We first consider the differences between workflow process models and PERT/CPM models, and then develop a method of calculating the critical path and slack time in workflow processes. This leads us to develop a dispatching rule that can guide task performers to prioritize their tasks to increase the efficiency of ail the processes. We have carried out a set of simulation experiments and analyzed the results to demonstrate the effectiveness of the proposed method.

• The Journal of Bigdata
• /
• v.3 no.1
• /
• pp.47-54
• /
• 2018

Previous studies of business process analysis have analyzed various factors such as task, customer service, operator convenience, and execution time prediction. To accurately analyze these factors, it is effective to utilize actual historical data recorded in information systems. Process mining is a technique for analyzing various elements of a business process from event log data. In this case study, process mining was applied to the transaction data of a purchase agency to analyze the business process of their procurement process, the execution time, and the operators.

• The KIPS Transactions:PartA
• /
• v.13A no.4 s.101
• /
• pp.289-294
• /
• 2006

Checkpointing is an effective mechanism that allows a process to resume its execution that was discontinued by a system failure without having to restart from the beginning. Especially, page-level incremental checkpointing saves only the modified pages of a process to minimize the checkpointing overhead. This means that in incremental checkpointing, the time consumed for checkpointing varies according to the amount of modified pages. Thus, the efficient interval of checkpointing must be determined on run-time of the process. In this paper, we present an efficient and adaptive page-level incremental checkpointing facility that is based on the cost analysis of process execution time. In our simulation, results show that the proposed mechanism significantly reduced the average process execution time compared with existing fixed-interval-based page-level incremental checkpointing.

• 사회경제평론
• /
• v.29 no.1
• /
• pp.155-197
• /
• 2016

Since Aristotle, human capability has been understood as the form of existence. The capability is presupposed before execution in mainstream economics, Marx's capitalist labour process, even socialist labour process. Of course, Marx shows that the value of capability and execution is different in capitalist labour process. Also Marx points out heteronomy that producer can't have products as his own. Even socialist labour process can't cut off shackles of heteronomy. It is necessary to change way of thinking in order to cut off shakles of heteronomy and to develop human's full potential. The changing way of thinking is to restore labour into primary labour which is purpose as life itself not means. Human capability is potential. We can't define potential as the form of existence. Human capability is promoted by free will. True freedom promoting human capability is realized by rebuilding in individual property depending on distribution principle by the needs in the association of free individuals.

• 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.