COMMUNITY软件体系结构的GSM切换协议建模与实施

理论计算机科学电子笔记141（2005）3-25www.elsevier.com/locate/entcs在COMM UNITY*中建模GSM切换协议Cristo'vapuzzoOliveira1英国莱斯特大学计算机科学系Michel Wermelinger2英国米尔顿凯恩斯开放大学计算机系Jose 'LuizFiadeiro3英国莱斯特大学计算机科学系Anto'nia Lopes4Depar ta men todeIn for m'tica，Univers idad edeLisboaLisboa，葡萄牙摘要COMM UNITY是软件体系结构的一种形式化方法。它具有精确而直观的基于范畴论的数学语义。它支持在方法层面明确区分计算、协调和分配（包括流动性）。它提供了一种简单的基于状态的语言来描述组件行为，这种语言受到了Unity和Interacting Processes的启发。它还解决了作为第一类关注的组成，并占全球系统属性的互连出现。本文介绍了建模的GSM切换协议的基本方面的方法和可用的工具支持。我们还勾画了一个框架，我们正在实施的分布式执行这样的规格，阳离子使用Klava，一个Java库的移动代理系统的元组空间的基础上。关键词：（软件）体系结构，组合，（动态）配置，连接器，协调，分布，移动性，叠加。1571-0661 © 2005 Elsevier B. V.在CC BY-NC-ND许可下开放访问。doi：10.1016/j.entcs.2005.06.0314C. Oliveira等人/理论计算机科学电子笔记141（2005）31引言COMM UNITY提供了一种软件架构的形式化方法，如Darwin [10]、Wright [1]或LEDA [3]等。与其他方法相比，它有几个优点，主要的一个是精确的数学语义：架构不仅仅是通过线条和盒子来描述的;它们是范畴论意义上的图表[5]，涉及架构组件之间的显式叠加和细化关系。这种图形语义（在数学和视觉意义上）密切而直观地反映了架构的设计。范畴语义学也使我们能够以一种深入、严格和独立于语言的方式研究连接词[6]。特别是，我们已经定义了高阶连接器，并展示了如何使用它们来组合复杂的交互（例如，加密压缩异步通信），（重新）使用更简单的，并以系统的方式[9]。此外，COMM UNITY用一种并行程序设计语言描述组件行为，这种语言处于更高的抽象层次，比大多数软件体系结构的正式方法所采用的过程演算更这种基于状态的语言与架构的基于图的语义相结合，使我们能够使用类型化图转换规则以直观和正式的方式定义运行时重新配置[16]。类型对应于在重构期间保留的体系结构风格的简单概念像大多数架构方法一样，COMMUNITY强制严格分离计算和协调。最近，我们用一小部分语义概念和句法结构扩展了该方法， 包括一个与其他两个维度分开的分布维度[8]。分布的粒度非常细，以提供最大的灵活性：动作的执行可以分布在许多不同的位置上;在每个位置，它根据可用资源执行规定的任何计算，并通过与该位置接触的通信信道与其环境通信位置的变化对应于数据或代码的移动性。到目前为止，我们已经用小例子说明了我们的方法。本文的目标是展示它如何适用于从实际应用中的分布和移动性是关键问题的较大的例子。为此，我们选择对GSM切换协议进行建模。由于空间限制，我们只展示了一个片段;完整的细节在[13]中给出。* 这是WICSA'04上发表的一篇短文的扩展版本1 电子邮件地址：co49@mcs.le.ac.uk2 电子邮件：M.A. open.ac.uk3 电子邮件地址：jose@fiadeiro.org4 电子邮件地址：mal@di.fc.ul.ptC. Oliveira等人/理论计算机科学电子笔记141（2005）35除了语言和数学语义之外，在过去的几年里，我们一直在开发一个工作台[12]，作为形式框架的概念证明。该工具提供了一个图形化的集成开发环境，用于编写、运行和调试设计，以及绘制软件架构（配置）。本文件提供了一个比以前提供的工具特别是，它首次描述在GSM切换的建模中探索这些特征。本文的结构如下。我们从描述我们使用的切换协议开始，在第3节中，我们对COMMUNITY进行了非正式的回顾。正式定义可在上述引用的文件中找到。例子取自GSM案例研究。接下来，我们描述了COMM UNITY语言和体系结构描述语言。在第5节中，我们展示了如何使用COMMUNITY对切换协议进行建模，并使用工作台进行测试。我们以一些结论来结束这篇论文。2GSM切换协议作为移动网络的一个例子，我们考虑了公共陆地移动网络，它实现了全球采用的GSM网络-一种不断发展的无线通信标准。更具体地说，我们专注于切换过程[15]，这是控制网络动态拓扑的过程。为了尽可能清楚地说明该方法，我们集中于GSM网络的以下节点：• 移动台（MS）：该节点由用户识别模块（SIM）和移动设备组成。SIM是包含关于订阅的所有信息的单独物理实体。移动设备是能够与系统进行无线电通信的硬件。• 基站系统：该节点由若干基站收发信台（BTS）和一个基站控制器（BSC）组成BTS是无线电设备，其主要任务是与MS进行无线电通信。每个BTS用发射的无线电波覆盖一个小区。BSC控制通信并监督其所有底层BTS• 移动业务交换中心（MSC）：该节点建立、监督和释放某些BSC的呼叫。它连接GSM网络内的呼叫和/或作为到公共交换电话网或到某些其它网络的网关。切换是确保移动跨越BTS小区边界的MS的呼叫的连续性所需的过程;如果没有这样的过程，则通信将被中断。6C. Oliveira等人/理论计算机科学电子笔记141（2005）3由于BTS的有限范围，可能会被终止。如[15]中所述，切换过程的目的是将呼叫的数据和控制信道从当前与MS通信的BSC（我们称之为“旧”BSC）移动到另一小区中的BSC（“新”BSC）。当MS忙时（在呼叫期间），关于哪个小区对于专用连接是最佳的决定由BTS和BSC完成。该过程包括评估从MS接收的无线电信号测量。在GSM网络中，根据涉及的BTS，有三种类型的切换• BSC内切换：在这种情况下，切换过程涉及属于同一BSC的两个BTS• BSC间切换：切换过程涉及两个BTS• MSC间切换：这种情况下的切换过程是在属于由不同MSC控制的不同BSC的两个BTSFig. 1. 切换过程在本文中，我们关注BSC间切换过程（见图1），因为这种类型的切换比第三种切换简单，但涉及完整切换过程中所需的所有步骤。这些步骤可描述如下：• 切换请求：旧BSC利用从其BTS最后接收到的信息检测切换的必要性MSC将该消息转发给新的BSC（步骤1.a）。C. Oliveira等人/理论计算机科学电子笔记141（2005）37• 切换命令：新BSC准备其BTS接收新MS（步骤1.b）。然后，新BSC通过旧BSC向MS发送越区切换命令消息来启动越区切换（步骤2）。该步骤允许MS定位新BTS/BSC的无线电信道。• 切换脉冲串：在接收到切换命令消息时，MS断开旧的无线电信道，并在新的无线电信道中发起较低层连接的建立。为了建立这些连接，MS向新BSC发送切换脉冲串消息（步骤3），并且当成功时，通过其BTS在MS和新BSC之间再次重新建立与旧BSC暂停的传输。• 切换完成：最后，MS通过新BSC向旧BSC发送切换完成消息（步骤4）。通过接收该消息，旧BSC恢复所有正常操作并释放其BTS上的旧无线电信道（步骤5）。3联系我们COMM UNITY [5]是一种并行程序设计语言，最初是为了展示程序如何适应Goguen的一般系统理论的分类方法而开发的。该语言及其框架已被扩展，为开放式，反应式和可重构系统的体系结构设计提供了一个正式的平台。COMM UNITY的设计是UNITY程序的风格[4]，但它们也结合了IP的元素[7]。然而，COMMUNITY有一个更丰富的协调模型，更重要的是，它要求组件之间的交互是显式的。通过这种方式，系统的协调方面可以从计算方面分离出来并具体化，从而明确系统在其组成部分及其之间的相互作用方面的总体结构。每个配置都可以转换为一个单一的、语义上等效的设计，该设计可以捕获整个系统从组件及其互连中出现的行为。为了对具有位置感知的系统进行建模，最近开发了COMMUNITY的扩展[8]，该扩展采用了运动发生的空间的显式表示，但没有假设任何特定的空间概念。通过这种方式，计算、协调和分布/移动性被明确地分离为架构维度。本节的其余部分解释了这种分离是如何实现的。在COMMUNITY中，每个设计都是用一组通道（定义为输入、输出或私有）和一组动作（共享或私有）来描述的。• 输入通道用于从环境中读取数据;该设计没有8C. Oliveira等人/理论计算机科学电子笔记141（2005）3控制在这些信道中接收的值。输出和专用通道由设计进行本地控制。输出通道允许环境读取其值。• 共享操作表示设计和环境之间可能的交互;私有操作表示内部计算，因为它们的执行唯一地受设计的控制。在COMMUNITY中，通过由通道上的动作操作的变换来每个动作都由一个保护和一组分配组成，这些分配数据类型的集合用于构造通道传输的数据，并用于定义执行分配所需计算的操作。如果一个动作没有赋值，我们用关键字skip来表示它的主体。图2示出了用于切换案例研究的移动站（蜂窝电话）的设 计 。 该 设 计 有 两 个 输 入 通 道 （ inMsg1 ， inMsg2 ） ， 两 个 输 出 通 道（outMsg1，outMsg2），以及两对用于通信的动作（send1和receive1，send2和receive2）。这些信道和动作用于与当前BSC和候选BSC通信。为了强制发送总是在接收之前，我们添加了一个专用信道（sc）。这个专用通道用于两个动作的守卫，在真和假之间切换以协调发送和接收之间的交替。表达式为了反映计算和协调之间的分离，系统的各个组件的定义与这些组件之间的交互定义完全分离。设计之间的交互模型基于动作同步和通过输入和输出通道的数据交换。这些是互连软件组件的标准方法。COMM UNITY与其他并行程序设计语言的区别在于，组件之间的这种交互必须通过提供相应的名称绑定来显式化;在不同的设计中使用相同的名称不能推断出隐式交互。我们可以看到两个组件之间的三种相互作用：(i) 一种设计的输入通道与另一种设计的输出通道的连接;(ii) 一种设计的输入通道与另一种设计的输入通道的连接;(iii) 每个设计的一个动作之间的同步。考虑到需要以一种与计算和交互方面完全分离的方式为系统的分布和移动方面的描述提供支持，COMMUNITY在或-C. Oliveira等人/理论计算机科学电子笔记141（2005）39为了支持关注点的这种三向分离，通过将它们的“组成部分”--私有和输出通道以及动作--与可以移动到不同位置的“容器”相关联，设计被扩展为位置感知的。因此，作为系统中允许移动的最小组成部分的移动单元是细粒度的。更确切地说，设计有一组位置变量，这些变量在一个特殊的Loc数据排序Loc以一种被认为适合于系统所嵌入或将要嵌入的特定应用领域的方式对空间的位置进行建模。每个输出通道、私有通道和动作都被分配给一组位置变量：• 每个局部信道x与位置变量l相关联。我们通过在x的声明中写x@l来明确这个赋值。l的值表示x值可用的空间的当前位置。l的值的修改需要x以及位于l的其他通道和动作的移动;• 每个动作g与一组位置变量相关联，这意味着动作g的执行分布在这些位置上。换句话说，g的执行包括在这些位置中的每一个位置中的它的部分的同步执行。位置变量可以像通道一样声明为输入或输出。输入位置变量是从环境中读取的，并且不能被设计修改，因此，位于输入位置变量处的任何成分的移动都在环境的控制输出位置变量只能通过在动作内执行的赋值进行局部修改，因此，位于输出位置变量处的任何成分的移动都在设计的控制之下在图2中，有一个输出位置变量lms，本地通道的移动和动作都在设计的控制之下。private actionmove改变了location变量的值。图3显示了交互的细节，其中输入通道和输入位置由向内的三角形表示，输出通道和输出位置由向外的三角形表示，动作由圆圈表示。请注意，只显示输入/输出通道和共享操作，因为在交互中不使用私有通道和私有操作。在图中，我们显示了MS和ms测量设计之间的相互作用。例如，这种相互作用仅包括两个位置变量（分别为lms和lm）之间的连接，这意味着ms测量始终与MS位于同一位置。在第5.4节中，将对此进行更详细的解释。由于引入了分布/流动性维度，10C. Oliveira等人/理论计算机科学电子笔记141（2005）3图二. 分布式设计图三. 相互作用互动出现：• 一种设计的输入位置变量与另一种设计的输出位置变量之间的联系;• 一种设计的输入位置变量与另一种设计的输入位置变量之间的联系。上引入的流动性空间的相关属性被捕获的两个二元关系的域。首先，关系接触定义空间中的两个位置彼此“接触”。各组成部分C. Oliveira等人/理论计算机科学电子笔记141（2005）311只有当同步中涉及的所有动作的所有位置都“接触”时才发生我们假设触摸是自反的和对称的。第二个关系到达意味着一个位置可以从另一个位置到达，并且被假设为自反的。 只有当从当前位置可到达该位置时，才可能移动到新位置，即，如果位置变量的值是从由该位置变量的当前值表示的当前位置可到达的位置，则该位置变量可以采用新值。图4显示了用于案例研究的定义：位置由整数对表示;如果两个位置相邻，则它们是为了定义这些关系，我们使用数学表达式。例如，|“是析取，”是合取&。因为关系见图4。位置系统配置的语义可以通过系统的colimit来获得通过将所有的交互内在化，colimit为整个系统提供了一个设计。更一般地，COMMUNITY中的共限如下获得• 合并由配置建立的每个i/o通信中涉及的信道和位置• 同步的每个动作集都由单个动作表示，该动作的出现捕获了集合中动作的联合执行。由联合动作执行的transformations分布在同步动作的位置上。每个定位的动作由每个局部化动作的局部效果的规范的结合来指定。12C. Oliveira等人/理论计算机科学电子笔记141（2005）3我们在图5中显示了为案例研究生成的colimit的一部分（见第5节）。特别是，该图显示了分布在两个位置上的操作clean 1AmmerCommand 13，由位置变量lms 0和lmmer13给出。图五. 科利米特以下三个规则表达了对交互的限制，这些限制使架构成为良构配置，并且可以确保存在• 组件的输出通道或位置不能与相同或其他组件的输出通道或位置连接（即使是间接连接）;• 私人通道和私人行为不能参与连接。• 禁止属于同一设计的动作的间接同步，因为这需要它们同时执行。C. Oliveira等人/理论计算机科学电子笔记141（2005）3134TheCOMMU NITYCOMM UNITY语言[12]直接在Java上实现了协调和分布的概念，为COMMUNITY提供了作为架构描述语言的语义。虽然COMMUNITY独立于实际使用的数据类型，但它提供了一组固定的类型：整数和实数、布尔值、列表、数组、记录和枚举。工作台还包括一个导出实用程序，用于将整个体系结构或仅一些连接器保存为文本规范，无需工具即可轻松阅读和理解，这将在下一节 中 进 行 解 释 。 该 工 作 台 可 从 COMMUNITY 网 站 （ www.fiadeiro.org/jose/CommUnity).见图6。第1111章在那一瞬间的该工具的当前版本（1.2）允许用户：(i) 指定位置类型和关系接触和到达：位置类型根据预定义的类型（例如，作为表示2维空间的两个整数的记录）。关系被定义为布尔表达式，两个参数都是位置类型。(ii) 写COMM UNITY设计：用户可以写新的设计或编辑现有的设计。(iii) 定义图形化的架构连接器：在连接器图中，用户可以做他在架构图中可以做的事情（参见下面的步骤IV14C. Oliveira等人/理论计算机科学电子笔记141（2005）3除了添加和删除连接器。在连接器关系图中，每个节点都具有唯一编号，并且必须是现有设计的实例。连接器必须具有星型拓扑，粘合剂位于中心。(iv) 图形化定义架构，连接器，并计算其colimit：在架构中，用户可以添加和删除节点，弧和连接器，拖动节点来改变图布局，双击弧或选择一些节点来调用图形链接编辑器来可视化和/或设置所选节点之间用户可以在通道和位置之间进行直接编辑器向设计者显示所选节点的所有操作、输入和输出通道，如图3所示。工作台检测无效绑定-（在）直接共享输出通道或位置变量，或同步相同节点的动作。用户可以将步骤III中创建的连接器添加到主架构中。这是通过显式定义哪些组件细化添加的连接器的哪些角色来图6示出了MS设计的实例如何细化BTS连接器的msroleinfo角色（将在第5节中解释），即，角色的通道和操作如何映射到组件的通道和操作。请注意，在组件合成中，输出通道连接到输入通道，而在细化中，输出通道必须映射到输出通道。组件由矩形表示，连接器由椭圆形表示，直接链接由带有黑色小方块的线条表示。见图7。初始化(v) 运行设计（特别是配置的colimit）：在运行设计之前，用户必须提供所有通道和位置变量的初始值，并选择应跟踪哪些通道、位置变量和动作在图7中，我们显示了初始化窗口。默认情况下，数字初始化为零，布尔值初始化为false，并且只跟踪输出通道和位置变量。跟踪提供了很大的灵活性来测试几个C. Oliveira等人/理论计算机科学电子笔记141（2005）315场景共享操作可以由用户显式选择执行，也可以由工具以公平或随机模式自动选择执行。私人行动总是在一个公平的模式中选择。对于未连接到输出通道的任何输入通道的值，也有三种选择：1-与上一执行步骤相同;2-随机值;3-由用户设置。在跟踪过程中，用户可以跟踪位置变量：在每一步之后，显示每个位置变量的当前值，以及位置变量之间的触摸和到达关系。我们在图8中显示了运行案例研究时位置变量的可能状态。黑线表示到达关系，并显示目标位置可从源位置到达，而白线显示位置处于接触状态。见图8。地点追踪WB中描述的Community架构和连接器可以保存为文本规范。我们用于此目的的语言主要受到Armani的启发[11]。更准确地说，架构的模板如图9所示。为了便于说明，本文中介绍的连接器使用此符号进行描述（参见5.3）。5GSM切换协议我们现在将在第2节中给出的描述之后产生切换协议的概念模型。拟议的开发包括按图10所示顺序应用的五个阶段：(i) 架构实体我们按照设计和交互（链接和/或连接器）对系统进行分解。黑盒计算实体被表示为单个设计，并且设计之间的关系通过交互来表示。(ii) 计算我们详细描述了前一阶段确定的每个设计。也就是说，完全指定了私有和共享成分(iii) 协调每个识别的交互必须被分类为两个设计之间的简单链接或连接器，其中可以包括一些行为。16C. Oliveira等人/理论计算机科学电子笔记141（2005）3架构名称{loc=数据类型bt（x，y）=x和y上的布尔表达式reach（x，y）=x和y分量上的布尔表达式设计名称1设计名称N连接器连接器名称{胶设计名称角色设计角色名称1设计角色名称K配置instd 1，instd L：designName联系我们instd I.idI - instd J.idJ}}配置instd 1、instd M：designNameinstc 1、instc P：connectorName附件{instd I.idI - instd J.idJ}refinementinstc I.roleNameto instd J{ idIto idJ}}见图9。 体系结构规范模板为了指定一个连接器，行为应该被封装在一个胶水中，并且必须为每种类型的参与者定义一个角色。在某些情况下，有必要根据该阶段的中间结果返回到计算阶段。(iv) 分布此阶段首先检查前几个阶段产生的每个设计和胶水的可能拓扑分布。在需要分布的情况下，相应的设计或胶必须用适当的位置变量和处理它们的动作（例如，前，C. Oliveira等人/理论计算机科学电子笔记141（2005）317见图10。发展新闻流动性）。由于新的要求，一些现有的行动也可以分布在各地。最后，为了处理真实系统的拓扑分布，可以从头开始创建仅处理位置的新连接器。(v) 执行架构会以不同的初始值执行，以进行测试。在当前版本的工作台中，指定架构的执行是集中式的，也就是说，通过执行生成的colimit来模拟它。在未来，我们将提供一个分布式执行模式：位置值将映射到物理主机，物理移动性将是真实的（更多细节见5.5节）。在下文中，我们使用COMMUNITY和遵循上述开发步骤的工作台来描述切换过程。对于本说明书，我们假设一个小系统只有一个MS、两个BTS/BSC此外，在我们的系统规范中，我们假设MS连续地与BSC通信，因为如果MS空闲，则不需要切换。切换由当前BSC触发，并且它发起该过程。在我们的模型中，关系触摸起着重要的作用。也就是说，MS四处移动，并且它只能在与两个BTS接触时从它们接收测量然后，每次MS接收到这两个测量值时，它将它们发送到当前BSC，该BSC验证它是否控制最靠近MS的BTS。如果不是这种情况，则它开始切换过程。测量过程的外部化包括失败的模型的演变是未来工作的可能性。5.1架构实体通过分析案例研究，我们发现每个实体都有两种不同的计算-通信和测量，我们决定将它们区分为架构的不同层。18C. Oliveira等人/理论计算机科学电子笔记141（2005）3• MS：我们用两种设计来描述MS。第一个，表示为MS，包括与通信有关的计算。第二个，表示为ms measure，封装了反映任何测量的接收和发送的计算。• BSC：类似地，我们使用两种设计来捕获BSC，用BSC和BSC度量表示。• MSC：我们只提出一个设计，名为MSC，来处理通信。• BTS：有三个连接器与此实体相关联，我们称之为BTS、bts measure和btsmeasure。最后两个连接器之间的区别将在第5.3小节中描述。• 切换：为了具体化切换过程，我们将此实体定义为由称为切换的连接器表示的交互。图11描绘了切换架构的不同实体的组织。显示架构的元素，以便可视化前面提到的两个层。与测量处理相关的所有组件和连接器都位于顶层。见图11。建筑师在5.2计算如前所述，这个阶段详细描述了之前确定的每个计算实体，即设计。我们只展示和讨论ms度量的细节C. Oliveira等人/理论计算机科学电子笔记141（2005）319以及BSC测量设计。为了描述每种设计，我们参考了COMM UNITY的语法（参见第3节）。设计MS已经在第3节中解释并在图2中示出。ms测量：ms measure通过连接器btsmeasure接收来自两个BTS的测量为此，它为每个btsmeasure使用一个输入通道（dist1和dist2），以及一个输出通道（dist1dist2），以使测量可用。 与MS设计类似，对于所考虑的两个BSC中的每一个，我们都有一个动作用于发送 测量值（sendbsc 1和sendbsc 2）和用于接收它们的另一个测量值（接收D1和接收D2）。最后，为了控制其动作的顺序，需要一些专用通道（就绪和计数器通道）。为了执行sendbsc1或sendbsc2操作，私有通道ready1和ready2的值必须为true。这仅在ms测量已经接收到执行动作receive d1和receive d2的两个测量时发生。但是ms测量必须避免两次接收测量，因此计数器如果动作receive d1（以及动作receive d2）在另一个动作之前执行两次，则执行动作clean，并重新初始化计数器和就绪通道这导致了图12所示的COMMUNITY设计。BSC措施：bsc测量从其对应的BTS（通过相应的连接器BTS测量）接收测量验证的结果被发送到组件BSC。为此，它使用一个输入通道（distdist2）和一个动作（receive distdist2）来接收测量值。结果通过输出通道newId提供。至于ms测量，这种设计源于将测量的处理和通信抽象到不同的组件中。最后，bsc测量具有布尔输入信道通信，其用作用于接收测量的动作的保护。如果此BSC不是当前用于通信的BSC，则接收测量值没有意义。5.3协调该阶段详细描述了第5.1节中确定的每种相互作用。也就是说，对于每个连接器，它的粘合、角色和附件都是完全定义的。我们展示并讨论BTS实体的细节两层的分离由不同的连接器表示。20C. Oliveira等人/理论计算机科学电子笔记141（2005）3见图12。MS测量中的BTS：这是一个将MS实例与BSC实例相关联的二进制连接器这个连接器的粘合部分是一种设计，它有两个输入通道（inMsg和outMsg），用于在通信期间传 入 消 息 和 传 出 消 息 ， 还 有 两 个 操 作 用 于 传 输 消 息 （ transferIn ，transferOut）。这个连接器的角色是非常简单的设计，每个连接器都有两个通道和两个操作，可以使用架构的组件实例进行细化（参见下文）。在声明了一个胶水实例（btsI）和每个角色的一个实例（msroleinfoI，bscrole-infoI）之后，附件部分定义了胶水通道和动作与这两个角色中的通道例如，输出通道outMsg（resp.inMsg）必须通过inMsg（resp.outMsg）和通过outMsg（resp. inMsg）。在传输、发送和接收操作之间应用相同的链接。连接器BTS{胶设计BTSinMsg，outMsg：array（5，int）dotransferIn：skip[]transferOut：skipC. Oliveira等人/理论计算机科学电子笔记141（2005）321角色设计msroleinfoininMsg：array（5，int）outoutMsg：array（5，int）dosend：skip[]接收：跳过设计博客inMsg，outMsg：array（5，int）dotransferIn：skip[]transferOut：skip配置btsI：btsmsroleinfo我：msroleinfobscroleinfo我：bscroleinfo联系我们btsI.outMsg -msroleinfo I.inMsgbtsI.inMsg -msroleinfo I.outMsgbtsI.transferOut -msroleinfo I.sendbtsI.transferIn -msroleinfo I.receivebtsI.inMsg -bscroleinfo I.inMsg btsI.outMsg -bscroleinfo I. outMsgbtsI.transferIn -bscroleinfo I.transferInbtsI.transferOut -bscroleinfo I.transferOut}}为了将此连接器与MS和BSC设计一起使用，角色msrole-info I和角色bscroleinfo I分别用MS设计实例和BSC设计实例来细化。图6中显示了部分改进。细化bts. msroleinfo 1到MS{ inMsg到 inMsg 1outMsg到 outMsg1发送到发送1接收到接收1}细化bts. bscroleinfo到 BSC{inMsgto inMsgoutMsgto outMsgtransferInto transferIn22C. Oliveira等人/理论计算机科学电子笔记141（2005）3transferOut到 transferOut