Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis

Moser, Simon; Martens, Axel; Görlach, Katharina; Amme, Wolfram; Godlinski, A.

doi:10.1109/scc.2007.22

Cited by 46 publications

(21 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…There is an exception handling mechanism based on TSCM-FR to capture the possible failures that allow the fault to be handled flexibly at different levels. This is as shown in the following figure [10]. When making atomic drive failure recovery, Multi-level exception handling system is based on the concept that the optimal configuration is a series of selection rules, and the service cooperation is finished by the automatic retrying and compensation.…”

Section: ) Reliability Assurance Mechanism Of Service Cooperation Bamentioning

confidence: 99%

Modeling and Analysis of 3d Printing Ws-Bpel Business Processes Based on Servicenet

et al. 2017

View full text Add to dashboard Cite

Abstract-To solve the problem that whether the described Web service by business process execution language were interactive compatible, a method of WS-BPEL(Web Services Business Process Execution Language) parsing and execution was proposed. The service compatibility checking algorithm based on the Mediation model, which can provide multi-level service checking compatibility, and realize the goal of Service Cooperation or the demand of ValueAdded Services. Based on BPMN specification, a task modeling and management tool was proposed to support the service components for assembly component. It supports both Web service automatic retrieval and service content analysis based on QoS information, and the task execution model between the BPMN specification task descriptions was transformed into the BPEL specification task description model. Finally, a model transformation strategy based on meta-model mapping was put forward. The algorithm was designed and examples were given to demonstrate the efficiency of 3D Printing WS-BPEL. 1Introduction

show abstract

Section: ) Reliability Assurance Mechanism Of Service Cooperation Bamentioning

confidence: 99%

Modeling and Analysis of 3d Printing Ws-Bpel Business Processes Based on Servicenet

et al. 2017

View full text Add to dashboard Cite

show abstract

“…A verification must ensure that a service provisioning internally adheres to the externally promised collaboration behavior. Verification must also cover other perspectives than control-flow, e.g., data-flow [72], resources, transactional properties, and so forth. h.) Simulation of a collaboration configuration.…”

Section: Functional Requirementsmentioning

confidence: 99%

A reference architecture for managing dynamic inter-organizational business processes

Norta

Grefen

Narendra

2014

Data & Knowledge Engineering

View full text Add to dashboard Cite

“…In literature [4,5],the data flow and control flow had been applied to the process analysis and optimization,S. Moser in [6] clarify data-dependent clearly with BPEL-based business process ,and find the data can be used to build more accurate dependence.Literature [4,7] mentioned that data stream has influence on correctness and soundness , but didn't make a specific analysis.…”

Section: Introductionmentioning

confidence: 99%

Soundness Analysis of the Process of the Automatic Vending System Based on Petri Net

Chen¹,

Fang²,

Liu³

2015

Proceedings of the 3rd International Conference on Material, Mechanical and Manufacturing Engineering

View full text Add to dashboard Cite

Automatic vending system is being widely used, the system of business process was mainly related to data flow and control flow, so the soundness analysis for business processes of automatic vending system is more difficult. The existing research about the soundness analysis of the process model is mainly from the control flow of the business process, and the influence of the data flow on the soundness of the business model is less considered. In this paper, based on the data flow and control flow of Petri net to analysis the soundness of automatic vending system process ,which can not only analyzing the soundness of business process Petri net model from the control flow ,but also further strengthened the influence of the data flow for the judgment on the soundness of the business process. Combining the example analysis shows that the method has certain feasibility.

show abstract

Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis

Cited by 46 publications

References 9 publications

Modeling and Analysis of 3d Printing Ws-Bpel Business Processes Based on Servicenet

Modeling and Analysis of 3d Printing Ws-Bpel Business Processes Based on Servicenet

A reference architecture for managing dynamic inter-organizational business processes

Soundness Analysis of the Process of the Automatic Vending System Based on Petri Net

Contact Info

Product

Resources

About