Scott Bourne
Title
Cited by
Cited by
Year
Web services composition: A decade’s overview
QZ Sheng, X Qiao, AV Vasilakos, C Szabo, S Bourne, X Xu
Information Sciences 280, 218-238, 2014
4292014
Behavior modeling and automated verification of Web services
QZ Sheng, Z Maamar, L Yao, C Szabo, S Bourne
Information Sciences 258, 416-433, 2014
402014
Managing configurable business process as a service to satisfy client transactional requirements
S Bourne, C Szabo, QZ Sheng
2015 IEEE International Conference on Services Computing, 154-161, 2015
102015
Ensuring well-formed conversations between control and operational behaviors of web services
S Bourne, C Szabo, QZ Sheng
International Conference on Service-Oriented Computing, 507-515, 2012
102012
Transactional behavior verification in business process as a service configuration
S Bourne, C Szabo, QZ Sheng
IEEE Transactions on Services Computing 12 (2), 290-303, 2017
62017
Verifying transactional requirements of web service compositions using temporal logic templates
S Bourne, C Szabo, QZ Sheng
International Conference on Web Information Systems Engineering, 243-256, 2013
62013
Formal verification of transactional and configurable service-oriented processes
SS Bourne
32016
TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions
S Bourne, C Szabo, QZ Sheng
Service-Oriented Computing-ICSOC 2014 Workshops, 418-422, 2015
32015
The system can't perform the operation now. Try again later.
Articles 1–8