DOIAbstract
AbstractA 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
Add to ORKG