Composition of interactive Web services based on controller synthesis

Proceedings - 2008 IEEE Congress on Services, SERVICES 2008

Volumn PART 1, Issue , 2008, Pages 521-528

  Balbiani, Philippe ^a   Cheikh, Fahima ^a   Feuillade, Guillaume ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; INFORMATION SERVICES; WEB SERVICES; WORLD WIDE WEB;

CLIENT SERVICING; SERVICE COMPOSITIONS;

PROBLEM SOLVING;

EID: 51749084205     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERVICES-1.2008.11     Document Type: Conference Paper

References (9)

1. A. Arnold, A.Vincent, and I.Walukiewicz. Games for synthesis of controllers with partial observation. Theoretical Computer Science, 303:7-34, 2003.
2. D. Berardi, D. Calvanese, G. De Giacomo, and M. Mecella. Composing web services with nondeterministic behavior. In Proceedings of the International Conference of Web Services, 2006.
3. D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based semantic web services with messaging. In Proceedings of the International Conference on Very Large Data Bases, 2005.
4. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proceedings of the International Conference on Implementation and Application of Automata, 2003.
5. J. Hoffmann, P. Bertoli, and M. Pistore. Web service composition as planning, revisited: In between background theories and initial state uncertainty. In Proceedings of the AAAI Conference on Artificial Intelligence, 2007.
6. R. Kumar and M. A. Shayman. Centralized and decentralized supervisory control of nondeterministic systems under partial observation. SIAM Journal of Control and Optimization, 35:363-383, 1997.
7. M. Pistore, A. Marconi, P. Bertoli, and P. Traverso. Automated composition of web services by planning at the knowledge level. In Proceedings of the International Joint Conferences on Artificial Intelligence, 2005.
8. J. Raclet and S. Pinchinat. The supervisory control problems for non-deterministic descrite-event systems: a logical approach. In Proceedings of the IFAC Word Congress, 2005.
9. P. Ramadge and W. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77:81-98, 1989.