Cambridge University Press / MIT Press / Novell / BPEL / IEEE Computer Society Press / Sun / Database Systems / Implementing Dynamical Systems / Web Services / IBM / Semantic Web Services / Cooperative Information Systems / Enterprise Information Systems / CSREA Press / HP / Bloomberg / Microsoft / /
Country
Switzerland / Canada / Italy / / /
Event
FDA Phase / /
Facility
University of Rome / York University / Prentice Hall / University of Toronto / /
IndustryTerm
target web service / composition algorithm / important software development environment / bank account / Web Service Ontology / conversation protocol / communication protocol / component services / e - business / Web Service Conversation Language / workflow systems / e-services / Web Service Composition This paper / Web service properties / techniques and tools / channel management / automated composition and analysis algorithms / Web Service Description Language / data processing / Web Conf / reactive electronic services / telecommunications / web service compositions / given conversation protocol / internal processing / conversation protocols / candidate services / mediator services / autonomous software / atomic component services / Web Service Composition / composite web service / heterogeneous web-hosted services / lookahead solution / distributed computing / web service models / Web service / transition systems / individual services / finite-state verification tool / e-speak / industrial technology / automatic algorithms / Web service specifications / specifiable transition systems / web setting / atomic services / e-service / interoperations or interactions between services / Web service description/composition models / Internet Computing / legacy systems / multi-step services / pre-existing web / interactive Web / pre-existing services / composite services / composite e-services / electronic commerce / /
Organization
Cambridge University / University of Rome / University of Toronto / Toronto / Research Department / SWSL Committee / Mealy Service for Investor / Bell Labs Research Lucent Technologies Department / National Science Foundation / MIT / York University / Department of Computer Science / FSA / OWL Services Coalition / Investor / Stock Broker / and Research Department / /
Person
Oscar Ibarra / S. Abiteboul / V / Roman Mealy / V. Christophides / Xiang Fu / R. Hull / Massimo Marcella / S. A. McIlraith / Michael Benedikt / Oscar H. Ibarra / C. E. Gerede / Maurizio Lenzerini / Leonid Libkin / Grigorios Karvounarakis / Diego Calvanese / J. Su / Daniela Berardi / Michael Gruninger / Richard Hull / Sheila McIlraith / /
Position
Guard / broker / mediator / multi-use mediator / model / and the Mealy/conversation model / Stock Broker / author / ConGolog interpreter / editor / Column editor / lex mp / model / /
Product
SAS Three / SAS / /
ProgrammingLanguage
Business Process Execution Language / XML Schema / Promela / XML / XPath / /
ProvinceOrState
Ontario / Massachusetts / /
PublishedMedium
Journal of the ACM / IEEE Intelligent Systems / Communications of the ACM / Theoretical Computer Science / /
Technology
SOA / XML / DAML / given conversation protocol / analysis algorithms / finite state machine / communication protocol / composition algorithm / JiniTM Network technology / LAN / relational database / peer-to-peer / conversation protocols / artificial intelligence / conversation protocol / http / Simulation / /