• Asia pacific journal of information systems
• /
• v.14 no.1
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.

• IE interfaces
• /
• v.25 no.3
• /
• pp.300-308
• /
• 2012

For convenient business process modeling we propose a mathematical approach to obtain appropriate process structures. In this paper, we define business process structural constraints, on which basis, using Social Network Analysis (SNA), we analyze the frequency of handover occurrences among performers in social network. We here present, therefrom, a new, mathematical approach to business process modeling that proceeds by identifying the social relations among activities.

• The Journal of Society for e-Business Studies
• /
• v.10 no.4
• /
• pp.1-18
• /
• 2005

In ebXML, a representative framework for electronic commerce, a BPS (Business Process Specification) should be finally defined as an instance of XML-version BPSS for the configuration of B2B (Business to Business) runtime systems . In order to define the instance more complete and consistent, it is required to validate all the semantic constraints on the instance . Due to the limitations of XML Schema constructs, however, current XML-version BPSS fails to specify formal semantic constraints completely. This paper presents how to find, express and reuse BPSS semantic constraints that could not be explicitly defined in the XML-version BPSS. The method facilitates the validation of XML-version BPSS instances easily with some useful guides for fixing violations of semantic constraints. Furthermore, B2B business processes can be standardized and applied more efficiently and effectively.

• The Journal of Society for e-Business Studies
• /
• v.10 no.1
• /
• pp.61-80
• /
• 2005

Business Process Management (BPM) System is a software system to support an efficient execution, control and management of business processes. The system automates complex business processes and manages them effectively to raise productivity. Traditional commercial systems mainly focus on automating processes and do not have methods for enhancing process performances and task performer's efficiency. Therefore, there is room for enhancement of task performers' productivities and efficiency of business processes. In this paper, we propose a new method of executing business processes more efficiently in that a whole process is scheduled considering the degree of participants' workload. The method allows managing the largest constraints among constituent resources of the process. This method is based on the DBR (Drum-Buffer-Rope) in TOC (Theory of Constraints) concepts. We first consider the differences between business process models and DBR application models, and then develop the modified drum, buffer and rope. This leads us to develop BP-DBR (Business Process-DBR) that can control the proper size of task performers' work list and arrival rate of process instances. Use of BP-DBR improves the efficiency of the whole process as well as participants' working condition. We then carry out a set of simulation experiments and compare the effectiveness of our approach with that of the scheduling techniques used in existing systems.

• The KIPS Transactions:PartD
• /
• v.13D no.2 s.105
• /
• pp.191-198
• /
• 2006

Many enterprises have introduced workflow to enhance work efficiency and support effective work processes in their various work environments. Recently, Business Process Management(BPM), an extension of workflow, is spotlighted in enterprise software markets Although woklflow plays an important role in Business Process Managements, researches in workflow are mostly concentrated on temporal constraints which finds exact execution sequences for complicated jobs. On that reason, majority of workflow scheduling has concentrated on modeling of various resources which should be handled and the interest for workflow scheduling under constraints related to resources is rather unsatisfactory In this paper we presents the Transformation Template based on Concurrent Transaction Logic(CTR) which is suitable for scheduling workflows with resource allocation constraints, and the logical framework. The Transformation Template consists of a Workflow Transformation Template and a Constraint Transaction Template. Especially the Transformation Template can be conveniently used to logically represent new workflows under the existing resource allocation constraints.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 2003.11a
• /
• pp.55-63
• /
• 2003

Workflow Management System (WFMS) is a software system to support an efficient execution, control and management of complex business processes. Since traditional commercial systems mainly focus on automating processes, they don't have methods for enhancing the task performer's efficiency. In this paper, we propose a new method of executing business processes more efficiently in that a whole process is scheduled considering the degree of the participants' workload. The method allows managing the largest constraints among constituent resources of the process. We utilize DBR scheduling techniques to develop the method. We first consider the differences between workflow process models and DBR application models, and then develop the modified drum, buffer and rope. This leads us to develop WF-DBR (WorkFlow-DBR) that can control the proper size of the task performers' work list and arrival rate of process instances. Use of WF-DBR improves the efficiency of the whole process as well as the participants' working condition. We then carry out a set of simulation experiments and compare the effectiveness of our approach with that of scheduling techniques used in existing systems.

• The Journal of Information Systems
• /
• v.15 no.1
• /
• pp.169-189
• /
• 2006

Recently, many companies are trying to survive in a competitive business environment and they employ various kinds of information systems. Business Process Management (BPM) system is a software system that integrated enterprise information systems based on processes, which is considered an essential element for managing inner and outer processes. Though the BPM system has been applied to major processes only so far, companies begin to extends target processes applied into enterprise wide. In such settings, not only exact but also efficient management of processes is required. The efficiency of BPM has two perspectives: one is the performance of users that handle assigned tasks, and the other is the performance of the Business Process (BP) engine that carries out execution of processes. In this paper, in order to deal with the seconde perspective, we develop Drum, Buffer, and Rope (DBR) method, which have been considered innovative Theory of Constraint (TOC) method in manufacturing domain, for efficient management of processes. A new method, BP-DBR, has been developed, and we show that it is effective for business processes. The effectiveness of the method has been proved in terms of efficiency measures such as average process completion time and average number of completed processes, through a series of simulations on real banking processes.

• The Journal of Society for e-Business Studies
• /
• v.18 no.4
• /
• pp.327-338
• /
• 2013

Effective and efficient selection of IT projects is crucial for company's competitiveness. The selection of IT projects usually involves consideration of budget constraints but existing IT project selection models often neglect budget constraints. This paper presents an IT project selection model which considers budget constraints. AHP(Analytic Hierarchy Process) and Knapsack problem model have been combined to develop the proposed model, AHP-K model, where AHP is used to estimate weights of selection criteria and, then, a knapsack problem model is utilized to optimize selection of IT project while meeting the budget constraints. In this paper, a case study is provided to validate the effectiveness of the proposed AHP-K model. It has been shown that the proposed AHP-K model is better than the AHP model in terms of total utility of projects and investment efficiency.

• Proceedings of the Safety Management and Science Conference
• /
• 2004.11a
• /
• pp.81-85
• /
• 2004

Companies adopted a program called Six Sigma, in order to make fundamental changes in the way the company operated to fulfill customers' expectations. Six Sigma reduces the occurrence of defects. This approach derives the overall process of selection the right projects based on their potential to improve performance metrics and selection and training the right people to get the business results. However, in the course of Six Sigma process steps, companies are in the face of problems. This study is to solve the problems using TP(Thinking Process) of TOC(Theory of Constraints). TOC is methodology for solving key problem in system which is called Constraints. Nowadays, its application is going to be wide and its concept is being implemented. In this paper, it is showed possibility of application TOC to Six Sigma.