论文信息 - A Formal Composition and Interaction Model for a Web Component Platform

A Formal Composition and Interaction Model for a Web Component Platform

Abstract A framework for components on the Web needs a formal model that captures essential concepts such as contractual information and service matching. We propose a typed π-calculus-based model for Web components that formalises an extension of the currently discussed Web Services framework. We address in particular activities in the stages of a component life cycle – such as matching, commitment, connection and interaction – that are part of the process that a component is involved in.

Claus Pahl

[1] Claus Pahl. A PiCalculus based framework for the composition and replacement of components , 2001 .

[2] Oscar Nierstrasz,et al. Regular types for active objects , 1993, OOPSLA '93.

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

[4] Ralph-Johan Back,et al. Refinement Calculus: A Systematic Introduction , 1998 .

[5] Peter Wegner,et al. Concepts and paradigms of object-oriented programming , 1990, OOPS.

[6] Francisco Curbera,et al. On the Emergence of a Web Services Component Model , 2001 .

[7] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .

[8] Davide Sangiorgi,et al. Communicating and Mobile Systems: the π-calculus, , 2000 .

[9] Dieter Fensel,et al. The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..

[10] David Ward,et al. Towards a Component Composition and Interaction Architecture for the Web , 2002, Electron. Notes Theor. Comput. Sci..

[11] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.

[12] Atul Kumar,et al. ComponentXchange: A Software Component Marketplace on the Internet , 2001, WWW Posters.