Follow
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
5692014
Behavior modeling and automated verification of web services
QZ Sheng, Z Maamar, L Yao, C Szabo, S Bourne
Information Sciences 258, 416-433, 2014
442014
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
112015
Ensuring well-formed conversations between control and operational behaviors of web services
S Bourne, C Szabo, QZ Sheng
Service-Oriented Computing: 10th International Conference, ICSOC 2012 …, 2012
102012
Verifying transactional requirements of web service compositions using temporal logic templates
S Bourne, C Szabo, QZ Sheng
Web Information Systems Engineering–WISE 2013: 14th International Conference …, 2013
92013
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
82017
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: WESOA; SeMaPS, RMSOC, KASA …, 2015
42015
Formal verification of transactional and configurable service-oriented processes
SS Bourne
32016
The system can't perform the operation now. Try again later.
Articles 1–8