航行通告分发服务中间件的研究与设计

胡　静　宋雪雁　孙济洲

(天津大学计算机科学与技术学院　天津 300072)



航行通告分发服务中间件的研究与设计

胡静宋雪雁孙济洲

(天津大学计算机科学与技术学院天津 300072)

摘要现有的航行通告处理系统采用C/S模式，客户端和服务器间耦合度很高，且基于广播的传送方式造成客户端大量冗余航行通告的产生。针对航行通告发生地明确、接收端可按需订阅的特点，结合数据分发服务DDS(Data Distribution Service)规范能够使通信双方在空间、时间和数据通信等方面实现松耦合的特征。提出基于DDS规范的发布订阅模型，设计了一个支持服务质量QoS(Quality of Service)的航行通告分发服务中间件，定义其中的数据结构、工作流程以及全局数据空间的管理策略。根据航行通告发布场景，使用CPN Tools工具进行建模和仿真。案例仿真结果表明，该中间件能够提供准确的基于主题的航行通告分发服务，从而证明了中间件设计方案的可行性和有效性。

关键词航行通告分发服务中间件服务质量着色Petri网

RESEARCH AND DESIGN OF NOTAM DISTRIBUTION SERVICE MIDDLEWARE

Hu JingSong XueyanSun Jizhou

(School of Computer Science and Technology,Tianjin University,Tianjin 300072,China)

AbstractExisting NOTAM processing system uses C/S model, the coupling degree between client and server is very high, and the broadcast-based transmission means makes a lot of redundant NOTAM generated at the client. In view of the features of NOTAM that their generation places are clear and the receiver can be subscribed on demand, and combining with the characteristics of data distribution service (DDS) specification that it enables two communicating parties to reach the loose coupling in space, time and data communications, in this paper we present a DDS specification-based publishing and subscribing model. We design a NOTAM distribution service middleware which supports the QoS policies, define the data structure and work flow of it, as well as the managerial strategy of global data space. According to NOTAM distribution scene, we use CPN Tools for modelling and simulation. Case simulation results show that the middleware can provide accurate subject-based NOTAM distribution services, so that proves the feasibility and validity of the design scheme of middleware.

KeywordsNotice to airmen (NOTAM)Distribution serviceMiddlewareQuality of serviceColoured Petri nets (CPN)

0引言

航行情报服务是空中交通管理的重要组成部分[1]。目前，我国正在使用的民航航行情报处理系统采用了基于客户端/服务器C/S的通信模型，实现国内外航行通告、雪情通告及其他电报的接收、处理和发布[2]。这种基于C/S模型的系统，使得客户端和服务器间的耦合程度很高，降低了系统的灵活性、扩展性和健壮性。为了解决上述C/S模型的缺陷，本文在航行通告分发服务中引入了发布/订阅模型[3]，在发布/订阅模型中，发布者和订阅者通过主题关联，两者不需同时在线，也不必知道对方的位置，从而实现了通信双方时间、空间和数据通信的多维松耦合。

目前常用的发布/订阅系统有：CORBA Notification Service[4]，它以对象和服务为中心，采用了C/S通信模式，通信机制较为复杂，数据的收发需要建立连接的过程，不能完全满足系统对实时性的需要；JMS[5]，它是采用Java语言开发的，使用集中式体系结构提供消息服务，影响了系统的实时性，且JMS并没有提出QoS约束，用户不能指定相互间的通信方式，限制通信的灵活性和可靠性。由于上述系统缺乏对应用层QoS(如：数据持久性、可靠性等)的支持，不能满足航空航天、远程勘测等对于实时性和可靠性要求很高的应用。因此，对象管理组织OMG颁布了数据分发服务DDS规范[6]，定义了以数据为中心的发布/订阅，并利用QoS策略描述资源状况、网络状况等来控制数据分发的质量，极大地增强了通信的实时性和可靠性[7]。基于该规范，冯国良[8]等人提出了一种集中式的DDS实时中间件，它通过中心服务器完成消息的匹配和转发，但中心服务器负担较重，容易造成系统的通信瓶颈和单点故障。因此，本文在此基础上，根据DDS规范设计了一种采取分布式体系结构的基于主题的航行通告分发服务中间件，用以提高航行通告的交换效率，确保航行的正常、安全。并利用当前流行的适用于软件流程的理论分析方法—着色Petri网，对本文所设计的航行通告的中间件进行场景建模和分析，验证该设计方案的可行性、有效性。

1航行通告分发服务

1.1总体描述

航行通告是有关航行的设施、服务、程序等的设立、状况、变化，以及涉及航行安全的危险情况及其变化的通知[1]。其分发服务是航行情报服务的一个重要方面，是实施各类飞行的重要依据之一。常用的航行通告主要有一级航行通告、二级航行通告、雪情通告和火山通告，每一种航行通告都有其固定的格式。

本文在设计航行通告分发服务中间件时，结合文献[9]中介绍的航行通告中各项内容的填写规则，将其A)项内容(记录该航行通告的发生地)作为航行通告的主题，设计了一种基于主题的方式以实现航行通告的按需传送。为了保证航行通告分发服务的质量，我们选取了DDS规范QoS策略[7]中的Reliability和Durability，其中，Reliability为数据传输方面的QoS策略，描述了数据读取器所申请的可靠性等级和发布者所能提供的可靠性等级；Durability属于数据有效性方面的QoS策略，用于控制当前数据是否对后来加入网络的订阅者有效。结合DDS规范，该中间件的总体模型如图1所示。

图1　中间件的总体模型

该模型包括全局数据空间(GDS)[10]、航行通告的发布者、订阅者以及相应的数据写入器和数据读取器。一个发布者可以根据航行通告主题及QoS策略的不同，创建多个数据写入器，一个数据写入器与一种主题及其提供的QoS策略对应。类似的，一个订阅者也可以根据实际需求创建多个数据写入器，一个数据写入器与一种主题及其要求的QoS策略对应，在航行通告的传递过程中，由GDS完成发布者与订阅者、航行通告主题与QoS的匹配工作，控制相应的数据写入器写入数据，数据读取器读取数据。

1.2理论模型

根据中间件的总体模型，可以将航行通告的分发服务抽象为一个八元组，即Notam={P,S,DW,DR,GDS,T,M,QoS}，其中，P表示发布者，S表示订阅者，DW表示数据写入器，DR表示数据读取器，GDS表示各节点全局数据空间的集合，T表示航行通告的主题，M表示航行通告的具体内容，QoS表示分发服务中需要使用的QoS策略。各元组的定义如下：

P={P1,P2,…,Pn}表示航行通告的发布者，通常包括民航总局航行情报中心国际通告室和地区管理局情报中心航行通告室、本地空中交通管制中心航行情报室；

S={S1,S2,…,Sm}表示航行通告的订阅者，通常包括民航总局航行情报中心，各地区空管局航行通告中心以及各空管中心(站)和部分航站；

DW={DW11,DW12,DWij,…,DWnj}表示数据写入器的集合，其中，DWij表示由发布者Pi创建的第j个数据写入器；

GDS={GDS1,GDS2,…,GDSn}表示系统中全局数据空间的集合，每个系统参与者都拥有一个自己的GDS，为了保证系统的正确运行，我们需要保证其中已发布数据记录具有全局一致性；

DR={DR11,DR12,DRij,…,DRnj}表示数据读取器的集合，其中，DRij表示由订阅者Si创建的第j个数据读取器；

T={T11,T12,Tij,…,Tnj}表示航行通告主题的集合，航行通告的主题为航行通告发布者所对应的四字代码[11]，例如天津滨海机场，即为ZBTJ。其中，Tij就表示由Ti所对应机场发布的第j种QoS策略的航行通告主题；

M={M11,M12,Mij,…,Mnj}表示航行通告内容的集合，其中，Mij就表示主题Tij所对应航行通告的内容；

QoS={Reliable,Best-effort,Volatile,Transient,Persistent}表示航行通告QoS策略的集合，这些值对应DDS规范QoS策略中的Reliability和Durability。

2航行通告分发服务中间件的设计

通过第1节的分析可知，中间件在工作时所需要的主题管理及匹配，通知发布者、订阅者进行航行通告的传送都是由GDS完成的，因此它是中间件设计的核心。本节首先给出中间件的体系结构，然后针对GDS中的数据结构、分发服务处理流程及其GDS管理策略的设计进行详细叙述。

2.1体系结构

本文设计的航行通告分发服务中间件，其底层通信建立在ACE(Adaptive Communication Environment)[12]之上，ACE是可自由使用、开放源码的面向对象框架，提供了一组丰富的可重用C++包装外观和框架组件，可跨多种平台完成通用的通信软件任务。其体系结构如图2所示。

图2　中间件的体系结构

图2中每个应用系统对应一个DDS应用端(发布者/订阅者)，中间件之间的信息传输依赖于ACE提供的通信连接，消息在网络传输中使用TCP/IP协议，位于网络中的发布者和订阅者通过中间件的GDS完成主题和QoS的匹配，并通过信息流交换发布、订阅、控制信息等。当订阅关系建立后，通过数据流完成航行通告数据的传输，实现了信息流和控制流的分离，保证了发布者和订阅者的异步实时通信。

2.2数据结构

为了保证航行通告分发服务的质量，需要在GDS中设计相关数据结构，记录节点的发布订阅信息、失败信息等。主要包括全局一致的发布主题记录表、订阅登记表、发布数据缓冲区、失败节点记录表四个部分。

(1) 发布主题记录表(Pub_Topic_Table)

Pub_Topic_Table是系统中所有已发布主题的记录表，由于系统中各个节点各自拥有一份发布主题表，因此它需要实时更新以保证其全局一致性。其具体内容如表1所示。

表1　发布主题表的数据结构

其中，Topic表示航行通告的主题，其格式即为ICAO规定的情报区和机场的四字代码[12]；Reliability为传输方式的可靠性，Best-effort表示尽力而为的传输方式，Reliable表示可靠的传输方式；Durability为数据的持久性，Volatile表示非持久性数据，即数据写入器的内容不在数据缓冲区中保存，Persistent表示永久保存数据，其内容将被保存在数据缓冲区中。

(2) 订阅主题表(Sub_Table)

Sub_Table记录了位于民航网络中的订阅本地节点的所有节点信息，其具体内容如表2所示。

表2　订阅主题表的数据结构

其中，Reliability为订阅端要求的传输可靠性；Priority为订阅事件的优先级，其数值越小优先级越高。发布端在发布航行通告时，通过查阅订阅登记表，选取符合条件的节点，进行航行通告的传送。

(3) 发布数据缓冲区(Data_Pool)

Data_Pool保存了本地节点发布的且Durability属性为Persistent的航行通告数据，其组织结构如图3所示。

其中，每一项Data_Pool[n]记录了同一主题已经发布的数据。Topic表示航行通告的主题；length记录了该主题已发布信息的数目；Reliability表示该主题下传输可靠性的QoS；data_ptr是一个指向航行通告数据的指针。位于Data_Pool中的航行通告由两部分组成，T_id为航行通告的编号，Notam表示航行通告的内容，它们是完成航行通告重传功能的消息来源。

(4) 失败节点记录表(Fail_Node_Table)

Fail_Node_Table记录本地节点向其他订阅节点发布航行通告失败的节点信息，其具体内容如表3所示。

表3　失败节点记录表的数据结构

当航行通告未能成功送达其订阅端时，该条航行通告的主要信息及订阅失败方的IP地址将会被记录到Fail_Node_Table，网络中的节点各自维护本地的Fail_Node_Table。通过该记录可以确定订阅失败航行通告重传时的对象。

2.3分发服务处理流程

本文所设计的中间件由发布端、订阅端、数据写入器、数据读取器和GDS组成以完成航行通告的分发服务。下面将分别阐述航行通告的发布过程、订阅过程和传输过程，其总体工作流程如图4所示。

图4　航行通告分发服务中间件的工作流程

(1) 发布过程

当发布端有航行通告需要发布时，首先，由发布端创建发布者Pi，然后，Pi根据航行通告的主题Ti及提供的QoS策略创建数据写入器DWij，通知网络中的其他各个节点更新其GDS中的Pub_Topic_Table，在其中添加一条记录(Ti, Ti_Id, Pi_IP, Reliability, Durability)，以保证民航网络中所有节点的发布主题表是全局一致的。之后DWij处于阻塞状态，等待被激活。

(2) 订阅过程

当订阅端需要订阅主题为Ti的航行通告时，首先，由订阅端创建订阅者Sj，然后，Sj根据订阅主题及所需的QoS策略创建数据读取器DRjm，DRjm查询本地Pub_Topic_Table中是否有符合要求的发布者，若存在，则将订阅主题Ti及申请的QoS作为订阅请求，发送给对应发布端的GDS，之后DRjm处于阻塞状态，等待被激活；

发布端在接收到订阅请求后，在Sub_Table中添加一条记录(Ti,Sj_IP,Reliability,Priority)，然后查看Pub_Topic_Table中Ti的Durability值，若Durability = Volatile，则表明该航行通告为非持久性数据，没有记录保存在Data_Pool中；若Durability = Persistent，则表明该航行通告为持久性数据，保存在Data_Pool中，发布端在Data_Pool中查找Sj所需的数据，并进行QoS策略的匹配，若匹配成功，则激活DWij，将Data_Pool中相应数据按照QoS策略向Sj发送数据。

(3) 传输过程

发布航行通告：当发布端(Pi)有航行通告主题(Ti)需要发布时，Pi首先激活与Ti对应的数据写入器DWi，然后判断Durability属性的值，若其值为Volatile，则将数据传输后丢弃；若其值为Persistent，则将该航行通告写入Data_Pool的对应主题中，并更新对应Data_Pool的length。

传输航行通告：Pi在本地的Pub_Topic_Table中查找是否有符合要求的订阅者Sj，若存在集合S={Sj1,Sj2,…,Sjn}满足条件，则Pi与集合S中的所有订阅者建立发布订阅关系，并激活对应的数据读取器集合DR={DRj1,DRj2,…,DRjn}。DWi根据Ti中指定的QoS策略向数据读取器集合DR发送航行通告，完成后DWi进入阻塞状态等待被激活，若数据写入器DRjm激活失败，则失败消息会返回至发布端Pi的GDS，并在Fail_Node_Tab-le中添加一条订阅失败记录(Topici,Ti_Id, Sj_IP)。订阅端DRj接收到航行通告后，将其交由上层的应用系统处理，随后DRj进入阻塞状态，等待下一次被激活。

2.4GDS管理策略

GDS是中间件实现基于主题的航行通告分发服务的关键，为了保证网络中各个节点拥有全局一致的发布主题记录表，并且能够及时、有效地维护和更新订阅登记表，本文提出以下6条GDS管理策略，其过程如图5所示。

图5　GDS管理策略

(1) 当节点(图中Node1)发布一个主题时，需要将该主题广播到网络中的所有的节点。各个节点在接收到该主题广播后，在本地GDS的Pub_Topic_Table中添加相应的主题信息，从而保证网络中各节点的Pub_Topic_Table是一致的。

(2) 当节点(图中Node2)产生订阅需求时，首先查找本地Pub_Topic_Table中是否有满足要求的发布者，若存在，则向相应的发布节点(图中Node1)发送订阅请求，Node1接收到订阅请求后，将相关订阅信息存入Sub_Table中，并查看Data_Pool中是否有相关信息，若存在，则向Node2传送航行通告。若Node2未能成功接收到该航行通告，则将Node2的订阅记录添加到Node1的Fail_Node_Table中。

(3) 当节点(图中Node3)退订航行通告时，需要发送退订消息通知相应的发布端(图中Node1)修改其Sub_Table，以避免订阅端再次收到该发布端发布的航行通告。当Node1收到退订消息后，首先将Node3的订阅记录从Sub_Table中删除，然后，检查本地Fail_Node_Table，若存在订阅者的记录，则将其删除。

(4) 当有新节点(图中Node4)加入时，新节点向邻近节点(图中Node3)发送加入请求消息。Node3在接收到加入请求时，需将本地节点GDS中的Pub_Topic_Table发送给Node3，从而使Node3拥有当前网络中的所有发布主题信息。

(5) 为了保证未收到航行通告的节点在恢复正常后，能再次收到其订阅的有效的航行通告。我们规定，每个节点在开机后，向所有节点广播开机信息。当本地节点收到其他节点的开机信息后，检查本地GDS中的Fail_Node_Table，若存在节点的失败记录，则向该节点重新发送未成功送达的航行通告，并在航行通告成功到达后，将该记录从Fail_Node_Table中删除。

(6) 为了保证网络中各节点是有效的，我们规定位于网络中的节点需要定期向其订阅节点发送心跳信息。若一段时间内收不到某个节点的回应，则认为该节点已经失效，删除本地GDS中的Sub_Table及Fail_Node_Table(若存在)中对应的记录。

3案例分析

着色Petri网CPN(Colored Petri Net)[13]是丹麦的 Jensen Kurt于1981年在 Petri 网[14]的基础上定义的一种高级Petri网系统，通过对库所和标识加以颜色区别，代表系统中不同的资源；通过将库所与特定的颜色集绑定，使得每个库所只能存放相应颜色的标识。它是一种特别适合用来描述和分析在异步并发系统中的数据流与控制流的模型。相比于其他建模方法，它具有形式化的语义、状态和动作的显示表示以及丰富的分析技术等特点，对于从理论上验证软件工作原理十分有效[15]。本节针对2.3节设计的中间件工作流程，设计航行通告的发布场景，并使用CPN的仿真工具—CPN Tools[16]进行案例的建模和分析。

3.1场景设计

天津滨海机场(ZBTJ)需要发布一条航行通告(航行通告的内容用“notam”代替)，该航行通告的编号为201411，Reliability属性值为“Best-effort”，Durability属性值为“Persistent”。ZBTJ的订阅登记表中有三条记录，分别是上海浦东机场(IP:222.73.250.26)、北京首都机场(IP: 210.75.250.212)和海口美兰机场(IP:202.100.200.203)，它们的Reliability属性值均为“Best-effort”，且Priority值均为2。航行通告的传送过程中，海口美兰机场由于网络故障，未能成功接收航行通告，而上海浦东机场、北京首都机场均成功接收航行通告。

3.2CPN模型建立

(1) 根据第3节中设计的支持中间件工作所需的数据结构、处理流程所需的函数及CPN Tools中 CPM ML语言的语法规则，定义模型的颜色集、变量、弧表达式，建立航行通告发布的CPN模型，并使用3.1节设计的场景进行初始化，其结果如图6所示。

图6　航行通告发布场景CPN模型

如图6，发布端(图中库所P1)具有一条待发布航行通告1`(″ZBTJ″,201411,″60.30.94.1″,″notam″,″Best-effort″,″Persiste-nt″)，通过变迁create创建数据写入器(图中库所DW1)，航行通告的主题信息(topic,t_id,ip,notam,rel,dur)通过变迁write写入发布主题表(图中库所PT)，同时，通过弧函数writeCheck()判断本条航行通告是否需要写入数据缓冲区，由于航行通告的Durability属性值为“Persistent”，因此航行通告相关内容被写入数据缓冲区(图中库所Data)。此时，发布端的订阅登记表中有三条记录，分别代表浦东、首都、美兰机场的订阅信息(图中库所SR_1、SR_2、SR_3)，这三条记录的初始匹配值(图中库所rs1、rs2、rs3)都为空，当PT中有新的内容时，变迁match被触发，通过弧表达式matchCheck()检查订阅主题表(SR_1、SR_2、SR_3)中Reliability属性是否与发布主题一致，根据场景设计，其Reliability属性值与发布内容相同，都为“Best-effort”，此时，rs1、rs2、rs3的值变为“ok”，变迁copy被触发，弧函数send()被调用，通过检查可知，订阅登记表中记录均满足发布条件，因此，相应的数据写入器(图中库所 S1、S2、S3)被激活。其中，图中库所rp1、rp2、rp3为数据写入器的激活结果，其内容应为网络反馈的结果，为了简化模型，我们直接根据场景的设计，将其赋值为(“ok”,“ok”,“no”)，这里“ok”表示数据写入器激活成功，“no”表示数据写入器激活失败。根据上文流程的设计，通过弧函数decide()的判断，被成功激活的数据写入器(图中库所DR1、DR2)将通过变迁receive将航行通告传递到应用层(图示库所S1、S2)，而未能成功送达的航行通告，图中库所DR3将收不到消息，同时，其相关信息将被写入发布端的订阅失败列表(图中库所Fail)。

3.3结果分析

(1) 仿真结果

首先，使用CPN Tools提供的符号检查功能对模型进行检验，证明该模型没有语法错误，接着，利用CPN Tools中的仿真工具(Simulation)进行模拟执行，其结果如图7所示。

图7　CPN模型模拟执行结果

图8　State Space部分分析报告

从图中可知代表Data_Pool的库所Data中添加了发布信息1`(201411,″notam″,″Best-effort″)，代表Pub_Topic_Table的库所PT中添加了发布主题1`(″ZBTJ″,201411,″notam″,″Best-effort″,″P-ersistent″)；代表Sub_Table的库所SR_1、SR_2、SR_3中保留原有的订阅信息；代表Fail_Node_Table的库所Fail中添加了海口美兰机场的订阅失败信息1`(″ZBTJ″,201411,″202.100.200.203-″)。代表上海浦东、北京首都机场应用层的库所S1、S2均接收到了发布的航行通告信息1`(201411,″notam″)。而代表海口美兰机场数据读取器的库所DR3，因为激活失败，而未收到任何信息。上述结果完全符合预期。通过模拟结果我们认为中间件工作流程的设计能够满足我们对航行通告分发服务的要求，可以实现航行通告的按主题及QoS的订按需制推送。

(2) CPN Tools 分析报告

通过使用CPN Tools提供的State Space工具可以对模型的状态空间进行分析，得到分析报告。其部分分析报告见图8所示。

其中，Home Properties记录模型的源属性，源标识是指可以从任何可达标识到达的标识[15]，图中显示模型中存在源标识7，该标识即为场景中给出的初始条件，待发布的航行通告：1`(″ZBTJ″,201411,″60.30.94.1″,″notam″,″Best-effort″,″Persistent″)；Liveness Properties记录模型的活性，其中，死标识是指不具有使能变迁的标识，图中显示模型中存在死标识7，即为上述初始条件；图中既不存在死锁变迁，也不存在活变迁，说明模型具有活性，即任何变迁的执行都是由一定条件触发的，处于中间件的控制范围内；Fairness Properties表明模型的公平性，该模型中并不存在可无限实施的变迁，即任何变迁在实施之前，其他的变迁只能执行有限多次。在分析报告中还有模型的有界属性，它表示模型所有可达标识中，每个库所所能拥有的标识数的上下界，其中各标识的个数都是有限的，说明该模型具有有界性。

CPN模型仿真执行的结果与场景中设计的预期结果一致，通过其状态空间分析报告的分析，可知该模型具有有界性、活性、公平性，中间件的控制过程符合预期。综上，我们认为该中间件能够准确地提供基于主题的航行通告分发服务，其设计方案是可行的、有效的。

4结语

由于现有航行通告系统采用C/S结构，使得系统中服务器压力过大，模块耦合度很高，不能对实时传输提供良好的支持。本文结合DDS规范具有时间、空间松耦合，且提供极强的实时性和灵活性保证的特点，提出了航行通告分发服务的理论模型，设计航行通告发布订阅中间件所需的数据结构，发布订阅处理流程以及GDS的管理方法，并提供数据持久性、传输方式、数据优先级的QoS策略，以保证分发服务的实时性和可靠性。通过航行通告发布场景，使用CPN Tools工具进行建模和分析，证明该中间件能够实现节点间准确的基于主题的分发服务，从而验证了该方案的可行性和有效性。今后，将更深入研究DDS规范，完善与航行通告分发服务相关的QoS策略，并通过代码实现中间件的具体功能，提高其应用价值。

参考文献

[1] 中国民用航空局.民用航空情报工作规则[S].2010.

[2] 王楠.浅析东北地区航行情报动态信息处理系统的运行模式[J].黑龙江科技信息,2012(16):18-18.

[3] Ozansoy C R,Zayegh A,Kalam A.The real-time publisher/subscriber communication model for distributed substation systems[J].Power Delivery,IEEE Transactions on,2007,22(3):1411-1423.

[4] Object Management Group.High-performance CORBA Specification[R].Object Management Group,Version1.2,Jan.2005.

[5] Juneau J.Java Message Service[M]//Introducing Java EE 7.Apress,2013:147-161.

[6] Object Management Group.Data Distribution Service for Real-time System Specification[R].2004.

[7] Li C Q,Zhou C,Zhu S B.Design of QoS Protocol Matching Method in the DDS Specification[C]//Applied Mechanics and Materials,2014,577:898-902.

[8] 冯国良,谷青范.基于DDS的实时中间件的研究与设计[J].航空电子技术,2011,42(3):41-47.

[9] 王果.数字化航行通告关键技术研究[D].天津:中国民航大学,2012.

[10] Pardo-Castellote G.Omg data-distribution service:Architectural overview[C]//Distributed Computing Systems Workshops,2003.Proceedings.23rd International Conference on.IEEE,2003:200-206.

[11] 王洁宁,王果.基于DDS规范的航行情报分发服务[J].计算机技术与发展,2012,22(11):212-215.

[12] 朱建文.ACE+TAO架构在网络管理的应用[D].北京:北京邮电大学,2008.

[13] Zimmermann A.Colored Petri Nets[J].Stochastic Discrete Event Systems:Modeling,Evaluation,Applications,2008:99-124.

[14] Wu Zhehui.Petri net Introduction[M].Beijing:Mechanical Industry Press,2006:1-23.

[15] 方欢,陆阳,黄镇谨,等.基于CPN仿真的排队系统建模及性能分析[J].系统仿真学报,2013,25(2):228-234.

[16] Westergaard M.CPN tools 4:multi-formalism and extensibility[M] //Application and Theory of Petri Nets and Concurrency.Springer Berlin Heidelberg,2013:400-409.

中图分类号TP311

文献标识码A

DOI:10.3969/j.issn.1000-386x.2016.02.002

收稿日期：2014-06-30。国家自然科学基金项目(61039001)；天津市科技支撑计划重点项目(11ZCKFGX04200)。胡静，硕士生，主研领域：Petri网，CPN建模，民航数据分发技术等。宋雪雁，副教授。孙济洲，教授。