消息序列图相关论文
随着近年来无线移动通信技术的飞速发展,工作在嵌入式系统下的无线通信设备(如移动电话、掌上电脑等)以其小巧、方便、低能耗等特......
LTE作为3G的演进，整体性能得到了大幅度提高，其采用OFDM/MIMO作为其核心传输技术，在20MHz带宽下能够提供下行100Mbit/s和上行50Mbit/s......
该文首先对蓝牙的协议栈和应用规范体系结构进行了概括和分析.同时在简要介绍OBEX的协议特点的基础上,对OBEX协议如何在蓝牙中映射......
本文主要研究协议开发流程中协议测试阶段的工作。首先较全面的介绍了协议工程和协议一致性测试；接着，对协议工程的理论基础——......
需求工程是软件工程初期的重要工作,其目的是得到对需求的准确清晰一致的描述以及相应的求解限制。随着需求工程的发展,基于场景的......
信息化已成为当今社会发展的大趋势,而网络的快速发展与普及,加快了这一进程。如今,网络已经成为我们生活当中不可或缺的一部分。......
在证明转换规则正确性的基础上, 首先利用转换规则对AOE网进行转换, 然后从两个方面对转换后的CPN（Colored Petri Nets）模型不合理的......
如果构件含有冗余的功能，特别是含有用户不想要的功能，则无法被用户正确使用．因此，如何从构件中提取场景规约中所描述的用户想要的行为......
提出一种基于场景规约的系统行为建模方法．采用消息序列图描述场景，把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景......
提出了从消息序列图（MSC）生成TTCN-3测试例的方法。测试者可以先针对被测系统（SUT）中感兴趣的部分利用MSC描述出具体的测试场景,再从MS......
如果构件含有冗余的行为,特别是有用户不想要的功能,则用户无法使用。因此,如何从构件中保留场景规约中用户需要的行为便是一个亟......
介绍了系统建模中的时间相关概念,以及MSC和UML序列图对时间相关概念的表示.将MSC对时间强大的表示能力和准确的表达方法应用于UML......
通信设备的协议非一致性问题目趋严重。以我国提出的TD—SCDMA标准为基础，利用SDL提供的TTCN测试工具对终端协议栈GMM层路由更新过......
针对原理设计阶段机电一体化系统的逻辑结构模型、逻辑/物理行为模型和原理方案表达,提出了基于参考模型的机电一体化系统初步逻辑......
提出了一种基于MSC(消息序列图)测试目的的互操作性测试生成方法.采用通信多端口有限状态机作为被测系统的描述模型,MSC作为互操作......
随着计算机技术应用的日益广泛和深入,软件系统的规模和复杂性不断增大,系统各部分之间的交互及时间约束成为软件需求和设计的重要......
在抽象原子模式的基础上，提出了一种基于图连通性判定的模式抽取方法，并给出了其正确性证明。接着，详尽分析和给出了模式组合定理的一......
为了有效掌握协议的交互行为,提出一种基于消息序列图的协议交互过程自动构建方法。首先,根据协议交互过程的特点,定义依赖关系图......
