USA Computer Science Department University of California Santa Barbara / Asynchronously Communicating Web Services Tevfik Bultan Computer Science Department University of California Santa Barbara / University of California / /
IndustryTerm
Conversation protocols / web service example / Web Applications / Web services description language / Web-based interaction General Terms / Web Services In / web browsers / individual web service / composite web service / individual web services / composite web services / e - business / web service / exhaustive search / individual services / model checking tools / given web service flow / asynchronous message passing software / Web-based software applications / e-services / impact interactive web software / dynamic web services / web service developers / automated software verification / servlet / e-service / Web Conf / Web service choreography interface / web services version / reactive electronic services / web service compositions / accessible software applications / web service implementations / WEB SERVICE To / accessible applications / realistic web services / business-to-consumer applications / web service flows / composite services / example composite web service / composite web service specification / Web services / /
Organization
University of California / National Science Foundation / Java Message Service / USA School of Computer and Information Science Georgia Southwestern State University Americus / USA Computer Science Department University of California Santa Barbara / Asynchronously Communicating Web Services Tevfik Bultan Computer Science Department University of California Santa Barbara / International World Wide Web Conference Committee / /
Person
Pi / /
Position
driver / small driver / guard / translator / RT / head / The transition relation RT / semantic model / a composite web service / Communication Controller / Web-based interaction General / !guard / representative / Controller / /
ProgrammingLanguage
Business process execution language / Java / Promela / XML / T / /
ProvinceOrState
California / Georgia / /
PublishedMedium
the Communicator / /
TVStation
WSFL / /
Technology
XML / peer-to-peer / DAML / API / Conversation protocols / Java / finite state machine / DOM / simulation / /
Design for Verification for Asynchronously Communicating Web Services Tevfik Bultan Computer Science Department