A Lightweight Framework for Trust Cloud Software Development

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.

• Periodical: Advanced Engineering Forum (Volumes 6-7)
• Pages: 865-870
• DOI: https://doi.org/10.4028/www.scientific.net/AEF.6-7.865
• Online since: September 2012
• Authors: Xiao Li Liu, Yu Juan Quan, Wei Zhen Jiang
• Keywords: Cloud Software, Formal Method, Trust

References

[1] Armbrust, M., A. Fox, et al. "A view of cloud computing." Communications of the ACM, 53(4):2010, 50-58.

[2] K. Hwang, S. Kulkareni, and Y. Hu, "Cloud Security with Virtualized Defense and Reputation-Based Trust Management", in IEEE International Conference on Dependable, Autonomic and Secure Computing, 2009, pp.717-722.

DOI: 10.1109/dasc.2009.149

[3] L. Lambers, L. Mariani, H. Ehrig, and M. Pezz¨¨, "A formal framework for developing adaptable service-based applications", 2008, pp.392-406.

DOI: 10.1007/978-3-540-78743-3_29

[4] R. Haesen, M. Snoeck, W. Lemahieu, and S. Poelmans, "On the definition of service granularity and its architectural impact", 2008, pp.375-389.

DOI: 10.1007/978-3-540-69534-9_29

[5] J. Xiang, L. Liu, W. Qiao, and J. Yang, "SREM: A Service Requirements Elicitation Mechanism based on Ontology", 2007.

DOI: 10.1109/compsac.2007.200

[6] M. Kerrigan, A. Mocan, E. Simperl, and D. Fensel, "Modeling semantic web services with the web service modeling toolkit", Journal of Network and Systems Management, vol. 17, pp.326-342, 2009.

DOI: 10.1007/s10922-009-9130-8

[7] Z. Hemel, L. C. L. Kats, D. M. Groenewegen, and E. Visser, "Code generation by model transformation: a case study in transformation modularity", Software and Systems Modeling, vol. 9, pp.375-402, 2010.

DOI: 10.1007/s10270-009-0136-1

[8] A. Prout, J. Atlee, N. Day, and P. Shaker, "Semantically configurable code generation", Model Driven Engineering Languages and Systems, pp.705-720, 2010.

DOI: 10.1007/978-3-540-87875-9_49

[9] X. Liu, "Research on code generation based on B formal method," PhD thesis, Wuhan University, 2008.

[10] D. Oppenheim, K. Ratakonda, and Y. M. Chee, "Enterprise oriented services", 2009, pp.82-95.

[11] T. V. Pham, H. Jamjoom, K. Jordan, and Z. Y. Shae, "A service composition framework for market-oriented high performance computing cloud", 2010, pp.284-287.

DOI: 10.1145/1851476.1851511

[12] T. Mens, "A formal foundation for object-oriented software evolution", 2001, pp.549-552.

[13] M. Jastram, S. Hallerstede, M. Leuschel, and A. Russo, "An approach of requirements tracing in formal refinement", Verified Software: Theories, Tools, Experiment, pp.97-111, 2010.

DOI: 10.1007/978-3-642-15057-9_7