Analysis and Composition of Web Components Based on p-Calculus

The quality delivered by existing Web applications is often poor. In this paper, the formal verification techniques for web compositions are presents, and the formal models of web composition are proposed. The definition of well-typedness and congruence of web composition basing on π-calculus are given. At the same time, this paper analysis both static and dynamic composition, replacement of web components, and proposes methods to recover from the incongruence during the web composition. The significance of the work is twofold: on one hand, it provides a formal basis for better understanding of the composition of web components; on the other hand, it lays the ground work for both model checking and specification-based verifying on the web applications.

[1]  Oscar Nierstrasz,et al.  A formal language for composition , 2000 .

[2]  Baowen Xu,et al.  A framework for Web applications testing , 2004, 2004 International Conference on Cyberworlds.

[3]  Claus Pahl.  A Formal Composition and Interaction Model for a Web Component Platform , 2002, Electron. Notes Theor. Comput. Sci..

[4]  Huaikou Miao,et al.  Modeling and Analyzing Composite Semantic Web Service Using Petri Nets , 2008, 2008 IEEE International Conference on e-Business Engineering.

[5]  Paolo Tonella,et al.  Web testing: a roadmap for the empirical research , 2005, Seventh IEEE International Symposium on Web Site Evolution.

[6]  Raheel Ahmad,et al.  The π-Calculus: A theory of mobile processes , 2008, Scalable Comput. Pract. Exp..

[7]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .