As web services have become an important architecture solution, web service composition applications are developed actively. A mobile application supporting multiple services requires a complex user interface so that the interface needs to consist of more than one view and to provide a way to navigate between views. In this paper, we presented a formal way to analyze a set of views for a given service specification, and a relation model between views and methods. We then provided an algorithm to generate codes for service method calls and navigation between views. Therefore, with an optional user configuration input, we could automatically generated XForms codes from the web service specifications. Finally, we developed a proof of concept implementation of XForms browser to show that the generated codes works well as an interface for web service compositions.