摘要
针对系统多层嵌套式结构范畴模型的动态行为描述与分析问题,提出一种基于端口自动机的行为表达方法(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.
出处
《计算机应用》
CSCD
北大核心
2016年第7期2016-2020,2030,共6页
journal of Computer Applications
基金
云南省应用基础研究计划青年项目(2012FD004)
云南省软件工程重点实验室开放基金重点项目(2015SE101)
云南大学软件学院教育创新基金资助项目(2012EI07)~~
关键词
系统行为表达方法
嵌套式系统结构
端口自动机
范畴论
behavioral expression method for system
nested system structure
port automata
category theory
