부산대학교 도서관

In this paper, we propose model driven software development and Security Performance Framework Model to maintain the balance between security and performance for web applications. We know the large scale enterprise web applications are naturally complex and rigid to maintain. To deal with this complexity of web applications, we propose OMG's UML modeling language for forward engineering and SPF based software engineering practices to improve the performance of web applications. Model driven development approaches focus on software automation with generators that translate models into code. One of the major difficulties in developing web applications with object-oriented modeling is to translate a designed model into code that satisfies required real-time performance. We propose a method of automatic code synthesis ensuring that the synthesized code to be efficient enough to use the minimal amount of resources such as CPU time and memory. For implementation of Security Performance framework based trusted operating system, we propose object oriented based Code translation through forward engineering for the same web application. The goal of this paper is to demonstrate a process in which such translation can be formally verified. In this paper, we propose SPF based code verification and object oriented design process for web applications.