Managing configurable business process as a service to satisfy client transactional requirements

Scott Bourne, Claudia Szabo, Quan Z. Sheng

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

4 Citations (Scopus)


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 languageEnglish
Title of host publicationSCC 2015
Subtitle of host publicationIEEE International Conference on Services Computing : proceedings
EditorsPaul P. Maglio, Incheon Paik, Wu Chou
Place of PublicationPiscataway, NJ
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages8
ISBN (Electronic)9781467372817
Publication statusPublished - 2015
Externally publishedYes
EventIEEE International Conference on Services Computing, SCC 2015 - New York, United States
Duration: 27 Jun 20152 Jul 2015


OtherIEEE International Conference on Services Computing, SCC 2015
Country/TerritoryUnited States
CityNew York


  • cloud computing
  • formal verification
  • model checking
  • transactional requirements


Dive into the research topics of 'Managing configurable business process as a service to satisfy client transactional requirements'. Together they form a unique fingerprint.

Cite this