Scott Bourne

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 1

Top Topics

Workflow Engine

Web Service Compositions

Business Process

Top Venues

ICSOC Workshops

Publications

Scott Bourne, Claudia Szabo, Quan Z. Sheng
Transactional Behavior Verification in Business Process as a Service Configuration. IEEE Trans. Serv. Comput. 12 (2) (2019)
Scott Bourne, Claudia Szabo, Quan Z. Sheng
Managing Configurable Business Process as a Service to Satisfy Client Transactional Requirements. SCC (2015)
Quan Z. Sheng, Zakaria Maamar, Lina Yao, Claudia Szabo, Scott Bourne
Behavior modeling and automated verification of Web services. Inf. Sci. 258 (2014)
Scott Bourne, Claudia Szabo, Quan Z. Sheng
TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions. ICSOC Workshops (2014)
Quan Z. Sheng, Xiaoqiang Qiao, Athanasios V. Vasilakos, Claudia Szabo, Scott Bourne, Xiaofei Xu
Web services composition: A decade's overview. Inf. Sci. 280 (2014)
Scott Bourne, Claudia Szabo, Quan Z. Sheng
Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates. WISE (1) (2013)
Scott Bourne, Claudia Szabo, Quan Z. Sheng
Ensuring Well-Formed Conversations between Control and Operational Behaviors of Web Services. ICSOC (2012)