Please use this identifier to cite or link to this item: https://hdl.handle.net/2440/122707
Citations
Scopus Web of ScienceĀ® Altmetric
?
?
Type: Journal article
Title: Transactional behavior verification in business process as a service configuration
Author: Bourne, S.
Szabo, C.
Sheng, Q.
Citation: IEEE Transactions on Services Computing, 2019; 12(2):290-303
Publisher: IEEE Computer Society
Issue Date: 2019
ISSN: 1939-1374
1939-1374
Statement of
Responsibility: 
Scott Bourne, Claudia Szabo, Quan Z. Sheng
Abstract: Business Process as a Service (BPaaS) is an emerging type of cloud service that offers configurable and executable business processes to clients over the Internet. As BPaaS is still in early years of research, many open issues remain. Managing the configuration of BPaaS builds on areas such as software product lines and configurable business processes. The problem has concerns to consider from several perspectives, such as the different types of variable features, constraints between configuration options, and satisfying the requirements provided by the client. In our approach, we use temporal logic templates to elicit transactional requirements from clients that the configured service must adhere to. For formalizing constraints over configuration, feature models are used. To manage all these concerns during BPaaS configuration, we develop a structured process that applies formal methods while directing clients through specifying transactional requirements and selecting configurable features. The Binary Decision Diagram (BDD) analysis is then used to verify that the selected configurable features do not violate any constraints. Finally, model checking is applied to verify the configured service against the transactional requirement set. We demonstrate the feasibility of our approach with several validation scenarios and performance evaluations.
Keywords: Business process as a service; formal methods; verification; transactional requirements; model checking
Rights: 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission.
DOI: 10.1109/TSC.2017.2667662
Grant ID: http://purl.org/au-research/grants/arc/DP0878917
http://purl.org/au-research/grants/arc/FT140101247
Appears in Collections:Aurora harvest 4
Computer Science publications

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.