Abstract:
The article considers the ways to guarantee the independent operation of identical submachines of an hierarchical state machine with an example of telecommunication protocols developed in the Cell language. The main purpose of the Cell language is to synthesize software of an hierarchical state machine from partially formalized descriptions of its submachines. The article describes the concept of clone and the cloning mechanism used in the Cell language for the specification of such algorithms. The article also examines the model of clones processing based on serialization of calculations. This approach to realization of hierarchical state machines is offered in the Cell language as an alternative to using methodology and technology of parallel calculations.
Keywords:Cell language, context of cell, namespace, serialization, hierarchical state machine, software synthesis, telecommunication protocol.