• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.821-826
• /
• 2003

The Purpose of this paper is to automate the representation of manufacturing line using Petri net model. In the manufacturing cell, the line can be represented using workflow which is composed of Bill of Material (BOM) and Bill of Processes (BOP). BOP shows the precedence of processes and the relationship between assembly and disassembly. As a modeling scheme, generalized stochastic Petri net is adopted. For a problem domain with flexible manufacturing cell, Petri net model is made and behavioral properties are analyzed.

• Journal of Internet Computing and Services
• /
• v.6 no.6
• /
• pp.57-69
• /
• 2005

This paper proposes a minimal workflow model as a feasible solution to the workflow process rediscovery problem. The minimal workflow model can be represented by the minimal workflow net. The process model is represented by ICN(Information Control Net) Modeling method, ICN can configure activity dependent net applying proper algorithm according to activity dependency among activities which configure the ICN, The proposed model is possible to develop with the application of minimal workflow net and with the application of the algorithm related to activity dependent net properties, Hence, it can solve the process rediscovery problem and can also be helpful on process improvement.

• 한국디지털정책학회:학술대회논문집
• /
• 2004.11a
• /
• pp.299-310
• /
• 2004

Business process in e-government mostly embody as the flow of documents. Constructing a web-based document flow system becomes an critical task for today s digital government. But few of them use an off-the-shelf workflow product. Why? One of the reasons is that most of the workflow system are heavyweight, monolithic, and package a comprehensive set of features in an all-or-nothing manner. Another reason is that workflow technology lacks the constructs and modeling capability as programming language. It is incumbent on government IT organizations to transform their solution development to component-based computing model. Component technology isolates the computation and communication parts, but how to compose different software components is still a hard nut. An integrated development environment is necessary for CBSD. In this paper we propose a XML and component-based document flow-oriented integrated development environment (DFoIDE) for software developers. By writing some xml configure file, and operate on DFoIDE, developer can construct a workflow application quickly. This method divides system to several components and the activities in process are implemented as business component. Different components are discribed detailedly in this paper, especially one of the core component. Component Integrating Tool. Different perspectives in workflow application are seperated and depicted as different XML files. Correspondly, A component composition method for developing workflow application instead of workflow itself is proposed.

• Journal of KIISE:Databases
• /
• v.29 no.2
• /
• pp.138-147
• /
• 2002

The concept of the critical path in the workflow is important because it can be utilized In many issues in workflow systems, e.g., workflow resource management and workflow time management. However, the critical path in the contest of the workflow has not been much addressed in the past. This is because control flows in the workflow, generally including sequence, parallel, alternative, iteration and so on, are much more complex than those in the ordinary graph or network. In this paper we first describe our workflow model that has considerable work(low control constructs. They would provide the sufficient expressive power for modeling the growing complexities of today's most business processes. Then, we propose a method to systematically determine the critical path in a workflow schema built by the workflow control constructs described in our workflow model.

• Safety and Health at Work
• /
• v.5 no.1
• /
• pp.1-6
• /
• 2014

Background: Workflow interruptions during surgery may cause a threat to patient's safety. Workflow interruptions were tested to predict failure in action regulation that in turn predicts near-accidents in surgery and related health care. Methods: One-hundred-and-thirty-three theater nurses and physicians from eight Swiss hospitals participated in a cross-sectional questionnaire survey. The study participation rate was 43%. Results: Structural equation modeling confirmed an indirect path from workflow interruptions through cognitive failure in action regulation on near-accidents (p < 0.05). The indirect path was stronger for workflow interruptions by malfunctions and task organizational blockages compared with workflow interruptions that were caused by persons. The indirect path remained meaningful when individual differences in conscientiousness and compliance with safety regulations were controlled. Conclusion: Task interruptions caused by malfunction and organizational constraints are likely to trigger errors in surgery. Work redesign is recommended to reduce workflow interruptions by malfunction and regulatory constraints.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.3
• /
• pp.16-25
• /
• 2003

Modeller is defined as the office work procedures(business processes), and that is systemically based upon the real-time collaborative operations by a set of actors, which is called group. This paper describes the design of the ICN editor that is operable under the real-time collaborative computing environment. We use the database agent that enables the ICN editor to operate among multiple actors(group) through the event-driven collaboration platform. Consequently, a set of workflow and business processes defined through this editor is not only stored onto database but also transformed into the format of the workflow process definition language(WPDL) that is a standardized worflow description and specification language proposed by the workflow management coalition(WfMC). This method can improve the performance of workflow processing by minimizing the workflow execution cost occurred during workflow definition.

• The Journal of the Korea Contents Association
• /
• v.6 no.1
• /
• pp.54-63
• /
• 2006

In this paper we will propose a domain analysis methodology that uses an extended workflow mechanism based on dynamic modeling to solve problems of a traditional domain analysis on legacy systems. This methodology is called WODA(Workflow Oriented Domain Analysis). Following procedures on WODA, we can identify common/uncommon component, and also extract the cluster of components. It will be effectively reusable on developing new systems with these components. With our proposed component testing metrics, we can determine highly reusable component/scenario on identifying possible scenarios of the particular system. We can also recognize most critical/most frequent reusable components and prioritize possible component scenarios of the system. This paper contains one application of UPS that illustrates our autonomous modeling tool, WODA.

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

• Journal of Information Processing Systems
• /
• v.10 no.3
• /
• pp.365-383
• /
• 2014

Service-oriented computing offers efficient solutions for executing complex applications in an acceptable amount of time. These solutions provide important computing and storage resources, but they are too difficult for individual users to handle. In fact, Service-oriented architectures are usually sophisticated in terms of design, specifications, and deployment. On the other hand, workflow management systems provide frameworks that help users to manage cooperative and interdependent processes in a convivial manner. In this paper, we propose a workflow-based approach to fully take advantage of new service-oriented architectures that take the users' skills and the internal complexity of their applications into account. To get to this point, we defined a novel framework named JASMIN, which is responsible for managing service-oriented workflows on distributed systems. JASMIN has two main components: unified modeling language (UML) to specify workflow models and business process execution language (BPEL) to generate and compose Web services. In order to cover both workflow and service concepts, we describe in this paper a refinement of UML activity diagrams and present a set of rules for mapping UML activity diagrams into BPEL specifications.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.3
• /
• pp.551-558
• /
• 2005

Although OMG gives a textual semantics for UML activity diagrams, some ambiguities can be caused due to the lack of rigorous semantics. That is to say it is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the n activity diagram. In this paper, the alternative approach of using Abstract State Machine(ASM) to formalize UML activity diagrams is presented. It suggested that ASM semantics is extended corresponding the workflow system characteristics.