An asynchronous distributed component model and its semantics
Henrio, Ludovic, Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488 and Rivera, Marcela
(2009)
An asynchronous distributed component model and its semantics.
Lecture Notes in Computer Science, 5751
.
pp. 159-179.
ISSN 0302-9743
[Article]
(doi:10.1007/978-3-642-04167-9_9)
|
PDF
- Final accepted version (with author's formatting)
Download (1MB) | Preview |
Abstract
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchronous invocations and component synchronisation. Our model is precise enough to enable the specification of a formal semantics. A variant of this model has been implemented, together with tools for managing components.
This paper explains why we consider that our component model is efficient and provides a convenient programming model. We show how futures play a major role for such asynchronous components, and provide a reduction semantics for the component model. This reduction semantics has been specified in the Isabelle theorem prover, and will be used to prove properties on the component model and its implementations.
| Item Type: | Article |
|---|---|
| Additional Information: | Conference details: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008. Held at Sophia Antipolis, France, October 21-23, 2008. |
| Research Areas: | A. > School of Science and Technology > Computer Science > Foundations of Computing group A. > School of Science and Technology > Computer Science > Artificial Intelligence group |
| ISI Impact: | 0 |
| Item ID: | 6846 |
| Notes on copyright: | Authors manuscript as permitted by publisher. |
| Useful Links: | |
| Depositing User: | Dr Florian Kammueller |
| Date Deposited: | 10 Jan 2011 14:32 |
| Last Modified: | 30 Nov 2022 01:32 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/6846 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)