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

• Journal of Internet Computing and Services
• /
• v.16 no.5
• /
• pp.59-66
• /
• 2015

A stochastic modeling approach as a mathematical method for workflow intelligence is widely used for analyzing and simulating workflow models in the literature. In particular, as a resource-centric modeling approach, this paper proposes a stochastic model to represent work-handover relationships between performers in a workflow-supported social network. Calculating probabilities for the work-handover relationships are determined by two types of probabilities. One is the work-transition probability between activities, and the other is the task assignment probability between activities and performers. In this paper, we describe formal definitions of stochastic workflow models and stochastic work-handover relationship models, as well. Then, we propose an algorithm for extracting a stochastic work-handover relationship model from a stochastic workflow model. As a consequence, the proposed model ought to be useful in performing resource-centric workflow simulations and model-log comparison analyses.

• Journal of Internet Computing and Services
• /
• v.14 no.2
• /
• pp.25-34
• /
• 2013

In this paper, we propose an activity-performer bipartite matrix generation algorithm for analyzing workflow-supported human-resource affiliations in a workflow model. The workflow-supported human-resource means that all performers of the organization managed by a workflow management system have to be affiliated with a certain set of activities in enacting the corresponding workflow model. We define an activity-performer affiliation network model that is a special type of social networks representing affiliation relationships between a group of performers and a group of activities in workflow models. The algorithm proposed in this paper generates a bipartite matrix from the activity-performer affiliation network model(APANM). Eventually, the generated activity-performer bipartite matrix can be used to analyze social network properties such as, centrality, density, and correlation, and to enable the organization to obtain the workflow-supported human-resource affiliations knowledge.

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

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.9
• /
• pp.3611-3634
• /
• 2015

In this paper, we build a theoretical framework for quantitatively measuring and graphically representing the degrees of closeness centralization among performers assigned to enact a workflow procedure. The degree of closeness centralization of a workflow-performer reflects how near the performer is to the other performers in enacting a corresponding workflow model designed for workflow-supported organizational operations. The proposed framework comprises three procedural phases and four functional transformations, such as discovery, analysis, and quantitation phases, which carry out ICN-to-WsoN, WsoN-to-SocioMatrix, SocioMatrix-to-DistanceMatrix, and DistanceMatrix-to-CCV transformations. We develop a series of algorithmic formalisms for the procedural phases and their transformative functionalities, and verify the proposed framework through an operational example. Finally, we expatiate on the functional expansion of the closeness centralization formulas so as for the theoretical framework to handle a group of workflow procedures (or a workflow package) with organization-wide workflow-performers.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.909-915
• /
• 2002

Collaborative system is an essential idea in the global and e-business environments Workflow plays a key role implementing collaborative system. Workflow is an emerging technology for business process automation, monitoring integrity enforcement, and recovery. A process model describes the structure of business process in the real world The process model can be transformed into a Workflow model utilizing a computer. The paper proposes a web-based Workflow process design in the B2B environment Considering a global environment where the partners interchange their processes beyond the company boundaries, a web-based infrastructure is the most preferred platform Considering this, Workflow processes and e-Business structures were combined together on the web environment.

• Journal of Mechanical Science and Technology
• /
• v.20 no.10
• /
• pp.1527-1533
• /
• 2006

Workflow systems have benefited the enterprise and customer in many aspects. But with the increasing complexity of the system, workflow design becomes a complicated and time-consuming process. In this paper, we model the system based on the Hierarchical Colored Petri Nets (HCPN) to avoid the complexity of the system, and the super nets of the model are abstracted as independent components to increase the flexibility, acceptability and maintainability of the system. Another important characteristic of this model is its convenience for reuse and workflow mining. The development process of the overhead traveling crane was given to demonstrate the proposed method.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.8
• /
• pp.3216-3230
• /
• 2015

A hot-issued research topic in the workflow intelligence arena is the emerging topic of "workflow-supported organizational social networks." These specialized social networks have been proposed to primarily represent the process-driven work-sharing and work-collaborating relationships among the workflow-performers fulfilling a series of workflow-related operations in a workflow-supported organization. We can discover those organizational social networks, and visualize its analysis results as organizational knowledge. In this paper, we are particularly interested in how to visualize the degrees of closeness centralities among workflow-performers by proposing a graphical representation schema based on the Graph Markup Language, which is named to ccWSSN-GraphML. Additionally, we expatiate on the functional expansion of the closeness centralization formulas so as for the visualization framework to handle a group of workflow procedures (or a workflow package) with organizational workflow-performers.

• Journal of Internet Computing and Services
• /
• v.11 no.6
• /
• pp.145-157
• /
• 2010

In this paper, we describe the design details and their implementation of a workflow model (or business process model) analysis system to be used for enhancing resource allocation efficiency and operational performance of enterprise workflows. In other word, the analysis works, proposed in this paper, on XPDL-based workflow models aim to verify the static aspects of the workflow models. Also, the system implemented in the paper is able to not only analyze structural patterns and resource allocation plans' efficiency of enterprise workflows modeled by the XPDL process definition language developed by the international standardization organization, WfMC, but also provide various forms of analytical reports. Conclusively, we strongly believe that the workflow analysis system developed in the paper enables workflow modelers to not only analyze and scrutinize structural patterns of their workflow models but also estimate their process resources assigning and planning measurements in order to improve accuracy, reliability and efficiency of enterprise workflows.

• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.550-552
• /
• 2007

Bioworks is designed to make, visualize, automate and execute a model of biological analysis processes as a workflow in biotechnology field. It provides for constructing a workflow model of complex biological analysis processes more easily and reporting the analysis results of each step. Users can perform their analysis process by using a visuality and validation module provided as a plug-in program. It supports sharing their workflow in XML format, to which conversion is supplied by Bioworks, with Web Services to improve the efficiency of their study.