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