A path detecting method to analyze the interactive compatibility of service processes based on WS‐BPEL

Hu, Qiang; Liu, Minghua; Zhen, Zhao; Du, Junwei

doi:10.1002/cpe.4699

Cited by 5 publications

(6 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…is section briefly reviews some basic concepts, including traces [4], event logs [4], Petri nets [25][26][27][28][29][30][31], transition systems [13], and alignments [13].…”

Section: Preliminariesmentioning

confidence: 99%

“…OA_one[i] ⟵ c i ; (19) JUMP TO Step 1; //obtain the optimal alignment for the given trace and be ready to do the search for the next one; (20) ELSE (21) sucstate ⟵ π 3 (t j ); (22) sucalign ⟵ c i ; (23) succost ⟵ π 3 (curnode) + lc(π 2 (t j )); (24) sucnode ⟵ (sucstate,sucalign, succost); (25) queue ⟵ queue ∪ {sucnode}; //add the successor to the queue; (26) END IF (27) END IF (28) END IF (29) END FOR (30) END WHILE (31) END FOR (32) RETURN OA_one; ALGORITHM 2: Computing an optimal alignment between the event log and the process model based on the standard likelihood cost function.…”

Section: Remaining Unchangedmentioning

confidence: 99%

“…cost � c i ; //update the minimum cost; (24) OA_all[i] ⟵ OA_all[i] ∪ c i ; //obtain an optimal alignment for the ith trace; (25) ELSE (26) sucstate ⟵ π 3 (t j ); (27) sucalign ⟵ c i ; (28) succost ⟵ c i ; (29) sucnode ⟵ (sucstate, sucalign, succost); (30) queue ⟵ queue ∪ {sucnode}; //add the successor to the queue; (31) END IF (32) END…”

Section: Adding New Transitionsmentioning

confidence: 99%

See 2 more Smart Citations

Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management

Han

Tian

2020

Mathematical Problems in Engineering

View full text Add to dashboard Cite

In order to improve the efficiency of conformance checking in business process management, a business alignment approach is presented based on transition systems between relation matrices and Petri nets. Firstly, a log-based relation matrix of the events is obtained according to the event log. Then, the events in the relation matrix are observed and the transitions in the model are firing, and the activities in the log and in the model are compared. Next, the states of the log and the model are recorded until no new state can be generated, so a transition system can be obtained which includes optimal alignments between the event log and the process model. Finally, two detailed algorithms are presented to obtain an optimal alignment and all optimal alignments between the trace and the model based on the given cost function, respectively. The availability and effectiveness of the proposed approach are proved theoretically.

show abstract

“…is section briefly reviews some basic concepts, including traces [4], event logs [4], Petri nets [25][26][27][28][29][30][31], transition systems [13], and alignments [13].…”

Section: Preliminariesmentioning

confidence: 99%

Section: Remaining Unchangedmentioning

confidence: 99%

Section: Adding New Transitionsmentioning

confidence: 99%

See 1 more Smart Citation

Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management

Han

Tian

2020

Mathematical Problems in Engineering

View full text Add to dashboard Cite

show abstract

“…Similarly, t i ′ is labelled with a logic expression p 11∨ p 12 , and it means that p 13 can get a token once p 11 or p 12 has obtained the token. How to construct service nets for service processes can be found in our previous work [26].…”

Section: Definition 1 (Logic Petri Net [25])mentioning

confidence: 99%

“…obtain a place p in τ (t n ) and build service net SubSN j with SubSN j .i � p; (11) sp j � PathString_Generate (SubSN j ); (12) if (I (t n ) � O ∨ ) PS � PS + sp j + ||; (13) if (I (t n ) � O ∧ ) PS � PS + sp j + ⊗; (14) End for (15) Scientific Programming [28], service class [29], and service cluster [26,30]. Cloud services in above concepts are required with the same input and output parameters.…”

Section: Service Substitution Based On Clustering and Process Collabomentioning

confidence: 99%

A Cluster and Process Collaboration-Aware Method to Achieve Service Substitution in Cloud Service Processes

Shen

2020

Scientific Programming

Self Cite

View full text Add to dashboard Cite

Some cloud services may be invalid since they are located in a dynamically changing network environment. Service substitution is necessary when a cloud service cannot be used. Existing work mainly concerned on service function and quality in service substitution. To select a more suitable substitutive service, process collaboration similarity needs to be considered. This paper proposes a cluster and process collaboration-aware method to achieve service substitution. To compute the process collaboration similarity, we use logic Petri nets to model service processes. All the service processes are transformed into path strings. Service vectors for cloud services are generated by Word2Vec from these path strings. Process collaboration similarity of two cloud services is obtained by computing the cosine value of their service vectors. Meanwhile, similar cloud services are classified as a service cluster. By calculating function similarity and quality matching, a candidate set for services substitution is generated. The service with the highest process collaboration similarity to invalid one in the candidate set is chosen as the substitutive one. Simulation experiments show the proposed method is less time-consuming than traditional methods in finding substitutive service. Meanwhile, the substitutive one has a high cooccurrence rate with neighboring services of the invalid cloud service. Thus, the proposed method is efficient and integrates process collaboration well in service substitution.

show abstract

Cross-Organization Emergency Response Process Mining: An Approach Based on Petri Nets

Liu

Zeng

et al. 2020

Mathematical Problems in Engineering

View full text Add to dashboard Cite

To support effective emergency disposal, organizations need to collaborate with each other to complete the emergency mission that cannot be handled by a single organization. In general, emergency disposal that involves multiple organizations is typically organized as a group of interactive processes, known as cross-organization emergency response processes (CERPs). The construction of CERPs is a time-consuming and error-prone task that requires practitioners to have extensive experience and business background. Process mining aims to construct process models by analyzing event logs. However, existing process mining techniques cannot be applied directly to discover CERPs since we have to consider the complexity of various collaborations among different organizations, e.g., message exchange and resource sharing patterns. To tackle this challenge, a CERP model mining method is proposed in this paper. More specifically, we first extend classical Petri nets with resource and message attributes, known as resource and message aware Petri nets (RMPNs). Then, intra-organization emergency response process (IERP) models that are represented as RMPNs are discovered from emergency drilling event logs. Next, collaboration patterns among emergency organizations are formally defined and discovered. Finally, CERP models are obtained by merging IERP models and collaboration patterns. Through comparative experimental evaluation using the fire emergency drilling event log, we illustrate that the proposed approach facilitates the discovery of high-quality CERP models than existing state-of-the-art approaches.

show abstract

A path detecting method to analyze the interactive compatibility of service processes based on WS‐BPEL

Cited by 5 publications

References 31 publications

Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management

Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management

A Cluster and Process Collaboration-Aware Method to Achieve Service Substitution in Cloud Service Processes

Cross-Organization Emergency Response Process Mining: An Approach Based on Petri Nets

Contact Info

Product

Resources

About