• The KIPS Transactions:PartD
• /
• v.9D no.6
• /
• pp.1043-1054
• /
• 2002

This paper intends to suggest a XML-based secure E-Procurement system using Unified Modeling Language(UML), as an application system for domestic automobile industry. Applying UML methodology, which is Component-based Development (CBD), we analyzed the workflow on procurement operation of automobile industry and implemented a prototype of efficient E-Procurement system for automobile industry, by developing XML/EDI and XML signature. Also, on this paper, object-oriented CBD is employed to minimize the risk of life cycle and reuse software as mentioned to limitation of information engineering methodology. It enables the interoperability with ERP (Enterprise Resource Planning) as corporate legacy system. This system proposes a solution to apply analysis and design of workflow, component development, interoperability with corporate information system, and XML signature for integrity and authentication of electronic documents in other system so far.

• Journal of Korean Institute of Industrial Engineers
• /
• v.27 no.1
• /
• pp.37-46
• /
• 2001

Business process(workflow) analysis has been recognized as a core step to building information systems. However, most analysts have recognized that deriving consistent business process artifacts even in a simple business domain is very difficult, since most analysis methods give the designers narrative and/or diagrammatic tools that do not support rigorous analysis rules. This often generates inconsistent analysis results, leading to create useless information systems and resulting in tremendous budget wastes. To overcome this weakness, this paper presents a declarative business process modeling method called contract-collaboration net(cc-net), which is not only somewhat formal but also useful to the practitioners. A case study on bank domain is presented to illustrate our approach.

• Asia pacific journal of information systems
• /
• v.8 no.2
• /
• pp.69-83
• /
• 1998

Some simulation tools have been developed to support business process reengineering. These tools can be used to not only analyze an as-is model of the existing process but also assess the potential value and feasibility of to-be models. But most of them are restricted to analyzing and redesign of the workflow only. Little attention is paid to the organization of people and their roles. This paper Presents a new methodology for business process simulation modeling and analysis. The methodology is based on the concepts of roles and customer-supplier chains. So the proposed methodology allows for tracking people and their roles affected by reengineering the business process. It enables one to analyze and evaluate not only workflow, but roles that are part of the flow. This paper developed a simulator to systematically construct simulation models and conduct simulations easily and efficiently. A case study is also presented as an illustrative example.

• Journal of KIISE:Software and Applications
• /
• v.29 no.10
• /
• pp.703-725
• /
• 2002

It is well recognized that component-based development (CBD) is an effective approach to manage the complexity of modem software development. To achieve the benefits of low-cost development and higher productivity, effective techniques to maximize component reusability should be developed. Component is a set of related concepts and objects, and provides a particular coarse-grained business service. Often, these components include various message flows among the objects in the component, called 'business workflow`. Blackbox components that include but hide business workflow provide higher reusability and productivity. A key difficulty of using blackbox components with business workflow is to let the workflow be customized by each enterprise. In this paper, we provide techniques to model the variability of family members and to customize the business workflow of components. Our approach is to provide formal specification on the component variability, and to define techniques to customize them by means of the formalism.

• 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 IEEK Conference
• /
• 2002.07b
• /
• pp.955-958
• /
• 2002

A workflow is a flow of work supported by computers. An instance of a workflow is called case. Companies need to constantly refine their current workflows in order to meet various requirements. The change of current workflows is called dynamic change of the workflow. Since Ellis et al. proposed three change types, Flush, Abort, and Synthetic Cut-Over in 1995, various change types have been proposed. A promising change type is Migrate proposed by Sadiq et al., because Migrate changes workflow definitions immediately and makes the redo of cases minimum. However, the formal modeling and time-dependent analysis of Migrate has not been done. This paper proposes a method of computing change time of Migrate dynamic changes for time-dependent analysis. Change time is a measure for evaluating dynamic changes. We first show a Petri-nets-based model of Migrate dynamic changes. Then we present a method of computing change time based on the net model. Finally, we apply the method to 270 examples, and show experimental results, and comparison with Ellis et al..'s three change types.

• The Journal of Society for e-Business Studies
• /
• v.12 no.3
• /
• pp.235-249
• /
• 2007

Workflow systems are software systems that control the execution of long-term processes. Members of an organization are in charge of executing processes. A work assignment policy, i.e who should perform a certain piece of process, has to be modeled and implemented in workflow systems. Organizations may have a large variety of problems in work assignment, and it may not be feasible to devise a single model to cover all problems. In this paper, we introduce generality to work assignment design problems in workflow systems We provide a meta-model based approach which enables us to define arbitrary problem oriented work assignment policies.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.170.5-170
• /
• 2001

As close competitions are being fought out among enterprises, they should accomplish their objectives such as reduction of cost, improvement of quality and condensation of due date, etc. For this objects, it becomes very important to manage the workflow harmoniously and to share the information efficiently between geographically dispersed users. We developed the collaborative design system, which manages various design process and enables to share design information. In this paper, Internal-based collaboration system for press die design process in the automobile manufacturer is developed with CORBA, Java and relational database system. After modeling real press die design process with UML language, workflow routing path is created by modeling data. Cost and time for ...

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.661-664
• /
• 2000

A workflow expresses the How of persons and things related to a business. To improve efficiency of a business, it is important to grasp and evaluate the actual situation of the current business. Till now, researches on workflows have been done almost on once business and these results can not be simply applied to food business. Besides, it is also important how to evaluate a food business workflow with a specific standard. In this paper, we propose a modeling method of food business by using hierarchical Petri net. Then we propose a concept, called throughput, as a standard to evaluate the workflows. Finally we show a method how to compute throughput and meanwhile apply a Petri net tool, Design/CPN, to do simulation of computing throughput. Our simulation result shows the modeling method and computation method of throughput are reasonable and useful.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.11
• /
• pp.19-27
• /
• 2022

In this study, we propose a language and platform to describe and manage the MLOps(Machine Learning Operations) workflow for time series data anomaly detection. Time series data is collected in many fields, such as IoT sensors, system performance indicators, and user access. In addition, it is used in many applications such as system monitoring and anomaly detection. In order to perform prediction and anomaly detection of time series data, the MLOps platform that can quickly and flexibly apply the analyzed model to the production environment is required. Thus, we developed Python-based AI/ML Modeling Language (AMML) to easily configure and execute MLOps workflows. Python is widely used in data analysis. The proposed MLOps platform can extract and preprocess time series data from various data sources (R-DB, NoSql DB, Log File, etc.) using AMML and predict it through a deep learning model. To verify the applicability of AMML, the workflow for generating a transformer oil temperature prediction deep learning model was configured with AMML and it was confirmed that the training was performed normally.