Research on Technology of Efficient Utilizing Web Services for Mobile Devices Based on Lazy Strategy
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
Lazy Strategy Formal Method Web Services Coq Mobile Devices
Wang Shuoping Gao Honghao Liu Jun Wu Yan
Computer Science School Zhejiang University City College Hangzhou,China College of Computer Engineering and Science ShangHai University Shanghai,China College of Computer Engineering and Science Zhejiang Chinese Medical University Hangzhou,China
国际会议
重庆
英文
166-170
2010-09-17（万方平台首次上网日期，不代表论文的发表时间）