Port automata based behavioral expression method for nested system structure

doi:10.11772/j.issn.1001-9081.2016.07.2016

Journal of Computer Applications ›› 2016, Vol. 36 ›› Issue (7): 2016-2020.DOI: 10.11772/j.issn.1001-9081.2016.07.2016

Previous Articles Next Articles

Port automata based behavioral expression method for nested system structure

XUE Gang¹, ZHANG Yunchun¹, LIU Di², YAO Shaowen¹

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).

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

薛岗¹, 张云春¹, 刘笛², 姚绍文¹

1. 云南大学软件学院, 昆明 650500;
2. 云南大学信息学院, 昆明 650500

通讯作者: 姚绍文
作者简介:薛岗(1977-),男,云南曲靖人,副教授,博士,主要研究方向:过程建模与分析;张云春(1981-),男,云南玉溪人,讲师,博士,主要研究方向:无线网络;刘笛(1991-),女,湖南湘乡人,硕士研究生,主要研究方向:流程挖掘;姚绍文(1966-),男,湖南永顺人,教授,博士生导师,博士,主要研究方向:分布式计算。
基金资助:
云南省应用基础研究计划青年项目（2012FD004）；云南省软件工程重点实验室开放基金重点项目（2015SE101）；云南大学软件学院教育创新基金资助项目（2012EI07）。

Abstract

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

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

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

CLC Number:

TP301.2

XUE Gang, ZHANG Yunchun, LIU Di, YAO Shaowen. Port automata based behavioral expression method for nested system structure[J]. Journal of Computer Applications, 2016, 36(7): 2016-2020.

薛岗, 张云春, 刘笛, 姚绍文. 面向嵌套式系统结构的端口自动机行为表达方法[J]. 计算机应用, 2016, 36(7): 2016-2020.

References

[1] SPIVAK D I. The operad of wiring diagrams:formalizing a graphical language for databases, recursion, and plug-and-play circuits[EB/OL].[2015-12-10]. http://arxiv.org/abs/1305.0297.
[2] RUPEL D, SPIVAK D I. The operad of temporal wiring diagrams:formalizing a graphical language for discrete time processes[EB/OL].[2015-12-08]. http://arxiv.org/abs/1307.6894.
[3] WISNESKY R, SPIVAK D I, SCHUITZ P, et al. Algebras of open dynamical systems on the operad of wiring diagrams[EB/OL].[2015-12-07]. http://arxiv.org/pdf/1408.1598.
[4] SPIVAK D I. Nesting of dynamic systems and mode-dependent networks[EB/OL].[2015-12-05]. http://arxiv.org/abs/1502.07380.
[5] LAWVERE F W, SCHANUEL S H. Conceptual Mathematics:A First Introduction to Categories[M]. 2nd ed. Cambridge, UK:Cambridge University Press, 2009:13-21.
[6] SIMMONS H. An Introduction to Category Theory[M]. Cambridge, UK:Cambridge University Press, 2011:1-5.
[7] SCOTT P J. Handbook of Algebra (Vol. 2)[M]. Amsterdam:Elsevier, 2000:3-77.
[8] LYNCH N A, STARK E W. A proof of Kahn principle for input/output automata[J]. Information and Computation, 1989, 82(1):81-92.
[9] SASSON V, NIELSEN M, WINSKEL. G. Models for concurrency:towards a classification[J]. Theoretical Computer Science, 1996, 170(1/2):297-348.
[10] 徐家福,费宗铭.范畴论在计算机科学中的若干应用[J].计算机科学,1989,16,(3):11-17.(XU J F, FEI Z M. Several applications of category theory in computer science[J]. Computer Science, 1989,16(3):11-17.)
[11] 楚旺,钱德沛.以体系结构为中心的构件模型的形式化语义[J].软件学报,2006,17(6):1287-1297.(CHU W, QIAN D P. Formal semantic of architecture-centric component model[J]. Journal of Software, 2006, 17(6):1287-1297.)
[12] 赵硕,陈中育,肖春水.基于范畴论的构件行为组合研究[J].计算机工程,2012,38(15):53-58.(ZHAO S, CHEN Z Y, XIAO C S. Research on component behavior combination based on category theory[J]. Computer Engineering, 2012, 38(15):53-58.)
[13] STEENSTRUP M, ARBIB M A, MANES E G. Port automata and the algebra of concurrent processes[J]. Journal of Computer and System Sciences, 1983, 27(1):29-50.
[14] STARK E W. Compositional relational semantics for indeterminate dataflow networks[C]//Proceedings of the Sixth International Conference on Category Theory and Computer Science, LNCS 389. Berlin:Springer, 1989:52-74.
[15] LEE E A, VINCENTELLI-VINCENTELLI A. A framework for comparing models of computation[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998, 17(12):1217-1229.

Port automata based behavioral expression method for nested system structure

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 2

Recommended Articles

Metrics

[1]	HOU Jinkui, WANG Lei. Formal model supporting Web service composition and verification [J]. Journal of Computer Applications, 2015, 35(6): 1773-1779.
[2]	HOU Jinkui WANG Lei. Formal semantics of Agent-based distributed computing model [J]. Journal of Computer Applications, 2013, 33(12): 3423-3427.