• IE interfaces
• /
• v.20 no.1
• /
• pp.79-86
• /
• 2007

In B2B e-commerce environments, many initiatives for process modeling have made efforts to design business processes correctly. Especially, Petri nets have been widely used as a good theory to design and verify process models. Therefore, we propose the process modeling method for the B2B e-commerce based on Petri nets. First of all, a B2B process model based on BPSS is represented by the UML activity diagram. Second, the activity diagram is transformed to a Petri net model. For the transformation, well-behaved building blocks/control structures and the modeling rules for inter-organizational workflow processes are proposed. Third, the process is partitioned into sharable processes for individual business partners. Finally, according to needs of individual business partners, the sharable processes are modified by well-structured refinement rules. The whole procedure is explained with the purchase process of an e-bookstore.

• International Commerce and Information Review
• /
• v.10 no.4
• /
• pp.81-96
• /
• 2008

uEFL is an open source solution to integrate general business/learning activities and processes. uEFL is originally developed to adopt LD (Learning Design) specification, which represents learning as various combination of learning activities with learning conditions and outcomes. Learning activities are described with participant's role, learning environment, and contextual sequence. This viewpoint resembles BPM (Business Process Modeling). uEFL can convert LD to BPM description. uEFL engine can run converted LD activity with other business activities. This paper presents 4 templates and 2 sample models for uEFL. The templates and models will show how learning activities can be integrated with business activities efficiently.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.3
• /
• pp.119-127
• /
• 2006

In this paper, we present a systematic approach to translating BPML(Business Process Modeling Language) into the ${\pi}-Calculus$. BPML is an executable business process modeling language, like BPEL4WS(Business Process Execution Language for Web Services). It is difficult to find a systematic approach to formalizing these languages; but, by formalizing them, the behavior of the processes can be analyzed and compared so that optimal processes can be designed. For this formalization, we analyzed the activity types and contexts of BPML and suggested the definitions of semantics for each type and context by using the ${\pi}-Calculus$. In addition, we have shown the usefulness of our formalization scheme in that a typical order fulfillment process represented in BPML can be translated into the ${\pi}-Calculus$.

• The Journal of Society for e-Business Studies
• /
• v.13 no.3
• /
• pp.51-66
• /
• 2008

The Business Process Management System(BPMS) has received more attentions as companies increasingly realize the importance of business processes. However, traditional BPMS has focused mainly on correct modeling and exact automation of process flow, and paid little attention to the achievement of final goals of improving process efficiency and innovating processes. BPMS usually generates enormous amounts of log data during and after execution of processes, where numerous meaningful rules and patterns are hidden. In the present study we employ the data mining technique to find out useful knowledge from the complicated process log data. A data model and a system framework for process mining are provided to help understand the existing BPMS. Experiments with the simulated data demonstrate the effectiveness of the model and the framework.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.3B
• /
• pp.474-484
• /
• 2010

In this paper, we introduce a RFIDbased real time air cargo monitoring system for cargo management in the air cargo terminal. In order to construct functional requirement and development framework,. we have analyzed the user requirements of cargo personnel of Incheon International Air Cargo Terminal. To find out the possibilities to adopt RFID in the cargo, we had benchmarked different RFID systems and also tested radio environment of the cargo. Based on the RFID system test and radior environment test, we developed a web based cargo monitoring solution which adopts EPC network and BPM solution with flexibility and expandability.

• IE interfaces
• /
• v.20 no.3
• /
• pp.257-266
• /
• 2007

To survive in rapidly changing business environment, the enterprises of all over the world are trying to integrate their IT infra structure and are trying to automate their business process. Service Oriented Architecture (SOA) is being accepted as an IT standard to support efficient system integration and flexible business process automation between enterprises or departments. The material control system is required this software architecture between manufacturing company and materials supply vendors. This paper introduces concept of SOA, relevant technology about SOA such as Web Services and Business Process Execution Language (BPEL) and Enterprise Service Bus (ESB) and describes how to automate materials control process by designing the material control system based on SOA. The analysis of requirements is proceeded by Unified Modeling Language (UML) and SOA delivery strategy is selected the top-down strategy. And this paper describes how to derive services and operations and how to arrange services in three service layers and how to design business process.

• TTA Journal
• /
• s.88
• /
• pp.105-120
• /
• 2003

본 논문은 워크플로우 기술의 표준화 및 기술 동향을 소개하는 세 번의 연재* 중 그 세 번째인 마지막 내용으로 지난 호에서 소개한 비즈니스 프로세스 관리(Business Process Management: BPM) 기술과 이의 기반기술인 워크플로우 관리기술과 연관된 국내외 표준화 기구와 그들의 활동 내용에 관하여 기술한다. 특히, 비즈니스 프로세스 관리 기술의 국제표준화 기구인 BPMI(Business Process Management Initiative)와 워크플로우 관리 기술의 국제표준화 기구인 WfMC(Workflow Management Coalition)는 최근에 웹서비스나 B2B 기술 등의 비즈니스 프로세스 관련 단일화된 표준안을 개발하고자 여러 번에 걸친 합동회의를 개최해오고 있어 이 합동회의에서 진행되고 있는 표준안 개발 활동 내용을 소개한다. 특히, 워크플로우 모델링 표준 언어인 XPDL(XML Process Definition Language)과 비즈니스 프로세스 모델링 언어인 BPMN(Business Process Modeling Notation) 그리고 대표적인 워크플로우 모델로서 연구분야에서 많이 이용되고 있는 ICN(Information Control Net)을 확장한 Kyonggi-ICN의 상호 매핑관계를 요약정리한다. 끝으로, 현재 국내의 워크플로우 기술관련 표준화기구인 한국정보통신기술협회 산하 표준화위원회인 워크플로우기술연구반의 표준화 활동과 이번에 새로이 정보통신부 표준화전략포럼중의 하나로 창립된 워크플로우 및 비즈니스 응용기술포럼(약칭 WABA 포럼: Workflow and Business Applications Technology Forum)을 소개한다.

• Journal of Digital Contents Society
• /
• v.9 no.4
• /
• pp.661-667
• /
• 2008

The dynamics of business cycles has been changed by the macroscopic economic forces because of the introduction of new technical know-how each year. These the dynamics of business has a significant influence on the investment of enterprise in the information communication field. Today, the most important goal of the IT investment is simply not to lower the production cost any more, but to improve the usefulness for the customers and partners in order to obtain the optimized mass products. Therefore, the enterprises have been concentrating their all abilities on the automation, integration, and optimization of business process using BPM. In addition, they are concentrating their efforts on the business expansion by approaching the technical aspect using RFID application system. However, in order to accomplish a successful enterprise ability, the technical view, business process view, and organization view must be considered together. We suggested the method considering organization view, via the technical element, i.e., RFID system for approaching the business process. Furthermore, we tried the optimization of assignment using Context Analysis methodology and proposed the method to reduce the element with respect to the time, human, and expense by applying the Case Study method that minimizes the iteration times through the transmitted processing procedure and type. The proposed method gave us the expectation that it will bring out the innovative improvement with respect to the time, expense, quality, and customer's satisfaction in the process from the analysis of business process to the analysis and design of system.

• 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 Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.368-370
• /
• 1998

현재 전세계적으로 개발 중인 제 3세대 이동통신인 IMT-2000은 여러 종류의 이동 서비스를 제공하기 위해 형성되어 있는 기존의 다양한 망들을 하나로 통합하고 지상과 위성간의 상호 보완적인 망을 구성하여 이를 통해 고정 망과 동등한 품질로 가능한 모든 다양한 멀티 미디어 서비스 및 이동 통신 서비스를 제공할 수 있는 유연한 시스템이다. 이렇게 다양한 서비스를 제공하기 위해 IMT-2000 망관리는 다양한 벤더 및 운영자환경 하에서 시슨템을 계획, 제, 설치, 운용, 유지, 관리 및 고객서비스를 위한 다양한 기능들을 제공하여야하면, 이를 위해 TMN개념을 적용하여햐 한다. 본 논문에서는 RACE H.551의 서비스 관리 대상 객체(Service Managed Object)를 IMT-2000에 맞게 확장하였고, 확장된 관리대상 객체와 NMF(Network Management Forum )의 BPM(Business Process Model)의 관계를 나타내었다.