A Model to Design and Verify Context-Aware Adaptive Service Composition
暂无分享,去创建一个
[1] Javier Cubo,et al. Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET , 2008, 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software.
[2] Jaeyoung Choi,et al. A Semantic Interoperable Context Infrastructure Using Web Services , 2007, ICCSA.
[3] Kenn Scribner. Microsoft Windows Workflow Foundation step by step , 2007 .
[4] Stefan Tai,et al. The next step in Web services , 2003, CACM.
[5] Min Liu,et al. Towards Context-Aware Composition of Web Services , 2006, 2006 Fifth International Conference on Grid and Cooperative Computing (GCC'06).
[6] Javier Cámara,et al. ITACA: An integrated toolbox for the automatic composition and adaptation of Web services , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[7] Claudio de la Riva,et al. Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking , 2006, Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06).
[8] Manfred Reichert,et al. Business Process Execution Language for Web Service (BPEL) , 2006 .
[9] Stephan Merz,et al. Model Checking , 2000 .
[10] Hong Qing Yu,et al. Semantic Web Services Composition via Planning as Model Checking , 2006 .
[11] Ernesto Pimentel,et al. Automatic Generation of Adaptation Contracts , 2009, Electron. Notes Theor. Comput. Sci..
[12] Maja Vukovic,et al. Context aware service composition , 2007 .
[13] Fabio Somenzi,et al. CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .
[14] David S. Rosenblum,et al. Model checking service compositions under resource constraints , 2007, ESEC-FSE '07.
[15] David S. Rosenblum,et al. Model-based fault detection in context-aware adaptive applications , 2008, SIGSOFT '08/FSE-16.
[16] Constance L. Heitmeyer,et al. Automated consistency checking of requirements specifications , 1996, TSEM.
[17] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[18] Alfons Kemper,et al. Towards context-aware adaptable web services , 2004, WWW Alt. '04.
[19] Bruce H. Thomas,et al. Developing a Location Based Tourist Guide Application , 2003, ACSW.
[20] Valérie Issarny,et al. Context-Aware Service Composition in Pervasive Computing Environments , 2005, RISE.
[21] Yolande Berbers,et al. MDD Approach for the Development of Context-Aware Applications , 2007, CONTEXT.
[22] Huowang Chen,et al. A Model Checking Tool Embedded into Services Composition Environment , 2006, 2006 Fifth International Conference on Grid and Cooperative Computing (GCC'06).
[23] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .