Specification of Distributed Actions with Communications for Software Technologies

摘要

With respect to distributed computing of action semantics as programs for basis of software technologies, this paper treats a distributed action structure consisting of rule sets with defaults, recursively constructed. It is considered as an extension of the basic version of action structure where implementation and default of actions are denoted by some fixed point of a mapping associated with a given action structure so that each action is devoted to state-transitions in a state-constraint function conversion system. Without any exchange of local default, only implementable actions are allowed to be transferred to other action structures on condition of preserving local consistency. This case does not limit significance of denotational expressiveness of action implementability by means of fixed point, apart from much more complexity of the distributed environment case that default may be freely transferred as well as implementability.