The trustworthiness analyzing of interacting business process based on the induction information

Fang, Xianwen; Jiang, Changjun; Yin, Zhixiang; Fan, Xiao Xu

doi:10.2298/csis100411031f

Cited by 8 publications

(5 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…5a-5e illustrates the cases of lost data. Its basic solutions are to remove the unnecessary data item in a write operation (i.e., Steps (1)-( 4), ( 7)-( 8), ( 11)- (15), and ( 18)-( 19) in Algorithm 3) or not repair (i.e., Steps (5)-( 6) and ( 16)- (17) in Algorithm 3). If a data item d satisfies Type(d) = Cons, the lost data in Figs.…”

Section: Repairing Unnecessary Lost Data (Ld)mentioning

confidence: 99%

“…In this paper, we use WFD-net systems to analyze the correctness of control-/data-flows in workflow systems. It is assumed that our control-flows in WFD-net systems are sound (i.e., no deadlocks [9,15,16] or livelocks [17][18][19]), without taking data operations into consideration [12,20,21]. The aim of this paper is to detect and repair four kinds of data-flow errors (i.e., redundant data, missing data, lost data, and inconsistent data) in WFD-net systems.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

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

Zhao¹,

Xiang²,

Liu³

et al. 2022

Computer Modeling in Engineering &Amp; Sciences

Self Cite

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

Section: Repairing Unnecessary Lost Data (Ld)mentioning

confidence: 99%

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

Self Cite

View full text Add to dashboard Cite

show abstract

“…However, their work mostly concerned software rather than systems themselves. Xu and Nygard [7], Fang et al [16] proposed a method to locate change based on behavioral profiles. They determined the different parts by comparing the differences between two models.…”

Section: Related Workmentioning

confidence: 99%

“…This section describes the basic concepts and definitions used in this paper. For more details, the definitions of Petri nets and labeled Petri nets can be found in [16], [36]- [47]. For the definitions of the hidden Markov model and Bayes' theorem, we can refer to [48]- [58].…”

Section: Preliminariesmentioning

confidence: 99%

Vulnerability Evaluation Method for E-Commerce Transaction Systems With Unobservable Transitions

2020

View full text Add to dashboard Cite

E-commerce transaction systems have become an important factor in trading activities. However, e-commerce systems are still undergoing development. Unobservable actions and attacks on systems are frequent problems that increase the vulnerability of e-commerce systems. Most existing approaches to addressing these issues cannot describe or analyze the overall structure of a local specification and unobservable actions well. The vulnerable e-commerce transaction net (VET-net) is a useful model for describing the unobservable actions, online transactions and third-party payment platforms of e-commerce systems. Based on a VET-net, we focus on the detection and evaluation of e-commerce transaction systems to attacks. We propose the concept of vulnerable transitions, which include not only vulnerable actions but also unobservable transitions. Then, we use an improved slice method to locate the vulnerable transitions. For these vulnerable transitions, we propose a vulnerable transition evaluation method based on a hidden Markov model along with a reachability graph (HMM-RG). The HMM-RG uses hidden Markov models (HMMs) to approximate the state reachability graph of a VET-net. By calculating the firing probability, the HMM-RG can evaluate the vulnerability degree of malicious states. We use a real-world case to show our method's effectiveness and reasonability.

show abstract

“…Based on extended the Martin-Lf's type theory (MTT) which supports a type-theoretic formulation of services behavior structured patterns, Yin [7] proposed the verification on consistency and compatibility of Web services behavior. Fang [8] studied the soundness property form the language viewpoint of the workflow net system. Net language depiction for soundness was presented to reveal the behavior characteristic of this basic property.…”

Section: Introductionmentioning

confidence: 99%

The Behavior Trustworthiness Analysis Methods of Composite Web Services Based on Process Mining

Liu¹,

Fang²,

Wang³

et al. 2013

Appl. Math. Inf. Sci.

Self Cite

View full text Add to dashboard Cite

At present, the behavior trustworthiness of the composite Web service was very important. The soundness of the composite Web service model was the core of the behavior trustworthiness of the service composition, which includes two steps, one was to determine whether or not the composite model satisfied the behavior relativity, in order to analyze the function predictability; the other was to compare the behavior conformance for analyzing the influence of external factors . But the proposed judging algorithm of behavior relativity was feasible only in the case that T-invariant of Petri net model exists, and the behavior conformance was also difficult to handle. In the paper, firstly, in order to analyze the behavior relativity between the Web services, an algorithm for determining the behavior weak soundness of the composite service was presented based on the theory of the service tree. Then, we present an effective analysis method of behavior conformance based on process mining. Finally, we develop plug-ins and test our methods in large benchmarks, and compare our methods with genetic process mining methods. The theoretical analysis and experimental results indicate that this method can realize the predictable behavior of software well, and satisfy the behavior trustworthiness requirements of software.

show abstract

The trustworthiness analyzing of interacting business process based on the induction information

Cited by 8 publications

References 22 publications

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

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

Vulnerability Evaluation Method for E-Commerce Transaction Systems With Unobservable Transitions

The Behavior Trustworthiness Analysis Methods of Composite Web Services Based on Process Mining

Contact Info

Product

Resources

About