A model to design and verify context-aware adaptive service composition

SCC 2009 - 2009 IEEE International Conference on Services Computing

Volumn , Issue , 2009, Pages 184-191

  Cubo, Javier ^a   Sama, Michele ^b   Raimondi, Franco ^b   Rosenblum, David ^b  

^a UNIVERSITY OF MÁLAGA   (Spain)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SERVICES; COMPOSITION MODEL; CONTEXT DEPENDENT; CONTEXT- AWARENESS; CONTEXT-AWARE; CORRECTNESS PROPERTIES; EXTENDED MODEL; MOBILE CLIENT; WEB SERVICE COMPOSITION;

EID: 74049131602     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2009.61     Document Type: Conference Paper

References (24)

1. T. Andrews et al. Business Process Execution Language for Web Services (WSBPEL). BEA Systems, IBM, Microsoft, SAP AG, and Siebel Systems, 2005.
2. D. Ayed, D. Delanote, and Y. Berbers. MDD Approach for the Development of Context-Aware Applications. In Proc. of CONTEXT'07, volume 4635 of LNAI, pages 15-28, 2007.
3. R. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, 35(8):677-691, 1986.
4. J. Cámara, J.A. Martín, G. Salaün, J. Cubo, M. Ouderni, C. Canal, and E. Pimentel. ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services (Formal Demo Paper). In Proc. of ICSE'09, pages 627-630. IEEE Computer Society, 2009.
5. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
6. J. Cubo, C. Canal, and E. Pimentel. Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET. In Proc. of MOMPES'08, pages 3-13. IEEE Computer Society, 2008.
7. F. Curbera et al. The Next Step in Web Services. Communications of the ACM, 46(10):29-34, 2003.
8. J. Garcia-Fanjul et al. Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. In Proc. of TAIC-PART'08, pages 127-130. IEEE Computer Society, 2006.
9. N. Luo et al. Towards Context-Aware Composition of Web Services. In Proc. of GCC'06, pages 494-499. IEEE Computer Society, 2006.
10. T. Simcock et al. Developing a location based tourist guide application. In ACSW Frontiers'03, pages 177-183. Australian Computer Society, Inc., 2003.
11. H. Foster, W. Emmerich, J. Kramer, J. Magee, D. Rosenblum, and S. Uchitel. Model Checking Service Compositions under Resource Constraints. In Proc. of ESEC/FSE'07, pages 225-234. ACM Press, 2007.
12. C. Gao, R. Liu, Y. Song, and H. Chen. A Model Checking Tool Embedded into Services Composition Environment. In Proc. of GCC'06, pages 355-362. IEEE Computer Society, 2006.
13. Google. http://mail.google.com/. Accessed on 9 October 2008.
14. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(3):231-261, 1996.
15. M. Keidl and A. Kemper. Towards Context-Aware Adaptable Web Services. In Proc. of WWW'04, pages 55-65. ACM Press, 2004.
16. E. Kim and J. Choi. A Semantic Interoperable Context Infrastructure using Web Services. In Proc. of ICCSA'07, volume 4706 of LNCS, pages 839-848, 2007.
17. A. Martín and E. Pimentel. Automatic Generation of Adaptation Contracts. In Proc. of FOCLASA'08, ENTCS. Elsevier, 2008.
18. R. Mateescu, P. Poizat, and Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. In Proc. of ICSOC'08, volume 5364 of LNCS, pages 84-99.
19. S. Ben Mokhtar, D. Fournier, N. Georgantas, and V. Issarny. Context-Aware Service Composition in Pervasive Computing Environments. In Proc. of RISE'05, volume 3943 of LNCS, pages 129-144, 2006.
20. M. Sama, D. Rosenblum, Z. Wang, and S. Elbaum. Model-Based Fault Detection in Context-Aware Adaptive Applications. In Proc. of ESEC/FSE'08. ACM Press, 2008.
21. K. Scribner. Microsoft Windows Workflow Foundation: Step by Step. Microsoft Press, 2007.
22. F. Somenzi. CUDD: CU Decision Diagram Package - Release 2.4.1. http://vlsi.colorado.edu/~fabio/CUDD. Accessed on 9 October 2008.
23. M. Vukovic. Context Aware Service Composition. Technical Report UCAM-CL-TR-700, University of Cambridge, 2007.
24. H. Q. Yu and S. Reiff-Marganiec. Semantic Web Services Composition via Planning as Model Checking. Technical Report CS-06-003, University of Leicester, 2006.