A Generalized Higher-Order Chemical Computation Model

Abstract

Gamma is a programming model where computation is seen as chemical reactions between data represented as molecules floating in a chemical solution. Formally, this model is represented by the rewriting of a multiset where rewrite rules model the chemical reactions. Recently, we have proposed the γ-calculus, a higher-order extension, where the rewrite rules are first-class citizen. The work presented in this paper increases further the expressivity of the chemical model with generalized multisets: multiplicities of elements may be infinite and/or negative. Applications of these new notions are illustrated by some programming examples.

Resource management in cloud computing: Taxonomy, prospects, and challenges

“…Moreover, model can be further evolved for service modeling and social computing purposes. To provide solution for aforementioned challenges, a computational model Chemistry for Context Awareness (C 2 A) [50] is improved by the help of Higher Order Chemical Language (HOCL) [51], and High Level Petri-net Graph (HLPNG) [52]. Moreover, two types of applications dynamics, service compositions, and social community's identifications are considered for the evaluation purposes of C 2 A.…”

A cloud resource management model for the creation and orchestration of social communities

“…Gamma is a programming model where computation is seen as chemical reactions between data represented as molecules suspended in a chemical solution [9]. Gamma is perceived as the first chemical model of computation [1].…”

“…The basic structure and grammar of HOCL is defined in [1] and [9]. The primary unit of interaction in HOCL is a reaction, represented as a -abstraction.…”

A Higher-Order Graph Calculus for Autonomic Computing

“…Computation proceeds by rewritings, which consume and produce new elements according to conditions and transformation rules. The Gamma formalism was first proposed in [7] and later extended to the γ-calculus and HOCL (Higher-Order Chemical Language) in [5,6] for modeling self-organizing and autonomic systems or grids in particular. MGS is another formalism based on the chemical model.…”