Abstract: Action calculi have been introduced as a framework for representing the models of interactive behaviours. Aiming at molecular forms of action calculi, and the data flow analysis method for a single action based on t he structural tree of molecular grammar and the implementation of the algorithms. The present paper provides a way to further studying the features and application of action calculi.

Key words: action calculi, data flow analysis, molecular form, molecular syntactic structure tree