Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition

Electronic Notes in Theoretical Computer Science

Volumn 229, Issue 3, 2009, Pages 3-18

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

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

computational complexity; controller synthesis; Service composition

Indexed keywords

ALGORITHMS AND COMPLEXITY; AUTOMATED WEB SERVICE COMPOSITION; COMPLEX TASK; COMPOSITION OF SERVICES; CONTROLLER SYNTHESIS; PLAN SYNTHESIS; SERVICE COMPOSITION; SOFTWARE SYNTHESIS; WEB SERVICES COMPOSITION;

CONTROLLERS; WEB SERVICES;

COMPUTATIONAL COMPLEXITY;

EID: 67650002762     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.06.036     Document Type: Article

References (25)

1. Alvarez C., Balcázar J., Gabarró J., and Sántha M. Parallel complexity in the design and analysis of concurrent systems. Parallel Architectures and Languages Europe. PARLE'91 (1991), Springer-Verlag 288-303
2. Andrews T., Curbera F., Dholakia H., Goland Y., Klein J., Leymann F., Liu K., Roller D., Smith D., Thatte S., Trickovic I., and Weerawarana S. Business Process Execution Language for Web services (BPEL4WS) (2004). www-106.ibm.com/developerworks/library/ws-bpel/
3. Ariba, Microsoft, IBM, 'Web Services Description Language (WSDL)'. www.w3.org/TR/2001/ NOTE-wsdl-20010315, (2001).
4. Arnold A., Vincent A., and Walukiewicz I. Games for synthesis of controllers with partial observation. Theoretical computer science 303 (2003) 7-34
5. Berardi D., Calvanese D., De Giacomo G., Hull R., and Mecella M. Automated composition of transition-based semantic Web services with messaging. Proceedings of the 31st International Conference on Very Large Data Bases (2005), VLDB Endowment 613-624
6. Berardi D., Calvanese D., De Giacomo G., Lenzerini M., and Mecella M. Automatic composition of e-services that export their behavior. Service-Oriented Computing. ICSOC 2003 (2003), Springer 43-58
7. Berardi D., Cheikh F., De Giacomo G., and Patrizi F. Automatic service composition via simulation. International Journal of Foundations of Computer Science 19 (2008) 429-451 World Scientific Publishing
8. Berwanger D., Grädel E., and Lenzi G. The variable hierarchy of the μ-calculus is strict. Theory of Computing Systems 40 (2007) 437-466
9. Cheikh F., De Giacomo G., and Mecella M. Automatic Web services composition in trust-aware communities. Proceedings of the 3rd ACM Workshop on Secure Web Services (2006), Association for Computing Machinery 43-52
10. De Giacomo, G., M. De Leoni, M. Mecella, F. Patrizi, 'Automatic workflows composition of mobile services'. In: 'Proceedings of the IEEE International Conference on Web Services'. International Conference on Web Services (2007) 823-830
11. Fitting M. Proof Methods for Modal and Intuitionistic Logic (1983), Reidel
12. Huhns M. Agents as Web services. IEEE Internet Computing 6 (2002) 93-95
13. Jategaonkar L., and Meyer A. Deciding true concurrency equivalences on safe, finite nets. Theoretical computer science 154 (1996) 107-143
14. Kavantzas N., Burdett D., et al. Web Services Choreography Description Language (WS-CDL) (2004). www.w3.org/TR/2004/WD-ws-cdl-10-20041217/
15. König D., Lohmann N., Moser S., Stahl C., and Wolf K. Extending the compatibility notion for abstract WS-BPEL processes. Proceedings of the seventeenth International Conference on World Wide Web (2008), World Wide Web 785-794
16. Melliti T., Haddad S., Suna A., and El Fallah Seghrouchni A. Web - MASI: multi-agent systems interoperability using a Web services based approach. Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2005 (2005), IEEE 739-742
17. Milanovic N., and Malek M. Current solutions for Web service composition. IEEE Internet Computing 8 (2004) 51-59
18. Müller I., Kowalczyk R., and Braun P. Towards agent-based coalition formation for service composition. Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2006 (2006), IEEE 73-80
19. Murata T. Petri nets: Properties, analyses and applications. Proceedings of the IEEE 17 (1989) 541-574
20. Papadimitriou C. Computational Complexity (1994), Addison-Wesley
21. Pistore M., Barbon F., Bertoli P., Shaparau D., and Traverso P. Planning and monitoring Web service composition, Artificial Intelligence: Methodology, Systems, and Applications (2004), Springer 106-115
22. Pistore, M., A. Marconi, P. Bertoli, P. Traverso, 'Automated composition of Web services by planning at the knowledge level'. In: 'Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence'. International Joint Conferences on Artificial Intelligence (2005) 1252-1259
23. Ross-Talbot S. Web services choreography and Process Algebra (2004). www.daml.org/services/swsl/materials/WS-CDL.pdf
24. Sardiña, S., F. Patrizi, G. De Giacomo, 'Automatic synthesis of global behavior from multiple distributed behaviors'. In: 'Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence'. Conference on Artificial Intelligence (2007) 1063-1069
25. Traverso P., and Pistore M. Automated composition of semantic Web services into executable processes. The Semantic Web - ISWC 2004 (2004), Springer 380-394