Abstract
Business Process as a Service (BPaaS) has emerged in recent years as a new paradigm for hosting and offering complex business operations using a cloud service delivery model. BPaaS providers can increase the diversity of their market by enabling their services to be configured to meet individual client needs. However, in order for the clients to trust external services for sensitive business processes, they must be assured that the transactional integrity of the service complies with their own business policies. To provide this trust, we propose a BPaaS configuration method that allows clients to ensure their transactional requirements will not be violated, while configuring the activities, resources, and data objects used in the service. Clients formalize transactional requirements using an expressive and easy-to-use template set. The service is then configured and verified in a three-step process that applies binary decision diagram analysis and model checking. An experimental study using a configurable Web store checkout BPaaS demonstrates the feasibility of our approach. Our state space reduction methods allow verification of models with hundreds of configurable features and requirements.
Original language | English |
---|---|
Title of host publication | SCC 2015 |
Subtitle of host publication | IEEE International Conference on Services Computing : proceedings |
Editors | Paul P. Maglio, Incheon Paik, Wu Chou |
Place of Publication | Piscataway, NJ |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 154-161 |
Number of pages | 8 |
ISBN (Electronic) | 9781467372817 |
DOIs | |
Publication status | Published - 2015 |
Externally published | Yes |
Event | IEEE International Conference on Services Computing, SCC 2015 - New York, United States Duration: 27 Jun 2015 → 2 Jul 2015 |
Other
Other | IEEE International Conference on Services Computing, SCC 2015 |
---|---|
Country/Territory | United States |
City | New York |
Period | 27/06/15 → 2/07/15 |
Keywords
- cloud computing
- formal verification
- model checking
- transactional requirements