Pahl, Claus 
ORCID: 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.
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 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.
Metadata
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Event Type: | Workshop |
| Refereed: | Yes |
| Uncontrolled Keywords: | web services; web components |
| Subjects: | Computer Science > Software engineering |
| DCU Faculties and Centres: | DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing |
| Published in: | Electronic Notes in Theoretical Computer Science. 66(4). Elsevier B.V.. |
| Publisher: | Elsevier B.V. |
| Official URL: | http://www.sciencedirect.com/science/article/pii/S... |
| Copyright Information: | © 2002 Elsevier B.V. |
| Use License: | This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License |
| ID Code: | 15928 |
| Deposited On: | 24 Jun 2011 11:45 by Shane Harper . Last Modified 19 Jan 2021 17:18 |
Documents
Full text available as:
Preview |
PDF
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
296kB |
Metrics
Altmetric Badge
Dimensions Badge
Downloads
Downloads
Downloads per month over past year
Archive Staff Only: edit this record