• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.3
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.350-354
• /
• 2004

□ Many specification language has been developed for workflow modeling, but their emphasis on the process semantics make it difficult for use on the business process modeling. □ Also their lack of understanding of global view of Business process adds another problem to model workflow in a seamless and accurate and timely fashion(omitted)

• Journal of Internet Computing and Services
• /
• v.19 no.3
• /
• pp.25-33
• /
• 2018

This paper proposes a cloud workflow model theoretically supported by the information control net modeling methodology as a cloud workflow modeling methodology that is mandatory in implementing realtime enterprise workflow management systems running with cloud computing environments. The eventual goal of the cloud workflow model proposed in this paper is to support those cloud workflow architectures reflecting the types of cloud deployment models such as private, community, public, and hybrid cloud deployment models. Moreover, the proposed model is a mathematical graph model that is extended from the information control net modeling methodology used in conventional enterprise workflow modeling, and it aims to theoretically couple this methodology with the cloud deployment models. Finally, this paper tries to verify the feasibility of the proposed model by building a possible cloud workflow architecture and its cloud workflow services on a realtime enterpeise cloud workflow management system.

• Journal of Internet Computing and Services
• /
• v.6 no.2
• /
• pp.141-152
• /
• 2005

Many organizations have been recognizing the necessity of workflow automation technologies according to the rapid expansion of business process oriented applications, such as enterprise resource pianning, customer relationship management, electronic approval management, and so on, Thus, they have started adopting workflow management systems as an essential technological solution for their workflow processes, However, we need some technological extensions and improvements on them in order to accommodate a new type of workflow processes, which is called cross-organizational global workflow processes that require a certain level of collaborations between the organizations engaged in the global workflow processes, Fragment-driven workflow modeling methodology is a Bottom-Up methodology composing a global workflow by defining each organization's own activities, which is called a fragment through a realtime cooperative system. The approach is able to not only simplify the modeling work but also keep each organization's independence in modeling a global workflow, In this paper, we describe the fragment-driven workflow modeling methodology and realize the methodology through the implementation of a cooperative swimlane workflow modeling system.

• Journal of Internet Computing and Services
• /
• v.3 no.4
• /
• pp.19-26
• /
• 2002

Workflow Management Systems(WFMSs) is a software system that supports that specification and execution of business processes. In this paper, we proposed Multi Agent Based Workflow Modeling System which was implemented by Java application. The proposed workflow modeling system is divided into four agents; Session, Organization, Relevant Data. Invoked Application. We adapted ICN(Information Control Net) to check workflow model syntax, And the proposed modeling system provide the function to import/export WPDL which was defined in WfMC.

• The Journal of Society for e-Business Studies
• /
• v.15 no.2
• /
• pp.191-203
• /
• 2010

Recently applications of RFID technologies in production and logistics systems are expanding. In this research, we deal with workflow modeling methods for handling RFID-tagged parts. We verified that the material flow processes in a RFID system can be designed and assessed using workflow modeling notations, and suggested available process patterns using BPMN. In addition, we proposed an algorithm to monitor the exact status of flows and determine whether some of the events are ghost reads or not by referring predefined workflow definitions. The major contribution of this research is that it has demonstrated how well-established workflow modeling methods can be applied to RFID-based systems.

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.1
• /
• pp.11-23
• /
• 2010

A flexible and correct model of the activity flows is required for workflows in product development environments. In particular, the design activity flows are not known until run-time, and conventional approaches have limit to handle this situation because they cannot predefine all the potentially reachable paths. Thus, the structure of the workflow model must be flexible enough to describe variety in workflow design and accommodate dynamic changes during workflow execution. In this paper, we provide the general primitive axioms and change patterns based on event calculus for dynamic workflow specification and execution mechanisms in product development environments. Also, we describe how to execute the workflow dynamically based on the workflow specification and workflow change patterns using abductive planning technique.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.2
• /
• pp.691-708
• /
• 2014

This paper formalizes a special type of social networking knowledge, which is called "workflow performer-role affiliation networking knowledge." A workflow model specifies execution sequences of the associated activities and their affiliated relationships with roles, performers, invoked-applications, and relevant data. In Particular, these affiliated relationships exhibit a stream of organizational work-sharing knowledge and utilize business process intelligence to explore resources allotting and planning knowledge concealed in the corresponding workflow model. In this paper, we particularly focus on the performer-role affiliation relationships and their implications as organizational and business process intelligence in workflow-driven organizations. We elaborate a series of theoretical formalisms and practical implementation for modeling, discovering, and visualizing workflow performer-role affiliation networking knowledge, and practical details as workflow performer-role affiliation knowledge representation, discovery, and visualization techniques. These theoretical concepts and practical algorithms are based upon information control net methodology for formally describing workflow models, and the affiliated knowledge eventually represents the various degrees of involvements and participations between a group of performers and a group of roles in a corresponding workflow model. Finally, we summarily describe the implications of the proposed affiliation networking knowledge as business process intelligence, and how worthwhile it is in discovering and visualizing the knowledge in workflow-driven organizations and enterprises that produce massively parallel interactions and large-scaled operational data collections through deploying and enacting massively parallel and large-scale workflow models.

• Journal of Internet Computing and Services
• /
• v.6 no.6
• /
• pp.107-115
• /
• 2005

A workflow procedure has recently become more complicated and large scaled. In this paper, we propose an advanced workflow modeling methodology, called a fragment driven cooperative workflow modeling methodology. which enables several real workflow designers to cooperatively define a workflow model. The methodology is a Bottom-Up approach in terms of integrating a set of fragment ICNs to compose a complete workflow model. Each fragment ICN is defined by each participant in the cooperative modeling session, We also use the ICN based formal description and the ICN based graphical notation as well. Finally, we prove the feasibility of the methodology by implementing a cooperative workflow modeling system.

• The KIPS Transactions:PartD
• /
• v.10D no.7
• /
• pp.1189-1196
• /
• 2003

Owing to the developed If industry, many people are more and more interested in Workflow which is an automated business processing system. In this paper, we present basic structures and various parallel processing structures of a workflow using EMFG (Extended Mark Flow Graph) that makes conceptional design available. And then, We design a workflow with EMFG. We propose the commitability verification method to check whether a workflow can complete or not and the logical bug verification method to find whether invalid components exist or not by using simulation result of it. The proposed EMFG modeling and analysis method for a workflow make it possible to become a visual and formal design. Also, it makes intuitional and mathematical analysis possible.