1、【为什么模型化在远程通信中是最先进的】口腔模型先进设备一致性不是可选的 一个远程通信系统是一套能够相互通信的不均匀的设备。要做到这一点,这些设备必须遵从同样的协议。从技术上讲,这包含 2 个互补的方面: 一个静态界面从一个设备到另一个的交换的报文格式; 一个动态界面定义了交换的报文的正确的序列。对一个远程通信系统协议,这两方面的一致性都很重要。此外,协议定义需要尽可能清楚不能有岐义。 时,因为标准是不同的,这就意味着在一个区域的设备如手机,无法在另一个领域正常工作。多亏了全球化,不同的标准化组织现已携手发布全球标准,如 3G或即将到来的 LTE(Long Term Evolution ),它是
2、 4G技术的可选方案之一。为了产生清晰且易于理解的标准,欧洲标准化机构 E T S I 已经公布了一组介绍,通过一组技术如 S D L (Specification and Description Language 规范和描述语言), ASN. 1(Abstract SyntaxNotationOne抽象语法记法一) ,E C N(E ncoding ControlNotation编码控制符号), TT- 3 (Testing and Test Control N otati on测试和测试控制表示法)来“制作出更好的标准”。这些介绍可见于ET SI 网站: : / / . etsi. org
3、/ W ebSite/ T echnologies/ProtocolSpecification. aspx。本文将论述这些技术如何帮助远程通信行业生成更好的标准。另一远程层的报文交换。这样的界面称为ProtocolData Unit 即 PDU。这实际上是一个协议的逻辑视图,因为实际中一层与上一层或下一层交换信息。这种“垂直”的界面被称为 A SP(A bstract Serv ice Primitive )。因此 PDU通过 A SP发送到远程层,但不发送描述交换的 PDU的协议定义。动态描述的协议逻辑视图由一堆情景组成。E T S I 建议使用 MSC(消息序列图)。我们看下一个简单的例子
4、,一层请求连接并在MSC中描述。在上面的情景中,报文在终端机与网络间进行交换。一条报文可能包含参数如例子中 C onC onf 报文带有 conId 参数。大多时候,一个远程通信系统是一个分布式系统,终端是脱离网络的实体设备。它很可能有一个不同的处协议详细的行为M S C 描述的协议行为只是几种可能的情景。即使它描述可替代,可循环,或可选的情景, M C S也无法描述发生在一个协议的所有可能的情况。 要做到这点, 它关乎要描述的该协议的详细和可执行的模型。以这种方式,它可能可以模拟和验证它的行为,这样该模型被认为是一个参考模型。为了这个目的, E T SI 推荐一个正式的建模语言,它称为 SD
5、 L 规范和描述语言。SDL 已在 20 世纪 80 年代首先用来描述远程通信协议,无须说明语言是否符合我们的设计要求。 但随着不同技术的革新, 语言也自此跟着演变,如面向对象的介绍, U ML概要文件的定义。从技术上讲, SDL有 4 个互补的观点,以下将会简要介绍。体系结构一个系统由块组成,这些块可以分解为子块。行为详细的行为被完全生动地描述。根据规格想要的精确度,它可能忽略了实施细节。上面的例子展示了一个基本的有限状态机: 初始化时 ConReq消息发送出去, ConR eqT imer 开始启动。状态机转到 Connecting 状态并等待连接确认消息C onC onf ,或者计时器关
6、闭。之后,连接请求 10 次。如果仍然不成功,进程停止。模型测试由于 SDL和 TT-3 有同样的抽象层,两种语言都可在实施前测试一个规范模型。由于两种语言都是正式的, 意味着完整且没有岐义的,可以从 SDL规范中生成协议实施的代码,从 TT-3 测试例中生成测试代码。一个早期的验证将最终节省大量的时间和精力。最后一点, ETSI 发布了 TT-3 的一致性测试套件,这样远程通信制造商可以确保其实施符合标准。由于远程通信系统本质要求符合一个共同的标准,该标准包括静态和动态接口,远程标准化机构以及远程通信设备制造商采用多年的先进技术如 MSC,ASN.1,SDL和 TT。事实上,这些技术涵盖整个开发周期,从需求,规划到设计,测试。这就是为什么在开发通信系统时必须考虑清楚的原因。内容仅供参考