Skip to Main Content
In order to make mobile devices get Web Services continuity and stability, we propose a method called lazy strategy for efficient utilizing Web Services, which used as computing strategy when we encounter avalanche of expressions in runtime. Both the conception and technology as we known are just like an introduction or elimination approach that it solves the space explosion problem by type checking. Lazy strategy means non-strict prove strategy with sharing argument, which can avoid useless computations and deal with no strict functions. First of all, we analyze the basic problem of Web Services' utility, after that we give a method of lazy strategy to handle computing under on the Coq language to reduce the computing task, the mainly idea is based on types theory to construct complex type from some simple types' combination, which plays a critical role in theorem proving. Secondly, we design architecture and detail the function of every model. Thirdly, a case study of our approach is discussed. Finally, we analyze the results of the experiment.