Automatic workflows composition of mobile services

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 823-830

  De Giacomo, Giuseppe ^a   De Leoni, Massimiliano ^a   Mecella, Massimo ^a   Patrizi, Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; MANAGEMENT; MOBILE DEVICES; TELECOMMUNICATION EQUIPMENT; WEB SERVICES; WORLD WIDE WEB;

(+ MOD 2N) OPERATION; EMERGENCY MANAGEMENT; INTERNATIONAL CONFERENCES; MOBILE SERVICES (M SERVICE); PERVASIVE COMPUTING ENVIRONMENTS; SUPPORTING TOOL; SYNTHESIS (OF CHIRAL IONIC LIQUIDS); WORK-FLOWS;

INFORMATION SERVICES;

EID: 39549103958     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2007.55     Document Type: Conference Paper

References (16)

1. B. Benatallah, M. Dumas, and Q. Sheng. Facilitating the rapid development and scalable orchestration of composite web services. Distributed and Parallel Databases, 17, 2005.
2. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based semantic web services with messaging. In Proc. VLDB 2005, 2005.
3. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic service composition based on behavioural descriptions. International Journal of Cooperative Information Systems, 14(4):333-376, 2005.
4. D. Berardi, D. Calvanese, G. De Giacomo, and M. Mecella. Composing web services with nondeterministic behavior. In Proc. ICWS 2006, 2006.
5. G. Chafle, S. Chandra, V. Mann, and M. G. Nanda. Decentralized orchestration of composite web services. In Proc. WWW 2004 - Alternate Track Papers & Posters, 2004.
6. G. De Giacomo and S. Sardina. Automatic synthesis of new behaviors from a library of available behaviors. In Proc. of IJCAI 2007, pages 1866-1871, Hyderabad, India, Jan. 2007.
7. F. De Rosa, A. Malizia, and M. Mecella. Disconnection prediction in mobile ad hoc networks for supporting cooperative work. IEEE Pervasive Computing, 4(3):62 - 70, 2005.
8. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, 2000.
9. O. Kupferman and M. Y. Vardi. Synthesizing distributed systems. In Proc. of LICS 2001, page 389, 2001.
10. U. Kuter, E. Sirin, D. Nau, B. Parsia, and J. Hendler. Information gathering during planning for web service composition. In Proc. Workshop on Planning and Scheduling for Web and Grid Services, 2004.
11. S. A. McIlraith and T. C. Son. Adapting Golog for composition of semantic web services. In Proc. KR 2002, pages 482-496, 2002.
12. B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid. Composing web services on the semantic web. VLDB Journal, 12(4):333-351, 2003.
13. A. L. Murphy, G. P. Picco, and G. C. Roman. LIME: A Coordination Model and Middleware Supporting Mobility of Hosts and Agents. ACM Transactions on Software Engineering and Methodologies, 15(3):279 - 328, 2006.
14. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. POPL 1989, pages 179-190, 1989.
15. A. Pnueli and R. Rosner. Distributed reactive systems are hard to synthesize. In Proc. of FOCS 1990, pages 746-757, 1990.
16. P. Traverso and M. Pistore. Automated composition of semantic web services into executable processes. In Proc. ISWC 2004, volume 3298 of LNCS, pages 380-394. Springer, 2004.