Skip to main content
DORAS
DCU Online Research Access Service
Login (DCU Staff Only)
A formal composition and interaction model for a web component platform

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.

Full text available as:

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
296kB

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.

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/S157106610480450X
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

Downloads

Downloads per month over past year

Archive Staff Only: edit this record

Altmetric
- Altmetric
+ Altmetric
  • Student Email
  • Staff Email
  • Student Apps
  • Staff Apps
  • Loop
  • Disclaimer
  • Privacy
  • Contact Us