面向嵌套式系统结构的端口自动机行为表达方法

Port automata based behavioral expression method for nested system structure

针对系统多层嵌套式结构范畴模型的动态行为描述与分析问题,提出一种基于端口自动机的行为表达方法(PAM)。该方法基于系统状态、输入和输出端口来定义对象和结构上的运算。通过证明发现:PAM在运算上具有结构保持特征,是一个函子。基于PAM,还就并行、串行和反馈等行为组合,以及应用等相关问题进行了讨论和分析,相关结论表明PAM可被应用于描述或分析具有嵌套式结构的系统动态行为。

Concerning the problem of describing and analyzing dynamic behavior of the categorical model of nested-style structure, a Port Automata based behavioral expression Method（ PAM） was proposed. The method was based on system states, input and output ports to define computations on object and structure. And it has been proved that PAM is a functor,which means that PAM is a structure preserved computation. Under the help of PAM, typical composite behaviors（ including parallel, serial, and feedback） and application issues were discussed. The relevant results show that PAM can be applied in describing and analyzing dynamic behavior of systems with nested structure.