Preserving Data Flow Correctness in Process Adaptation

Song, Wei; Ma, Xiaoxing; Cheung, Shing-Chi; Hu, Hao; Lü, Jian

doi:10.1109/scc.2010.24

Cited by 14 publications

(15 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…On the one hand, the literature related to workflow process changes concentrates on ensuring the correctness of the changed workflow processes [29]- [31], where the focus is mainly on the preciseness of task sequences or structural errors. On the other hand, the preservation of workflow process consistency is the goal in [32] and [33], where the purpose is to examine the persistence of changed workflow processes considering availability and reliability. However, nowadays, the IIoT-supported business processes are characterized by frequent changes during their life cycle, which have an impact on the management of workflows.…”

Section: A Motivation and Requirementsmentioning

confidence: 99%

Dynamic Multilevel Workflow Management Concept for Industrial IoT Systems

Kozma

Varga

Larrinaga

2021

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

Workflow management is implemented in manufacturing at many levels. The nature of processes varies at each level, hindering the use of a standard modeling or implementation solution. The creation of a flexible workflow management framework that overarches the heterogeneous business process levels is challenging. Still, one of the promises of the Industry 4.0 initiative is precisely this: to provide easy-to-use models and solutions that enable efficient execution of enterprise targets. By addressing this challenge, this article proposes a workflow execution model that integrates information and control flows of these levels while keeping their hierarchy. The overall model builds on the business process model and notation (BPMN) for modeling at the enterprise level and recipe modeling based on colored Petri net (CPN) at the production level. Models produced with both alternatives are implemented and executed in a framework supported by an enterprise service bus (ESB). Loosely coupled, late-bound system elements are connected through the Arrowhead framework, which is built upon the Service-Oriented Architecture (SOA) concept. To prove its feasibility, this article presents the practical application of the model via an automotive production scenario.Note to Practitioners-The methodology detailed in this article can serve as a basis for experts who are dealing with industrial workflows. Reacting to the requirements of Industry 4.0, i.e., the virtualization, decentralization, modularity, real-time capability, and service orientation, this article provides a concept that can answer all the defined criteria. First, it adopts a new two-level approach to workflow management, which makes the understanding and control of workflows easier, enhancing transparency. Furthermore, it demonstrates how-even completely different-applications and modeling languages can be integrated into a Service-Oriented Architecture (SOA). The presented com-Manuscript

show abstract

Section: A Motivation and Requirementsmentioning

confidence: 99%

Dynamic Multilevel Workflow Management Concept for Industrial IoT Systems

Kozma

Varga

Larrinaga

2021

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

show abstract

“…Since executable BPEL processes [13] have more detailed information for execution (e.g., service partners, WSDL operations for activities, input and output data variables of operations [19], exception handlers, etc), behavioral profiles may fail to capture the activity constraint caused by the detailed information in executable processes. Thus, we use BPEL program dependence graphs [10] (BPDGs) as the behavioral abstractions of executable BPEL processes.…”

Section: Preliminariesmentioning

confidence: 99%

“…This solution however is naïve, because some essential activity constraints (e.g., partial orders caused by data dependence relations [18,19]) will not be found in the control flow models of executable processes.…”

Section: A Approach Overviewmentioning

confidence: 99%

Quantifying Consistency between Conceptual and Executable Business Processes

Song

Zhang

et al. 2013

2013 IEEE International Conference on Services Computing

Self Cite

View full text Add to dashboard Cite

Business processes have been identified as effective means to developing service-based applications. It is an important and challenging research problem to check consistency between conceptual and executable business processes. Most existing approaches analyze the consistency based on qualitative equivalence relations between business processes and only provide a "true"/"false" result. Thus, they fail to differentiate slight inconsistency scenarios from totally inconsistency ones. To address this problem, we leverage activity constraints, i.e., partial orders, mutual-exclusions, and independences, to analyze consistency; and measure the consistency degree (ranging from 0 to 1.0) between a conceptual business process and an executable one based on the rate of consistent activity constraints. We show the applicability of our approach by analyzing the consistency between public views and private processes of some real-life BPEL processes.

show abstract

“…There are many modeling methods that can be used to describe workflow systems, such as Business Process Modeling Notation (BPMN) [9], Business Process Execution Language (BPEL) [10], Event-Driven Process Chains (EPCs) [11], UML Activity Diagrams [11], and Workflow Net with Data (WFD-net) [12]. Compared with these methods, WFD-nets are much suitable to describe and analyze control-/data-flows due to their data labeling functions and guards.…”

Section: Introductionmentioning

confidence: 99%

“…Awad et al [9] presented a method to repair missing data in BPMN. After then, Song et al [10] provided some methods to preserve data-flow correctness in BPEL. Later on, Sharma et al [14] presented a method to repair data-flow errors in workflows.…”

Section: Introductionmentioning

confidence: 99%

Detecting and Repairing Data-Flow Errors in WFD-net Systems

Zhao¹,

Xiang²,

Liu³

et al. 2022

Computer Modeling in Engineering &Amp; Sciences

View full text Add to dashboard Cite

Workflow system has become a standard solution for managing a complex business process. How to guarantee its correctness is a key requirement. Many methods only focus on the control-flow verification, while they neglect the modeling and checking of data-flows. Although some studies are presented to repair the data-flow errors, they do not consider the effect of delete operations or weak circulation relations on the repairing results. What's more, repairing some data-flow errors may bring in new errors. In order to solve these problems, we use workflow net with data (WFD-net) systems to model and analyze a workflow system. Based on weak behavioral relations and order relations in a WFD-net system, we formalize four kinds of data-flow errors. After then, we reveal the relations between these errors and organize them into a hierarchy. Furthermore, we propose some new methods to repair data-flow errors in a WFD-net system based on system requirements and repair strategies. Finally, a case study of campus-card recharging shows the applicability of our methods, and a group of experiments show their advantages and effectiveness.

show abstract

Preserving Data Flow Correctness in Process Adaptation

Cited by 14 publications

References 10 publications

Dynamic Multilevel Workflow Management Concept for Industrial IoT Systems

Dynamic Multilevel Workflow Management Concept for Industrial IoT Systems

Quantifying Consistency between Conceptual and Executable Business Processes

Detecting and Repairing Data-Flow Errors in WFD-net Systems

Contact Info

Product

Resources

About