基于并发语义的UML2.0顺序图控制流分析

作     者：王琳 

作者单位：吉林大学 

学位级别：硕士

导师姓名：张家晨

授予年度：2006年

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：UML2.0顺序图 活动图 控制流分析 并发控制流 

摘      要：统一建模语言UML是目前软件开发领域最为广泛应用的一种建模语言。随着UML的广泛应用和最新版本UML 2.0的发布,以及模型驱动架构MDA技术的日趋成熟,基于模型的控制流分析(MBCFA)这一领域已经得到越来越多的关注,它对MDA背景下的模型编译、理解、执行以及已有的基于顺序图的测试技术都具有一定的意义。本文在现有工作的基础上提出了一种基于UML 2.0顺序图消息并发语义得到控制流路径的新方法。 从系统执行角度,消息的发生实际上是系统执行发送和接收消息的动作,消息发生的顺序实际上可以通过对象发送和接收消息的动作的顺序来确定。本文据此并基于最大并发度的语义提出了利用定义顺序图发送和接收消息的动作之间的顺序关系,根据动作关系发现并定义相应消息的顺序关系,根据UML活动图善于描述并发活动的特点,提出用活动图表示顺序图的并发控制流,即并发控制流图CCFG,最后根据消息顺序关系规定从顺序图到CCFG的一致性转换规则,从而得到顺序图的并发控制流路径。