A compositional approach to building applications in a computational environment

2014 International Conference on Science & Engineering in Mathematics, Chemistry and Physics

数学;化学;物理学

Roslovtsev, V.V.^1 ; Shumsky, L..^1 ; Wolfengagen, V.E.^1

Department of Cybernetics, National Research Nuclear University MEPhI, Kashirskoe sh. 31., Moscow, Russia^1

关键词: Building applications;    Computational environments;    Computational process;    Data decomposition;    Decomposition technique;    Lambda-calculi;    Structural decomposition;    Variable binding;   

Others  :  https://iopscience.iop.org/article/10.1088/1742-6596/495/1/012050/pdf
DOI  :  10.1088/1742-6596/495/1/012050

来源: IOP

【 摘 要 】

The paper presents an approach to creating an applicative computational environment to feature computational processes and data decomposition, and a compositional approach to application building. The approach in question is based on the notion of combinator-both in systems with variable binding (such as λ-calculi) and those allowing programming without variables (combinatory logic style). We present a computation decomposition technique based on objects' structural decomposition, with the focus on computation decomposition. The computational environment's architecture is based on a network with nodes playing several roles simultaneously.