Earticle

초록

영어

This paper proposes a formal approach for development of safe web applications. This approach involves the generation of a web application on both sides (users’ side (Ajax) and the web service side (Composition)) from formal specifications. First, we describe the application using symbolic notations then an automatic process is applied in order to translate them into formal specifications B. Using the B refinement process, a set of refinement rules, operating on data and operations. These phases of refinement are intended to make the final specifications close to the implementation language chosen so that the last coding phase becomes intuitive and natural. In general, the process of refinement is a manual task, relatively expensive; with character generic of these refinement rules, an assisted refinement tool can be achieved, enabling reduction the cost of the refining process. Finally, in the case study, we have developed a complete application (Travel Agency) in order to show the benefits of our approach.

목차

Abstract
 1. Introduction
  1.1. AJAX (Asynchronous JavaScript and XML)
  1.2. Convergence of Web 2.0 and SOA
 2. Related Work
  2.1. The Transition Systems LTSA-WS
  2.2. Process Algebras (ASDL)
  2.3. Temporal Theories
 3. The Proposed Approach
  3.1. Models Used
  3.2. Processes and Tools of Our Approach
  3.3. Development Practices for Validation
 4. Case Study: Build the Complete Application (Travel Agency)
  4.1. Preparing the Environment
  4.2. BPEL4SW Process
  4.3. Create the Endpoint Interface (JAVA)
 5. Conclusions and Future Work
 References

키워드

저자

• Meftah Mohammed Charaf Eddine [ University of Mohamed Khider, BISKRA, Algeria ]
• Kazar Okba [ University of Mohamed Khider, BISKRA, Algeria ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Software Engineering and Its Applications

• 간기

  월간

• pISSN

  1738-9984

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605