TRANSACT BUSINESS AUTHENTICATION
Loading...
Files
Date
2019-06-28T07:56:41Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Transact Business Authentication is an emerging type of cloud service that offers configurable and executable business processes to clients over the Internet. As Transaction service is still in early years of research, many open issues remain. Managing the configuration of Transaction service 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 transact service 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.
Description
Keywords
1NH16MCA14