Scott Bourne

According to our database, Scott Bourne authored at least 7 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Transactional Behavior Verification in Business Process as a Service Configuration.

Scott Bourne, Claudia Szabo, Quan Z. Sheng

IEEE Trans. Serv. Comput., 2019

2015

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

Scott Bourne, Claudia Szabo, Quan Z. Sheng

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

Web services composition: A decade's overview.

Quan Z. Sheng, Xiaoqiang Qiao, Athanasios V. Vasilakos, Claudia Szabo, Scott Bourne, Xiaofei Xu

Inf. Sci., 2014

Behavior modeling and automated verification of Web services.

Quan Z. Sheng, Zakaria Maamar, Lina Yao, Claudia Szabo, Scott Bourne

Inf. Sci., 2014

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

Scott Bourne, Claudia Szabo, Quan Z. Sheng

Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014

2013

Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates.

Scott Bourne, Claudia Szabo, Quan Z. Sheng

Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

2012

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

Scott Bourne, Claudia Szabo, Quan Z. Sheng

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012