Supporting Context-Awareness in Adaptive Service Composition

Wind turbine apparatus is described for converting wind energy into electrical energy. The apparatus includes a rotatable central shaft, a plurality of rotor blades attached to the central shaft, and a plurality of convex airfoils spaced around the periphery of the rotor blades. The ratio of the number of rotor blades to the number of airfoils is at least 1.25 to 1. The size of the apparatus may vary, and the apparatus is useful in a variety of applications and environments. It is very efficient in converting wind energy to electrical energy. It may be operated even in very high wind conditions.

[1]  Gregory D. Abowd,et al.  The context toolkit: aiding the development of context-enabled applications , 1999, CHI '99.

[2]  Gwen Salaün,et al.  Behavioral adaptation of component compositions based on process algebra encodings , 2007, ASE '07.

[3]  Jaeyoung Choi,et al.  A Semantic Interoperable Context Infrastructure Using Web Services , 2007, ICCSA.

[4]  Fabio Casati,et al.  Semi-automated adaptation of service interactions , 2007, WWW '07.

[5]  Bruce H. Thomas,et al.  Developing a Location Based Tourist Guide Application , 2003, ACSW.

[6]  Javier Cámara,et al.  Context-Based Adaptation of Component Behavioural Interfaces , 2007, COORDINATION.

[7]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[8]  Antonio Brogi,et al.  Automated Generation of BPEL Adapters , 2006, CIbSE.

[9]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[10]  Gregory D. Abowd,et al.  Towards a Better Understanding of Context and Context-Awareness , 1999, HUC.

[11]  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).

[12]  Min Liu,et al.  Towards Context-Aware Composition of Web Services , 2006, 2006 Fifth International Conference on Grid and Cooperative Computing (GCC'06).

[13]  Anna Ingólfsdóttir,et al.  A Symbolic Approach to Value-Passing Processes , 2001, Handbook of Process Algebra.

[14]  Sebastián Uchitel,et al.  LTSA-WS: a tool for model-based verification of web service compositions and choreography , 2006, ICSE.

[15]  Carlos Canal,et al.  Software Adaptation , 2006, Obj. Logiciel Base données Réseaux.

[16]  Frank van Harmelen,et al.  Contextualizing ontologies , 2004, J. Web Semant..

[17]  Harry Chen,et al.  An Intelligent Broker for Context-Aware Systems , 2003 .

[18]  Valérie Issarny,et al.  Context-Aware Service Composition in Pervasive Computing Environments , 2005, RISE.

[19]  Gianluigi Zavattaro,et al.  Process Algebraic Specification of the New Asynchronous CORBA Messaging Service , 1999, ECOOP.

[20]  Hong Qing Yu,et al.  Semantic Web Services Composition via Planning as Model Checking , 2006 .

[21]  Angela Nicoara,et al.  PROSE: A middleware platform for dynamic adaptation , 2005 .

[22]  David S. Rosenblum,et al.  Model checking service compositions under resource constraints , 2007, ESEC-FSE '07.

[23]  Paola Inverardi,et al.  Deadlock-free software architectures for COM/DCOM Applications , 2003, J. Syst. Softw..

[24]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[25]  Kenn Scribner.  Microsoft Windows Workflow Foundation step by step , 2007 .

[26]  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).

[27]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[28]  Maja Vukovic,et al.  Context aware service composition , 2007 .

[29]  Ben Margolis,et al.  SOA for the Business Developer: Concepts, BPEL, and SCA (Business Developers series) , 2007 .

[30]  Javier Muñoz Ferrara.  Model driven development of pervasive systems. Building a software factory , 2008 .

[31]  Javier Cubo,et al.  A Model-Based Approach to the Verification and Adaptation of WF/.NET Components , 2008, Electron. Notes Theor. Comput. Sci..

[32]  Philippe A. Palanque,et al.  A Formal Specification of the CORBA Event Service , 2000, FMOODS.