Functional active objects: typing and formalisation
Conference paper
Henrio, L. and Kammueller, F. 2009. Functional active objects: typing and formalisation. Elsevier. https://doi.org/10.1016/j.entcs.2009.10.026
Type | Conference paper |
---|---|
Title | Functional active objects: typing and formalisation |
Authors | Henrio, L. and Kammueller, F. |
Abstract | This paper provides a sound foundation for autonomous objects communicating by remote method invo- cations and futures. As a distributed extension of ς-calculus, we define ASPfun, a calculus of functional objects, behaving autonomously and communicating by a request-reply mechanism: requests are method calls handled asynchronously and futures represent awaited results for requests. This results in a well structured distributed object language enabling a concise representation of asynchronous method invoca- tions. This paper first presents the ASPfun calculus and its semantics. Secondly we provide a type system for ASPfun, which guarantees the “progress” property. Most importantly, ASPfun and its properties have been formalised and proved using the Isabelle theorem prover, and we consider it as a good step toward formalisation of distributed languages. |
Research Group | Foundations of Computing group |
Artificial Intelligence group | |
Proceedings Title | Electronic Notes in Theoretical Computer Science |
ISSN | 1571-0661 |
Publisher | Elsevier |
Publication dates | |
2009 | |
Publication process dates | |
Deposited | 19 Jan 2011 |
Output status | Published |
Copyright Statement | Post refereed version as permitted by publisher |
Additional information | Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009) |
Digital Object Identifier (DOI) | https://doi.org/10.1016/j.entcs.2009.10.026 |
Language | English |
File |
https://repository.mdx.ac.uk/item/8311w
Download files
40
total views12
total downloads0
views this month0
downloads this month