模型方面的开放多媒体广播服务包系统进化而来

文摘

多媒体广播是最有效的方法相同的内容分发给多个用户在进化包系统(EPS)。每股收益可以有效地使用网络资源并为每个用户提供的服务质量。第三方控制允许应用程序在企业像多媒体广播域调用网络功能。本文方法建模的行为服务功能服务器(SCS)多媒体广播在每股收益。第三方应用程序可以访问多媒体广播功能通过使用Parlay X Web服务接口。多媒体广播公开的SCS Parlay X接口向第三方应用程序和控制协议向网络。SCS功能行为必须与应用程序视图同步消息广播和网络资源的状态用于广播会议。模型组播会话、IP连接会话和持有者的提出和充电会话和正式使用的符号描述标签转换系统。弱bisimilarity的概念是用来证明暴露模型等价的行为;也就是说,他们是同步的。

1。介绍

进化包系统(EPS)标准化提供无处不在的多媒体服务最终用户从任何设备。它包括接入网和核心网。多媒体分组核心网络中扮演一个重要的角色在提供优越的服务和应用程序的用户体验。它负责提供服务质量(QoS)多媒体不记名服务和收费机制。

多媒体广播/多播服务(清楚)允许将数据传输到多个端点。它允许使用一个分布机制优化网络资源。广播方式是单向的点对多点传输多媒体数据(例如,文本、音频、图片和视频)从单个源实体所有用户广播服务区域。广播服务由最终用户接收装置包括一个或多个连续播放会话。广播服务,例如,包括一个正在进行的会话(例如,一个媒体流)或可能涉及一些断断续续的会议在一段时间(1,2]。内容适当分配方案的例子有广播电视频道和分布成立多媒体消息服务包括通常感兴趣的交通、天气、或紧急信息。内容提供者(广播/多播源)可以提供离散和连续媒体,以及服务描述和控制数据。多媒体内容可能提供的第三方内容提供者。

播放模式的目的是有效地使用每股收益的资源。当前研究清楚覆盖不同方面相关优化无线电技术用于数据传输。相对较低的喜忧参半的第三方控制的关注,它允许第三方提供商从IT域创建使用网络连接的应用程序,流、消息和多媒体。

在本文中,我们讨论一些部署模型方面的开放存取在EPS多媒体消息广播服务。开放的服务访问允许第三方应用程序使用网络中广播功能。Parlay X Web服务(WS)模型提供了一个高水平的抽象的通信网络功能和促进发展的增值应用。

本文组织如下。节2给出了相关工作,该方法突出显示的新奇。节3,每股收益的广播服务架构讨论广播多播服务中心(BMSC)介于第三方应用程序和网络基础设施。接下来,Parlay X消息广播WS功能分析部分4。BMSC的行为建模的正式描述得清楚会话状态和消息广播状态5。节6,它是证明模型考虑喜忧参半的QoS和收费方面是同步的。结论总结了贡献。

2。相关工作

研究社区研究不同喜忧参半部署在下一代网络的体系结构方面。在[3],作者提出对有效内容交付服务架构基于LTE(长期演进)增强喜忧参半,这可以减少回程交通。环境敏感社交多媒体分布架构,提高了进化得清楚系统通过添加用户的情境知识在他们的评估,并允许个性化的服务交付通过优化网络,提出了(4]。在[5),作者描述的设计和实现一个开源虚拟化平台,同时支持LTE广播服务和视频流服务和分析服务性能。

增强的性能在LTE已经彻底检查清楚之前的研究工作。比较多播/广播服务支持LTE-advanced和WiMAX提供了IEEE 802.16米(6]。挑战在支持多播服务在LTE特别注意资源管理、视为喜忧参半服务有效配置的关键方面在蜂窝网络,分析了(7]。在[8),作者讨论了LTE进化得清楚和下一代广播电视之间的关系并提出一些建议,旨在提高效率的系统。在[9),作者提出一个紧凑,方便模型在LTE广播,以及一组有效的算法定义广播领域和实际执行内容调度。联合组播或单播调度策略喜忧参半交付,提高QoS性能,提出了10]。在[11),作者提出的方法形成广播区域和内容分配给他们,使无线电资源有效利用和用户满意的请求。在[12),提出了一种分布式资源分配方案,包括设备间通信广播组和最小化干扰的关系。在[13],喜忧参半固有的低要求网络资源使用这些资源作为候选解决方案提出了一种更有效的方式。高水平考虑相关会话控制器的实现,支持消息广播/多播应用程序编程接口,可以发现在14]。

提议的解决方案必须实现的电信网络运营商。我们学习另一个多媒体广播问题至今没有解决,即第三方控制,允许外部应用程序之外的网络控制服务供应。我们的研究集中于两个标准化技术的协同作用尚未研究。Parlay X WS技术旨在提供一个水平服务架构可以被不同的应用程序共享。它定义了高度抽象技术中立的应用程序编程接口(api)。集成喜忧参半,Parlay X需要高水平的翻译接口通信控制协议。有效的创新方法清楚配置还需要考虑其他先进的网络功能,如基于策略的服务质量控制和灵活的收费。我们检查EPS的三个不同的功能,相关的多媒体广播、政策和充电控制、和第三方控制可以合作和网络融合的优势提供增值服务。

3所示。在EPS广播服务架构

不同的广播业务案例可能会被认为是和每个用例的相关性是网络运营商和内容所有者的关系,机构和广播。使用情况的例子包括移动电视、数字广播、视频点播、电子杂志和报纸,与互联网连接智能对象的配置和管理。

3 gpp TS 23.246,喜忧参半的3 gpp解决方案的组件是喜忧参半不记名服务和喜忧参半的用户服务。喜忧参半的不记名服务可以有效地分配内容多个用户同时清楚用户使用服务的用户设备在特定的终端用户应用程序时被激活。喜忧参半的架构提出第三方控制的EPS在图中进行了描述1。

要播放的多媒体内容是由应用程序服务器(AS)提供。可能部署的喜忧参半网络运营商或第三方应用程序提供者。广播多播服务中心(BMSC)存储多媒体内容传输,控制多媒体广播服务,并与媒体和最终用户的交互通过分组数据网络网关设备(生产兆瓦)。它提供了接口信号和数据传输到喜忧参半GW。喜忧参半网关(GW)分发数据的BMSC的相关基站接入网络。移动管理实体(MME)在相关领域与接入网通信,传送会话控制信息收到喜忧参半GW (15]。

最终用户发现可用的喜忧参半服务由服务公告,提供信息服务。服务声明用于分发给用户清楚的信息,服务激活参数,如IP多播地址和服务开始时间。服务声明机制可能包括短消息广播,喜忧参半广播或多播模式,和推动机制。服务公告细节可能会发现在16]。

一个喜忧参半的服务可能包含多个不同的多媒体流,它是由会话设置和终止。每个会话都是捆绑无记名建立和释放。信号相关程序喜忧参半会话初始化、更新和终止指定在15]。

在EPS,网络QoS参数控制会话广播喜忧参半不记名服务。QoS类标识符、分配和保留优先、最大比特率(MBR),并保证比特率(GBR)适用于喜忧参半不记名服务,MBR在哪里设置等于GBR。EPS的QoS管理通过提供政策和充电控制(PCC)允许网络运营商授权和控制使用的资源用于多媒体流量(17]。PCC确保多媒体服务提供适当的传输和充电。政策和收费规则函数(PCRF)包括政策控制决策和基于流的充电控制功能。它接收来自BMSC喜忧参半的会话信息以及信息的访问网络,使政策性决定不记名服务会话,然后提供给喜忧参半GW。新闻申诉委员会决定确定的QoS治疗持票人交通。

清楚内容提供商和喜忧参半的用户可能会收取多媒体广播会议。每股收益提供了离线和在线收费机制(18]。的BMSC包含触发器为在线和离线计费生成事件。实时在线充电系统(OCS)执行信贷控制,其功能包括事务操作,在线联系,管理用户帐户余额。充电数据功能(CDF)从BMSC接收离线计费信息并创建呼叫详细记录。

4所示。Parlay X Web服务消息广播

Parlay X消息广播WS (mbw)允许第三方应用程序将消息发送到终端用户设备在一个特定的地理区域(19]。它提供了api向网络发送广播消息,发送广播消息的投递状态监测,并对消息传递状态通知。

的sendBroadcastMessage操作是用来发送一个广播消息到指定区域(年代)。

的getBroadcastStatus操作使用的第三方应用程序检索发送广播消息的状态。广播状态值如下:(我)MessageWaiting。消息还排队,没有交付给网络。(2)广播。消息被广播请求的发送操作。(3)播放。消息被成功传递给网络请求。(iv)BroadcastImpossible。这表明最终状态交付广播消息由于特定原因是不可能的。(v)BroadcastUnknown。消息传递的状态是未知的。图2说明了喜忧参半的时间线和地位被第三方应用程序的消息。的cancelBroadcastMessage操作可能会使用的第三方应用程序取消消息广播。手术会影响随后的广播消息传递。

的notifyBroadcastDeliveryReceipt操作是用来通知第三方应用程序的交付状态消息。为了收到通知第三方应用程序需要使用启动通知startDeliveryReceiptNotification操作。应用程序使用可能会收到通知stopDeliveryReceiptNotification操作。

我们建议修改后的模型相比,在[19),如图所示3。在零播放状态,没有消息。至于BroadcastUnknown状态是暂时的吸收BroadcastImpossible和广播州。

5。模型方面的广播多播服务中心

5.1。建模意见消息广播

BMSC需要使用Parlay X mbw与第三方应用程序。向网络,BMSC与喜忧参半GW保持清楚会议沟通;PCRF喜忧参半的会话提供信息和接收通知会话持有者授权;和CDF发送收费数据。因此,BMSC行为必须同步喜忧参半GW的行为,PCRF,和CDF,其观点喜忧参半会话必须同步应用程序视图状态的消息广播。喜忧参半GW负责建立IP-CAN资源IP-CAN代表互联网协议的喜忧参半的会话连接访问网络。PCRF控件的QoS保证会话和CDF收集充电数据喜忧参半。

图4展示了各自的状态模型必须同步BMSC的行为。BMSC必须变换mbw操作并适当地控制会话喜忧参半。BMSC的状态模型在实践中,喜忧参半GW, PCRF,和CDF应该暴露之间的直接通信转换和他们提供的信息;也就是说,他们必须公开相同的行为。

喜忧参半的会话状态模型描述喜忧参半的状态会话并由喜忧参半GW。喜忧参半的QoS配置需要一个喜忧参半的QoS状态模型反映的不记名PCRF广播会话所分配的资源。控制协议用于PCC直径。出于类似的考虑应用于喜忧参半充电模型拥有喜忧参半的状态充电会话。用于充电的控制协议也是直径。

典型的信息流动与多媒体消息广播喜忧参半会话建立,QoS资源授权,对消息广播状态通知,报告离线计费数据图所示5。

MB WS可用于远程管理的智能设备如智能电表,惟一确定的,从他们的环境,收集信息,这些信息与网络应用程序通信。远程实体管理提供对设备生命周期管理包括软件和固件升级和配置管理。随着越来越多的连接设备,设备管理变得繁琐和昂贵的设备运营商。所以,EPS操作员可以卖得清楚设备保持更新。清楚可以提供所有所需的软件和固件更新以及配置管理设备。

一般假设IP连接是提供给所有设备,这意味着对于每个设备都有一个既定默认不记名。让我们假设设备运营商利用消息的广播应用程序。通过使用应用程序,设备操作员设置目标区域,设备部署,和写一个消息和配置数据。然后消息广播应用程序调用MB WS反过来发送一个消息传递BMSC操作。随后EPS功能实体支持配置数据喜忧参半交付目标区域的所有设备。

当消息广播应用程序调用sendBroadcastMessage操作BMSC打开一个直径会话的PCRF多媒体广播会话,并提供所需的会话信息。喜忧参半的BMSC可以订阅QoS事件相关人的资源。BMSC执行喜忧参半的会话过程开始。反过来表明喜忧参半GW的PCRF IP-CAN会话需要修改并等待PCC规则。基于会话信息,PCRF执行会议授权和确认发送新闻申诉委员会决定喜忧参半的网关。喜忧参半开始预订在访问网络资源。当IP-CAN会话修改完成了喜忧参半GW PCRF发送确认。BMSC等待资源授权和保留最初的保护期间和消息广播状态MessageWaiting。在开始清楚数据传输之前,BMSC接触CDF为了提供收费信息。喜忧参半的内容是喜忧参半网关发送的BMSC,然后各自的访问网络的一部分。在喜忧参半中数据传输消息广播状态广播。设备的接收和解码播放内容(用户设备)授权服务加入喜忧参半。使用消息广播mbw的应用程序和接口,设备操作符可以订阅通知消息传递(startDeliveryReceiptNotification操作)和一个广播通知交付特定领域的地位。一旦清楚数据(配置数据)播放,BMSC开始会话终止的过程,这是紧随其后的是释放载体资源授权喜忧参半的会话。BMSC接触CDF写收费数据。消息广播状态播放。的stopDeliveryReceiptNotification操作是用来结束交付收据通知。内容提供者被指控的播放内容。PCRF使算法充电。PCC机制支持交通飞机事件报告(例如,持票人丧失)可能反映了在充电。活跃的订阅,PCRF可能通知BMSC对任何QoS事件发生在消息广播。

企业综合服务提供过程中,需要保持同步的方式三个状态机描述得清楚会话,会话QoS资源授权,充电会话。这些状态机必须同步应用程序视图的状态消息广播。

收到指示关于IP-CAN会话修改,PCRF可能拒绝请求的变更(由于重载在各自的访问网络或内容提供者的消费信用额度的情况下在线收费)。在这种情况下,PCRF拒绝IP-CAN会话修改要求的喜忧参半GW和通知BMSC事件最初的保护期间。消息广播状态BroadcastImpossible。在消息等待或广播,广播设备操作员可以决定取消信息。在这种情况下,第三方应用程序调用cancelBroadcastMessage之前的操作请求取消sendBroadcastMessage。BMSC依次启动会话终止向喜忧参半GW, PCRF导致IP-CAN会话终止和QoS资源的释放。

在下一小节,我们提供正式的描述模型代表了对第三方应用程序的消息广播,BMSC,喜忧参半GW, PCRF,分别和CDF。这将是用于正式证明模型是同步的。

5.2。正式的描述模型代表消息广播状态

我们目前的状态机作为标记转换系统(LTS)。

定义1。一个标记转换系统(LTS)是一个四(),可数集的状态,可数集的基本操作,是一组转换,初始状态的集合。

5.2.1。应用程序对消息广播状态

消息广播状态从应用程序的观点空,MessageWaiting、广播、或播放。状态是零没有消息时播放。状态是MessageWaiting如果消息等待被发送到网络。状态是广播或播放如果清楚数据传输正在进行或终止,分别。

通过一个LTS代表第三方对消息广播状态表示(我) 空,MessageWaiting、广播、广播,BroadcastImpossible};(2) sendMessage、getBroadcastStatus notifyBroadcastDeliveryReceipt, cancelMessage、successfulDelivery unsuccessfulDelivery, stopAnnouncement, unableToDeliver, successfulMessageCompletion};(3) 零sendMessage MessageWaiting MessageWaiting getBroadcastStatus MessageWaiting, MessageWaiting unsuccessfulDelivery Null, MessageWaiting successfulDelivery广播、MessageWaiting cancelMessage Null, MessageWaiting unableToDeliver BroadcastImpossible,广播successfulMessageCompletion广播,广播cancelMessage Null,广播getBroadcastStatus广播,播放stopAnnouncement Null,播放getBroadcastStatus播放,播放notifyBroadcastDeliveryReceipt播放,BroadcastImpossible getBroadcastStatus BroadcastImpossible, BroadcastImpossible notifyBroadcastDeliveryReceipt BroadcastImpossible, BroadcastImpossible stopAnnouncement零};(iv) 零}。的getBroadcastStatus和notifyBroadcastDeliveryReceipt操作不改变会话状态或消息广播状态。

5.2.2。BMSC的喜忧参半的会话模式

简化的BMSC对会话状态包括以下喜忧参半。在MBMSIdle状态,没有喜忧参半。当应用程序调用sendBroadcastMessage操作,PCRF BMSC发送会话信息,一个会话开始请求喜忧参半吉瓦,和它移动InitialWaiting状态。而在InitialWaiting状态,BMSC等待资源授权和QoS资源预订。会话开始之间的时间延迟指示和实际数据应该足够所需的网络行为。当网络是准备发送数据喜忧参半,BMSC发送收费数据和举措DataTransfer状态。在DataTransfer状态,清楚数据转移到任何用户设备。当清楚用户服务确定没有更多的数据发送,BMSC发起会话终止,将充电数据发送和举措MBMSIdle状态。在InitialWaiting或DataTransfer状态,BMSC可以通知任何问题喜忧参半持有者和会话终止喜忧参半。也有可能对第三方应用程序来调用cancelBroadcastMessage在企业综合操作InitialWaiting或DataTransfer取消喜忧参半的会话状态。

通过一个LTS代表BMSC对消息广播状态表示(我) MBMSIdle、InitialWaiting DataTransfer};(2) sendBroadcastMessage、initialPeriod dataTransferStop、resourceFailed resourceLost, cancelBroadcastMessage};(3) MBMSIdle sendBroadcastMessage InitialWaiting, InitialWaiting initialPeriod DataTransfer, InitialWaiting resourceFailed MBMSIdle, InitialWaiting cancelBroadcastMessage MBMSIdle, DataTransfer dataTransferStop MBMSIdle, DataTransfer resourceLost MBMSIdle};DataTransfer cancelBroadcastMessage MBMSIdle};(iv) MBMSIdle}。图6说明了喜忧参半的会话状态机。

5.2.3。喜忧参半GW IP-CAN会话模式

喜忧参半GW视图在IP-CAN会话状态清楚用户服务包括以下。在IPCANIdle状态,没有专用IP-CAN会话。接收会话启动指令,喜忧参半GW表明一个IP-CAN会话修改PCRF和举措WaitForPCCRules状态。在WaitForPCCRulesIP-CAN会话状态,喜忧参半等待授权修改。在接收新闻申诉委员会规则,喜忧参半GW发起IP-CAN会话建立的访问网络和举措ResourceReservation状态。喜忧参半GW的举措SessionActive状态后,收到一个确认,接入网的资源预留。过渡到ResourceRelease状态发生在会话BMSC收到停止请求。在ResourceRelease状态,喜忧参半等待IP-CAN持有者的释放。在WaitForTermAck状态,喜忧参半GW等待确认从PCRF会话终止,然后移动到最初IPCANIdle状态。在ResourceReservation或SessionActive网络,从PCRF喜忧参半GW可能接收表示,持票人修改失败或持有者丢失。这些导致过渡IPCANIdle状态。

通过喜忧参半的LTS代表喜忧参半GW视图IP-CAN会话状态来标示(我) IPCANIdle、WaitForPCCRules ResourceReservation、SessionActive ResourceRelease, WaitForTermAck};(2) sessionStart, pccRules、ipCanBearerEstablishment sessionStop、sessionCancel ipCanBearerRelease, ipCanSessionTermAck, ipCanBearerFailed, ipCanBearerLost};(3) IPCANIdle sessionStart WaitForPCCRules, WaitForPCCRules pccRules ResourceReservation, WaitForPCCRules sessionCancel IPCANIdle, ResourceReservation ipCanBearerEstablishment SessionActive, ResourceReservation sessionCancel IPCANIdle, ResourceReservation ipCanBearerFailed IPCANIdle, SessionActive sessionCancel ResourceRelease, SessionActive sessionStop ResourceRelease, SessionActive ipCanBearerLost IPCANIdle, ResourceRelease ipCanBearerRelease WaitForTermAck, WaitForTermAck ipCanSessionTermAck IPCANIdle};(iv) IPCANIdle}。IP-CAN会话状态机如图7。

5.2.4。PCRF喜忧参半QoS资源的模型

PCRF视图状态的QoS资源用于会话如下喜忧参半。在ResourceNull状态,没有QoS资源授权喜忧参半。BMSC发送会话信息时,PCRF执行会话绑定(考虑IP-CAN参数和举措IPCanSession状态存储这些信息。在IPCanSession状态,PCRF可能会接收到一个指示IP-CAN会话修改和适当的服务相关信息与IP-CAN会话。在ResourceAuthorizing状态,PCRF使决策并将它们作为PCC规则清楚GW。提供接收确认PCRF移动ResourceAuthorized状态。喜忧参半的QoS资源会话被授权和保留,和清楚数据传输可以开始。喜忧参半GW检测到IP-CAN会话终止时是必需的,它发送一个信号给PCRF。的订阅,PCRF可能会发现需要通知的BMSC的PCC规则并发送一个通知。喜忧参半的QoS资源授权会话释放导致的过渡ResourceNull状态。在ResourceAuthorizing状态,PCRF决定拒绝IP-CAN会话修改。同时,在喜忧参半中数据传输任何QoS问题可能是报告的喜忧参半PCRF GW,从而影响在线充电。以防喜忧参半GW报道,所有持票人资源授权喜忧参半的会话丢失,PCRF移动ResourceNull状态。

通过一个LTS代表PCRF GW视图QoS资源状态,来标示(我) ResourceNull、IPCanSession ResourceAuthorizing ResourceAuthorized};(2) sessionInfo、ipCanSessionModification provisionAck、provisionNonAck ipCanSessionTermination, ipCanBearerRemoved, ipCanSessionCancel};(3) ResourceNull sessionInfo IPCanSession, IPCanSession ipCanSessionModification ResourceAuthorizing, IPCanSession ipCanSessionTermination ResourceNull, ResourceAuthorizing provisionAck ResourceAuthorized, ResourceAuthorizing ipCanSessionCancel ResourceNull, ResourceAuthorizing provisionNonAck ResourceNull, ResourceAuthorized ipCanSessionCancel ResourceNull, ResourceAuthorized ipCanBearerRemoved ResourceNull};(iv) ResourceNull}。图8说明了QoS资源状态机。

5.2.5。得清楚收费会话模式

离线和在线收费都是可能的。运用政策和充电控制喜忧参半会话、在线充电可以反映QoS经验在消息广播。等BMSC收集充电数据识别内容的来源,类型的用户服务,使用的载体资源类型提供广播内容,并识别用户接受服务。BMSC收集还收费数据,如会话持续时间、数据传输时间,数据量对于移动用户通过喜忧参半和/或接受服务内容提供商喜忧参半的交付内容。收费数据的触发器是不记名服务起始和终止。在ChargingIdle状态,没有收费的数据收集。充电BMSC对提供的数据喜忧参半会话初始化,IP-CAN无记名资源建立/失败,和会话终止喜忧参半。充电数据被发送到CDF(在离线的情况下充电)或在线充电系统。收到相关收费数据会话开始,会话移动收费状态。在状态,当收到IP-CAN会话建立的收费数据,充电会话举措状态。充电数据停止指令可能会收到由于正常完成消息广播,由于网络中的一些问题,或由于消息广播取消第三方应用程序。在接收充电数据停止充电会话移动指令ChargingIdle状态。

通过一个LTS代表充电是表示会话状态(我) ChargingIdle,活性、活性;(2) chargingDataStar,chargingDataStar,chargingDataSto,chargingDataSto,chargingDataSto;(3) ChargingIdle chargingDataStar活性、活性chargingDataStar活性、活性chargingDataStoChargingIdle,活性chargingDataStoChargingIdle,活性chargingDataStoChargingIdle,活性chargingDataStoChargingIdle活性chargingDataStoChargingIdle};(iv) ChargingIdle}。充电会话状态机如图9。

有正式的描述模型代表消息广播的地位被第三方应用程序和网络,我们可以证明这些模型是同步的;也就是说,他们公开相同的行为。

6。形式验证的模型

6.1。Bisimilarity概念

直觉上,观察到的行为,两个状态机是等价的,如果一个状态机显示最终结果,另一个状态机显示相同的结果。等价的想法是形式化的概念bisimilarity [20.]。强bisimilarity需要存在状态机转换之间的同态。在实践中,强bisimilarity将强等价的条件并不总是必要的。例如,内部转换可以行动,内在系统(即。,而不是可观察到的)。在bisimilarity薄弱、内部转换可以忽略。

的概念弱bisimilarity BMSC的用于研究某些模型方面。

我们将使用以下符号:(我) 代表的过渡;(2) 意味着;(3) ,在那里,这样;(iv) 意味着,如;(v) 意味着如果或,否则,在哪里一个或多个内部(看不见的)行为。

定义2。两个标记转换系统和是弱bisimilar(如果有一个二元关系这样,如果和,然后:(我) 意味着和;(2) 意味着和。为了证明认为LTS暴露相同的行为,有必要确定一个国家满足上述条件之间的关系。

6.2。代表消息广播状态等价的模型

6.2.1。行为模型之间的等价IP-CAN会话和QoS资源

它可以表明喜忧参半GW的喜忧参半的会话模式和PCRF模型喜忧参半QoS资源提供的抽象级别越低,因此我们将首先考虑这些模型的同步方面。

命题3。标记转换系统和弱bisimilar。

证明。证明两个标记之间的bisimilarity过渡系统,它必须证明存在一个bisimilar关系他们所在的州。通过的状态之间的关系和是表示, (IpCANIdle ResourceNull) (WaitForPCCRules IpCanSession), (ResourceReservation ResourceAuthorizing), (SessionActive ResourceAuthorized)}。基于功能映射可以定义以下同态之间的转换和: sessionStartsessionInfo); pccRuleipCanSessionModification); ipCanBearerEstablishmentprovisionAck); sessionStopipCanSessionTermination); sessionCancelipCanSessionCancel); ipCanBearerFailedprovisionNonAck); ipCanBearerLostipCanBearerRemoved)。之间的同态和消息显示了行为的相似性。
表1代表的功能之间的映射转换IP-CAN会话状态机和QoS资源状态机的转换。
基于建立的状态之间的关系和,在同态之间的转换,这是证明了这一点;也就是说,他们是弱bisimilar和公开等价的行为。

6.2.2。等效模型的喜忧参半的会话,IP-CAN会话和QoS资源

更高层次的抽象网络上的资源状态提供了喜忧参半的喜忧参半的状态会话。

命题4。标记转换系统,,弱bisimilar。

证明。弱者bisimilarity属性传递性;也就是说,作为一个传递关系。然后,证明了这一点,它必须证明。
通过的状态之间的关系,,是表示, (MBMSIdle IpCANIdle) (InitialWaiting WaitForPCCRules), (DataTransfer SessionActive)}。基于功能映射可以定义以下同态之间的转换,,: sendBroadcastMessage(sessionStartsessionInfo); initialPeriodpccRuleipCanSessionModification); dataTransferStopsessionStopipCanSessionTermination); 取消sessionCancelipCanSessionCancel); resourcesFailed(ipCanBearerFailedprovisionNonAck); resourcesLostipCanBearerLostipCanBearerRemoved)。功能之间的映射转换喜忧参半的会话和IP-CAN状态机表表示2显示,是一个bisimilar关系。
从同态和bisimilar财产的由此可见,。
从bisimulation传递性,。
这意味着喜忧参半会话状态机,IP-CAN状态机,弱bisimilar QoS资源状态机。

6.2.3。应用程序和网络模型的等价性

最高层次的抽象消息广播状态是由第三方应用程序。它的视图必须同步也与网络资源状态和充电会话状态。

命题5。标记转换系统,,,,弱bisimilar。

证明。通过的状态之间的关系,,,,是表示, (零、MBMSIdle IpCANIdle、ResourceNull ChargingIdle), (MessageWaiting、InitialWaiting WaitForPCCRules, IpCanSession,活性),(广播、DataTransfer、SessionActive ResourceAuthorized,活性)}。基于功能映射可以定义以下同态之间的转换,,,,: sendMessagesendBroadcastMessagesessionStartsessionInfosendBroadcastMessagechargingDataStar); successfulDeliveryinitialPeriodpccRuleipCanSessionModificationchargingDataStar; successfulMessageCompletiondataTransferStopsessionStopipCanSessionTerminationchargingDataSto); cancelMessage取消sessionCancelipCanSessionCancelchargingDataSto); unsuccessfulDeliveryresourcesFailedipCanBearerFailedprovisionNonAckchargingDataSto。为了定义一个弱bisimilar的状态之间的关系,,,,我们从——建立有效的命令转换序列,,,,对应于。
让,在那里,过渡序列如下: 零sendMessage MessageWaiting); MessageWaiting getBroadcastStatus MessageWaiting, MessageWaiting successfulDelivery广播); 广播getBroadcastStatus广播,广播successfulMessageCompletion播放,播放getBroadcastStatus播放,播放notifyBroadcastDeliveryReceipt播放,播放stopAnnouncement零); MessageWaiting unableToDeliver BroadcastImpossible, BroadcastImpossible getBroadcastStatus BroadcastImpossible, BroadcastImpossible notifyBroadcastDeliveryReceipt BroadcastImpossible, BroadcastImpossible stopAnnouncement零); MessageWaiting cancelMessage零); 广播cancelMessage Null)。让,在那里,过渡序列: MBMSIdle sendBroadcastMessage InitialWaiting); InitialWaiting initialPeriod DataTransfer); DataTransfer dataTransferStop MBMSIdle); InitialWaiting resourceFailed MBMSIdle); InitialWaiting cancelBroadcastMessage MBMSIdle); DataTransfer resourceLost MBMSIdle)。让,在那里是以下: IPCANIdle sessionStart WaitForPCCRules); WaitForPCCRules pccRules ResourceReservation, ResourceReservation ipCanBearerEstablishment SessionActive); SessionActive sessionStop ResourceRelease, ResourceRelease ipCanBearerRelease WaitForTermAck, WaitForTermAck ipCanSessionTermAck IPCANIdle); ResourceReservation ipCanBearerFailed IPCANIdle); WaitForPCCRules sessionCancel IPCANIdle, ResourceReservation sessionCancel IPCANIdle); SessionActive ipCanBearerLost IPCANIdle)。让,在那里是以下: ResourceNull sessionInfo IPCanSession); IPCANSession ipCanSessionModification ResourceAuthorizing, ResourceAuthorizing provisionAck ResourceAuthorized); ResourceAuthorized ipCanSessionTermination ResourceNull); ResourceAuthorizing provisionNonAck ResourceNull); IPCANSession ipCanSessionCancel ResourceNull, ResourceAuthorized ipCanSessionCancel ResourceNull); ResourceAuthorized ipCanBearerRemoved ResourceNull)。让,在那里,过渡序列: ChargingIdle chargingDataStar活性); 活性chargingDataStar活性); 活性chargingDataStoChargingIdle); 活性chargingDataStoChargingIdle); 活性chargingDataStoChargingIdle); 活性chargingDataStoChargingIdle)。然后,基于同态定义之间的行为,,,,,接下去序列为同意的定义2bisimilarity疲软。
因此,状态机表示上的第三方应用程序视图消息广播,喜忧参半,IP-CAN会话,QoS资源,和充电会话bisimilar;也就是说,这些状态机暴露相同的行为。

7所示。结论

在每股收益有特定的功能、节点和接口定义为同时支持多个用户广播的内容。Parlay X消息广播WS允许第三方应用程序将消息发送到所有移动终端在一个特定的地理区域。部署第三方控制多媒体广播意味着更多的研究WS api之间的协同作用和各自的通信控制协议。

介绍研究建模方面的第三方应用程序服务器之间的网络节点,协调和发展数据包移动网络的核心。它探索网络不可知论者WS接口与特定的控制功能提供增值多媒体广播服务。

结果把模型方面的服务能力服务器的行为,即BMSC,暴露Parlay X web服务接口向应用程序和网络协议向网络“谈判”。重点是合作不同的功能,即服务控制、会话管理、QoS控制和充电控制。消息广播的上下文中,我们模拟了喜忧参半的状态会话,IP-CAN会话,QoS资源和充电会话和表明,这些模型是与第三方应用程序视图同步消息广播。证据是基于功能之间的映射转换状态机和识别之间的同态操作。弱bisimilarity的概念是用来证明状态机暴露相同的行为。因此,新奇的贡献可能bisimilarity概括为模型定义和证明。

利用标准化消息广播api提供了一个统一的方法对第三方应用程序管理和配置。它允许开发融合多媒体广播应用程序在某种程度上是独立于底层访问技术。

利益冲突

作者宣称没有利益冲突有关的出版。

引用

1. 和f·d·勒孔特盖宾”进化多媒体广播/多播服务(eMBMS) LTE-advanced:概述和Rel-11增强,”IEEE通讯杂志,50卷,不。11日,第74 - 68页,2012年。视图:出版商的网站|谷歌学术搜索
2. 蒙塞拉特j . Calabuig j . f . d . Gozalvez o . Klemp,“安全在路上:LTE的替代品来发送消息,“IEEE车辆技术杂志,9卷,不。4、61 - 70年,2014页。视图:出版商的网站|谷歌学术搜索
3. Stephanasik,即Chochliouros、g . Lymperopoulos和k . Berberidis”最优视频交付在移动网络使用cache-accelerated eMBMS架构、多区域”人工智能的应用和创新卷,437联合会信息和通信技术的进步页13-23 Springer,柏林,德国,2014年。视图:出版商的网站|谷歌学术搜索
4. f·c·平托:Carapeto, a . Videira t . Frazao和m . Homem“环境敏感的多媒体分发给移动社交社区,”国际期刊的手持计算研究,4卷,不。3、63 - 92年,2013页。视图:出版商的网站|谷歌学术搜索
5. c . m . Lentisco m . Aguayo l . Bellido大肠牧师,d . De-Antonio-Monte和A·g·玻利瓦尔”虚拟化平台分析LTE广播服务,”《欧洲网络和通信会议(EuCNC 15),页512 - 516年,巴黎,法国,2015年6月。视图:出版商的网站|谷歌学术搜索
6. 蒙塞拉特j . Calabuig j . d . Martin-Sacristan, j .张艺泷”比较多播/广播服务的长期进化先进和IEEE 802.16网络,”无线通信和移动计算,14卷,不。7,717 - 728年,2014页。视图:出版商的网站|谷歌学术搜索
7. g . Araniti m . Condoluci, a·莫里纳罗,“资源管理的多播服务在LTE,”融合的宽带、广播和手机网络技术IGI全球,页77 - 93年,2014年。视图:谷歌学术搜索
8. c·g·k·沃克,j . Wang,张x g, g .包,“关系LTE / eMBMS和下一代广播电视,广播”IEEE广播,60卷,不。2、185 - 192年,2014页。视图:出版商的网站|谷歌学术搜索
9. 有位名为f·玛兰蒂诺,c . Casetti c . f . Chiasserini和周,“实时调度内容广播在LTE,”诉讼IEEE国际研讨会的造型、计算机和通信系统的分析与仿真,页126 - 131年,巴黎,法国,2014年9月。视图:出版商的网站|谷歌学术搜索
10. a . de la款a . g .舰队和r . p .忠实的“联合多播/单播与动态优化调度LTE多播服务”《20欧洲无线会议(电子战的14)西班牙巴塞罗那,页462 - 467,,2014年5月。视图:谷歌学术搜索
11. c . Borgiattino c . Casetti c . f . Chiasserini有位名为f·玛兰蒂诺,“有效的区域形成LTE广播,”学报》第12届IEEE国际会议传感、通信、和网络(SECON 15)IEEE,页202 - 210年,西雅图,洗,美国,2015年6月。视图:出版商的网站|谷歌学术搜索
12. c·w·叶m . j . Shih g . y .林和h . y .魏”LTE-D广播与分布式interference-aware D2D资源分配,”学报》第七届国际会议上无处不在的和未来的网络(ICUFN 15)札幌,页165 - 170年,日本,2015年7月。视图:出版商的网站|谷歌学术搜索
13. 中州。徐,C.-O。Chow >。Tham, h . Ishii”一个增强框架提供多媒体广播/多播服务在异构网络,”浙江大学科学杂志》上,15卷,不。1,第80 - 63页,2014。视图:出版商的网站|谷歌学术搜索
14. j·h·金,美国k金,b . s . Lee,“消息服务方法和消息服务体系,”美国专利8478313 B2, 2013。视图:谷歌学术搜索
15. 3 gpp,“多媒体广播/多播服务(清楚);体系结构和功能描述,”3 gppTS 23.246, 2015年,13日发布。视图:谷歌学术搜索
16. 3 gpp,“多媒体广播/多播服务(清楚);协议和编解码器,”3 gppTS 26.346, 2015年,13日发布。视图:谷歌学术搜索
17. 3 gpp TS 23.203”政策和充电控制架构,”发布13日v13.5.0, 2015年。视图:谷歌学术搜索
18. 3 gpp,“电信管理;收费管理;收费架构和原则。”3 gppTS 32.240, 2015年,v13.0.0发布13日。视图:谷歌学术搜索
19. 3 gpp,“开放服务访问(OSA);parlay X web服务;15个部分:消息广播。”3 gppTS 29.199 -15、2009、释放9。视图:谷歌学术搜索
20. l .《z Qiansheng, c . Xuesong“Bisimilarity控制分散的不确定性的离散事件系统,”学报的第33届中国控制会议(CCC的14)IEEE,页3898 - 3903年,南京,中国,2014年7月。视图:出版商的网站|谷歌学术搜索

版权

版权©2016 Ivaylo Atanasov和埃维莉娜Pencheva。这是一个开放的分布式下文章知识共享归属许可,它允许无限制的使用、分配和复制在任何媒介,提供最初的工作是正确引用。