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

面向嵌套式系统结构的端口自动机行为表达方法 摘要：针对系统多层嵌套式结构范畴模型的动态行为描述与分析问题，提出一种基于端口自动机的行为表达方法（PAM）。该方法基于系统状态、输入和输出端口来定义

面向嵌套式系统结构的端口自动机行为表达方法 摘要：针对系统多层嵌套式结构范畴模型的动态行为描述与分析 问题，提出一种基于端口自动机的行为表达方法（PAM）。该方法基 于系统状态、输入和输出端口来定义对象和结构上的运算。通过证明 发现：PAM在运算上具有结构保持特征，是一个函子。基于PAM，还 就并行、串行和反馈等行为组合，以及应用等相关问题进行了讨论和 分析，相关结论表明PAM可被应用于描述或分析具有嵌套式结构的系 统动态行为。 关键词： 系统行为表达方法；嵌套式系统结构；端口自动机；范畴论 中图分类号：TP301.2文献标志码：A 0引言 模块间相互嵌套的结构是信息系统中最常见的结构之一。在应用 系统中，为了实现复杂的功能，具有一定功能的模块可嵌入并组合到 其他模块中；同样，组合后的模块还可被嵌入到更大的外部模块中。 1 22 第页共页