面向嵌套式系统结构的端口自动机行为表达方法
来源：计算机应用杂志2016年第7期北京时间：
作者：薛岗, 张云春, 刘笛, 姚绍文
单位：1. 云南大学 软件学院, 昆明 650500;2. 云南大学 信息学院, 昆明 650500
摘要：针对系统多层嵌套式结构范畴模型的动态行为描述与分析问题，提出一种基于端口自动机的行为表达方法（PAM）。该方法基于系统状态、输入和输出端口来定义对象和结构上的运算。通过证明发现：PAM在运算上具有结构保持特征，是一个函子。基于PAM，还就并行、串行和反馈等行为组合，以及应用等相关问题进行了讨论和分析，相关结论表明PAM可被应用于描述或分析具有嵌套式结构的系统动态行为。
关键词：系统行为表达方法,嵌套式系统结构,端口自动机,范畴论
基金资助：云南省应用基础研究计划青年项目（2012FD004）；云南省软件工程重点实验室开放基金重点项目（2015SE101）；云南大学软件学院教育创新基金资助项目（2012EI07）。
