A Robust Framework for Asynchronous Operations on a Functional Object-Oriented Model

Functional programming is a technique for expressing the constructions and constructs of computer software. This technique treats calculations similarly to the calculation functions in mathematics. Therefore concepts of semantic- states and changeable data are avoided. It may be defined as a declarative technique of programming meaning that programs are mainly expressions. An efficient programming style for systems is asynchronous programming which manages communications with system environment. Asynchronous programming is based on the idea of non-blocking execution of commands and keeping list of tasks in buffers for latter executions. The alternative style to asynchronous programming is to wait for the completion of long commands which leads to programs-execution problems. This paper introduces a robust framework for asynchronous operations on a functional object-oriented model for programming. Up to our knowledge, this is the first technique of its type. The presented model includes syntax for the language constructs and their (operational) semantics. The semantics is meant to serve as a formal background for the construction of theoretical analyses for the presented programming model. The paper presents also a programming example for the proposed model.