Action演算中动作内部数据流分析方法及其实现

Action演算中动作内部数据流分析方法及其实现

金英¹, 金成植¹ , 郑爽²

1. 吉林大学计算机科学与技术学院，长春 130012; 2. 润迅通信集团有限公司，深圳 518001

收稿日期:2002-05-14 修回日期:1900-01-01 出版日期:2003-01-26 发布日期:2003-01-26
通讯作者: 金英

Method and Implementation of Data Flow Analysis for a Single Action in Action Calculi

JIN Ying¹， JIN Cheng-zhi¹，ZHENG Shuang²

1.College of Computer Science and Technology, Jilin University, Changchun 130012, China 2.China Motion Telecom Group Limited, Shenzhen 518001, China

Received:2002-05-14 Revised:1900-01-01 Online:2003-01-26 Published:2003-01-26
Contact: JIN Ying

摘要/Abstract

摘要： 针对Action演算的分子形式，提出分子语法结构树等概念，并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现. 为深入研究Action演算的性质和应用提供了分析手段.

关键词: Action演算, 数据流分析, 分子形式, 分子语法结构树

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

中图分类号:

TP301

金英, 金成植 , 郑爽. Action演算中动作内部数据流分析方法及其实现[J]. J4, 2003, 41(01): 54-58.

JIN Ying， JIN Cheng-zhi，ZHENG Shuang. Method and Implementation of Data Flow Analysis for a Single Action in Action Calculi[J]. J4, 2003, 41(01): 54-58.