PROJECT TITLE :

Transactional Behavior Verification in Business Process as a Service Configuration - 2017

ABSTRACT:

Business Process as a Service (BPaaS) is an rising kind of cloud service that offers configurable and executable business processes to clients over the internet. As BPaaS remains in early years of research, many open problems remain. Managing the configuration of BPaaS builds on areas like software product lines and configurable business processes. The matter has considerations to contemplate from several perspectives, like the different varieties of variable features, constraints between configuration options, and satisfying the necessities provided by the shopper. In our approach, we have a tendency to use temporal logic templates to elicit transactional requirements from shoppers that the configured service must adhere to. For formalizing constraints over configuration, feature models are used. To manage of these considerations during BPaaS configuration, we tend to develop a structured method that applies formal ways while directing clients through specifying transactional requirements and selecting configurable options. The Binary Decision Diagram (BDD) analysis is then used to verify that the chosen configurable options don't violate any constraints. Finally, model checking is applied to verify the configured service against the transactional requirement set. We have a tendency to demonstrate the feasibility of our approach with several validation scenarios and performance evaluations.