An Efficient Layer-Aware Technique for Developing Asynchronous Context-Oriented Software (ACOS)

Context-oriented programming (COP) is a programming style that is intended to develop maturity of executional changes that are runtime factors of execution environments of programs. Asynchronous programming is a common style of system coding to control parallel communications with the surroundings. Rather than halting until long operations are finished, in asynchronous programming, the programmer can start a non-interrupting execution of operations and post latter-executed tasks to job-buffers. This paper presents a new model for asynchronous context-oriented software (ACOS). The presented model consists of language techniques for asynchronous context-oriented software (ACOS) and a precise operational semantics for the model constructs. The proposed semantics is direct and provides a mathematical background towards further theoretical studies for ACOS programs. To prove the practicality and efficiency of the proposed model, the paper presents a detailed motivating example for the model.