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


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.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : On the Delay Advantage of Coding in Packet Erasure Networks - 2014 ABSTRACT: We consider the delay of network coding compared to routing with retransmissions in packet erasure networks with probabilistic erasures.
PROJECT TITLE : Joint Routing and Medium Access Control in Fixed Random Access Wireless Multihop Networks - 2014 ABSTRACT: We study cross-layer design in random-access-based fixed wireless multihop networks under a physical
PROJECT TITLE : Joint Interference Coordination and Load Balancing for OFDMA Multihop Cellular Networks - 2014 ABSTRACT: Multihop cellular networks (MCNs) have drawn tremendous attention due to its high throughput and extensive
PROJECT TITLE :Efficient Algorithms for Mining High Utility Itemsets from Transactional Databases - 2013ABSTRACT:Mining high utility itemsets from a transactional database refers to the discovery of itemsets with high utility
PROJECT TITLE :Network Traffic Classification Using Correlation Information - 2013ABSTRACT:Traffic classification has wide applications in network management, from security monitoring to quality of service measurements. Recent

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry