Scott Bourne

TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions

Quan Z. Sheng, Claudia Szabo, Scott Bourne, 2014, ICSOC Workshops.

Behavior modeling and automated verification of Web services

Lina Yao, Quan Z. Sheng, Zakaria Maamar, 2014, Inf. Sci..

Transactional Behavior Verification in Business Process as a Service Configuration

Quan Z. Sheng, Claudia Szabo, Scott Bourne, 2019, IEEE Transactions on Services Computing.

Web services composition: A decade's overview

Athanasios V. Vasilakos, Quan Z. Sheng, Xiaofei Xu, 2014, Inf. Sci..

Formal verification of transactional and configurable service-oriented processes

Scott Bourne, S. Bourne, 2016 .

Ensuring Well-Formed Conversations between Control and Operational Behaviors of Web Services

Quan Z. Sheng, Claudia Szabo, Scott Bourne, 2012, ICSOC.

Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates

Quan Z. Sheng, Claudia Szabo, Scott Bourne, 2013, WISE.

Managing Configurable Business Process as a Service to Satisfy Client Transactional Requirements

Quan Z. Sheng, Claudia Szabo, Scott Bourne, 2015, 2015 IEEE International Conference on Services Computing.

User's manual for NAVEFF navigation effects model

Scott Bourne, 2002 .