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

摘要

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