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

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