Scott Bourne
TitleCited byYear
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
3712014
Behavior modeling and automated verification of Web services
QZ Sheng, Z Maamar, L Yao, C Szabo, S Bourne
Information Sciences 258, 416-433, 2014
382014
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
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
92015
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
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
32017
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