A Formal Approach for Web 2.0 Applications
Meftah Mohammed Charaf Eddine, Kazar Okba
International Journal of Web Applications, Vol. 6, No. 4, 2014.
DOI: 
Link: 
Abstract:
Web 2.0 is the term given to describe a second generation of the World Wide Web, which aims to facilitate creativity, collaboration, and sharing between users. The Web 2.0 technologies can be divided into two sides: One is that
usersâ€™ side includes a social element where users generate share and re-use content. This side often feature a rich, userfriendly interface based on Ajax. Two, that the architecture side; the Web 2.0 can be conceptualized as a global SOA. These emerging technologies require the development of tools and techniques that allow building safe and reliable Web 2.0
applications. This paper proposes an original formal approach for Web 2.0 applications based on their behavioural aspects. We provide all processes and tools that permit to build and analyze this formal approach : first, extracting a CTT-B model by capturing the behavioural aspect of the process of the social side and the behavioural aspect of the orchestration process ;
this approach has a formal syntax and a behavioural semantics, then implementing the intermediate model; finally We present several mappings between these tools: a mapping that allows to translate JAVA and BEPL4SW into Event-B, in order to proceed to their formal verification and a mapping acting as a generator of JAVA and BEPL4SW code.. As such, our
approach has the advantages of a formal approach (down / bottom) for formal specification and validation, moreover, is uniform approach for both languages (JAVA and BPEL4SW) used one pattern: CTT-B.