计算机应用 ›› 2016, Vol. 36 ›› Issue (7): 2016-2020.DOI: 10.11772/j.issn.1001-9081.2016.07.2016

• 计算机软件技术 • 上一篇    下一篇

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

薛岗1, 张云春1, 刘笛2, 姚绍文1   

  1. 1. 云南大学 软件学院, 昆明 650500;
    2. 云南大学 信息学院, 昆明 650500
  • 收稿日期:2015-12-11 修回日期:2016-04-10 出版日期:2016-07-10 发布日期:2016-07-14
  • 通讯作者: 姚绍文
  • 作者简介:薛岗(1977-),男,云南曲靖人,副教授,博士,主要研究方向:过程建模与分析;张云春(1981-),男,云南玉溪人,讲师,博士,主要研究方向:无线网络;刘笛(1991-),女,湖南湘乡人,硕士研究生,主要研究方向:流程挖掘;姚绍文(1966-),男,湖南永顺人,教授,博士生导师,博士,主要研究方向:分布式计算。
  • 基金资助:
    云南省应用基础研究计划青年项目(2012FD004);云南省软件工程重点实验室开放基金重点项目(2015SE101);云南大学软件学院教育创新基金资助项目(2012EI07)。

Port automata based behavioral expression method for nested system structure

XUE Gang1, ZHANG Yunchun1, LIU Di2, YAO Shaowen1   

  1. 1. School of Software, Yunnan University, Kunming Yunnan 650500, China;
    2. School of Information Science and Engineering, Yunnan University, Kunming Yunnan 650500, China
  • Received:2015-12-11 Revised:2016-04-10 Online:2016-07-10 Published:2016-07-14
  • Supported by:
    This work is partially supported by the Yunnan Province Youth Project of Applied Fundamental Research Program (2012FD004), the Open Foundation of Key Laboratory in Software Engineering of Yunnan Province (2015SE101), the Educational Innovation Foundation of Software School, Yunnan University (2012E107).

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

关键词: 系统行为表达方法, 嵌套式系统结构, 端口自动机, 范畴论

Abstract: 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.

Key words: behavioral expression method for system, nested system structure, port automata, category theory

中图分类号: