A formal composition and interaction model for a web component platform
Pahl, ClausORCID: 0000-0002-9049-212X
(2002)
A formal composition and interaction model for a web component platform.
In: ICALP'2002 Workshop on Formal Methods and Component Interaction., 8-13 Jul 2002, Malaga, Spain.
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 pie-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.