Abstract
Trust is particularly important for cloud service. In this paper, we introduce a lightweight framework for trust software development in cloud computing by comparing the differences of web service and cloud service. Formal method is used to ensure the correctness of the whole process. Furthermore, the theory implementation is simply discussed, including the related research results which support our framework.
Highlights
Cloud computing is receiving enormous attention in recent years
It is widely recognized that trust is critical for cloud computing, especially for cloud services
We introduce a lightweight framework for trust software development in cloud computing
Summary
Cloud computing is receiving enormous attention in recent years. Cloud computing represents a new tipping point for the value of network computing. Service provides common business applications on-line through a web browser, while the software and data are stored on the servers. There are no generic software development methods for trust cloud application. We introduce a lightweight framework for trust software development in cloud computing. We introduce a cloud software development framework which is based on fine-grained services. Formal method is adopted to facilitate the whole development process to ensure the correctness of the software. A. Service Elicitation A generic method for service elicitation is needed in service oriented engineering, especially for cloud software development. Some researchers point out that in future the cloud users should be customize the application according to their requirements by themselves It is great challenge for software engineers. Formal methods and supported tools are mature enough to be the foundation for process implementation
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
