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

面向嵌套式系统结构的端口自动机行为表达方法 摘要：针对系统多层嵌套式结构范畴模型的动态行为描述与分析问题，提出一种基于端口自动机的行为表达方法（PAM）。该方法基于系统状态、输入和输出端口来定义对象和结构上的运算。通过证明发现：PAM在运算上具有结构保持特征，是一个函子。基于PAM，还就并行、串行和反馈等行为组合，以及应用等相关问题进行了讨论和分析，相关结论表明PAM可被应用于描述或分析具有嵌套式结构的系统动态行为。 关键词： 系统行为表达方法；嵌套式系统结构；端口自动机；范畴论 中图分类号： TP301.2 文献标志码：A 0引言 模块间相互嵌套的结构是信息系统中最常见的结构之一。在应用系统中，为了实现复杂的功能，具有一定功能的模块可嵌入并组合到其他模块中；同样，组合后的模块还可被嵌入到更大的外部模块中。近期，美国麻省理工学院Spivak等[1-3]使用“对称多范畴”（symmetric multicategory）来讨论自相似对象的嵌套结构以及相关计算特征。该系列研究的核心思想是：范畴对象间存在“多对一”态射，当使用集合概念替代范畴对象时，可实现表示内部结构的多个集合与一个表示外部结构的集合之间的嵌套组合关系；而且使用“函子”（functor）可基于结构特征分析出结构上的计算特征。2015年，该方法还被应用于“模块化网络”的静态结构描述与动态特性表达上[4]。在该系列研究基础上，本文基于“端口自动机”建立面向嵌套式结构的行为表达方法PAM，并就该方法相关理论基础和应用方法等内容进行分析和讨论。区别于文献[4]所阐述方法，本文所提出的PAM方法是一个伴随域为Sets（对象为集合的对称多范畴）的函子，本文所提出的PAM方法是一个函子，该函子的伴随域为：在状态集上进行运算的动态系统，这也说明PAM运算具有结构保持特征，可将结构与集合上的运算相互联系起来。 1相关技术基础 “范畴”概念来源于范畴论（Category Theory）[5-6]。自20世纪80年代开始，范畴论被广泛应用于开发逻辑系统、构建编程语言的数学语义[7]、分析自动机[8]和并发模型[9]等计算机科学领域。在国内，早在1989年，文献[10]就范畴论应用于计算机科学的相关问题进行了讨论。另外，文献[11]利用范畴定义构件之间的关系；文献[12]基于范畴定义构件行为组合，并将该方法应用于实现复杂的业务功能等。 范畴在定义上包含4个基本组成[5-6]：对象集、态射集、恒等态射和组合；范畴运算必须满足两个规则：恒等律和结合律。其中，对象是范畴的组成单元，对象由元素构成；态射（morphism，用箭头表示）是对象间的对应关系；恒等态射（identity morphism， id）是对象与其自身的对应关系；组合（composition，运算符为“”）支持将多个态射连接形成新态射。另外，范畴论使用函子来揭示两个范畴之间的对应关系，其定义涉及到两个部分：对象和态射，函子所涉及运算必须满足两个规则：恒等保持和组合保持[5-6]。 范畴可被实例化，例如集合范畴Set就是一个实例化范畴。Set中的对象为集合，态射为集合上的函数[1]。当Set中的对象被限定为有限集合时，所形成的范畴为有限集合范畴，使用Fin表示；Fin是Set的全子范畴[1]。 1.1对称多范畴 定义1对称多范畴[1]。设对称多范畴为M，其定义包含4个基本组成：a）对象，b）态射，c）恒等态射，d）态射组合。范畴中的运算必须满足两个规则：a）结合率，b）恒等率。 1）4个基本组成。 a）对称多范畴中的对象集合为Ob（M）。集合中的元素是范畴中的对象。 b）态射集合使用Mn（xx-；y）表示，其中：y∈Ob（M），n∈Ob（Fin）是一个有限集合，x：n → Ob（M）是n索引对象集合。Mn（x；y）中的元素为态射。当态射φ∈Mn（x；y），则φ：x → y或φ：（x1，x2，…，xn） → y，其中：xi被称为域对象，y被称为伴随域对象。 c）若x∈Ob（M），恒等态射idx∈M1（x；x）。 d）若s：m → n是Fin中的态射，对象z∈Ob（M），有限集合m，n∈Ob（Fin），x：m → Ob（M）是m索引对象集合，y：n → Ob（M）是n索引对象集合。若元素i∈n，mi是态射s对于i的原像，使用xi： x|mi：mi → Ob（M）表示mi对应的x对象集合，则态射组合为： ：Mn（y；z）×∏i∈nMmi（xi：yi） → Mm（x；z） 2）两个规则。 a）运算必须满足结合率，相关形式化定义可参考文献[1]。 b）对于态射φ：（x1，x2，…，xn） → y，恒等率表示为： 当对称多范畴中的对象实例化为集合时，形成范畴Sets[1]。Sets中的对象是集合，态射是集合间的“多对一”函数（函数定义域为多集