消息顺序图相关论文
建模是软件过程中的基本活动，可以帮助我们更好的理解和构造系统，还可以提供简化和复用的机会。随着软件系统的规模和复杂性的日趋增......
C3+ATO系统目前在我国处于试验发展阶段且具有自动化等级高、安全标准高等特点。为验证具体场景下高速铁路C3+ATO系统功能是否符合......
随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行......
工作流管理系统是集成企业的信息、参与者和资源,实现过程自动化的CSCW系统.面对变化的经营环境,企业的业务过程呈现动态、不确定......
长期演进（TD—LTE）系统HARQ过程是移动通信系统中终端（UE）与基站进行数据传输的一个非常重要的过程。针对LTE协议采用HARQ作为其关键技......
从LTE终端小区选择的高层协议入手，从适合小区和可接受小区驻留条件出发，分析了小区选择正常过程，并对条件不满足的后续小区选择深入......
临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进......
针对网络游戏软件测试方法研究方面的不足，结合基于模型测试方法和TTCN测试技术，对网络游戏软件可玩性的测试方法进行研究。采用MSC......
根据跨组织工作流的设计思想,在对供应链业务流程进行分析的基础上,提出了一个基于消息顺序图和Petri网的供应链工作流模型设计方......
