发明名称 一种从UML软件模型到排队网络模型的转换方法
摘要 本发明公开了一种从UML软件模型到排队网络模型的转换方法。该方法在软件系统的UML模型基础之上,加入构造型和标记值使之转化为带标注的UML图,生成UMLSPT模型,同时考虑了UML活动图中有分支节点和汇合节点的情况,将UMLSPT模型中的元素按照转换算法一一映射到排队网络生成排队网络模型。利用这个基于UML软件模型到排队网络模型的转换方法,得到软件系统的排队网络模型,从而计算出软件性能参数值,实现软件性能预测。本发明所设计基于UML软件模型到排队网络模型的方法由于考虑到了UML活动图中有分支节点和汇合节点的情况符合系统的并发性,因此对软件性能预测更加准确。
申请公布号 CN102722435B 申请公布日期 2015.04.08
申请号 CN201210165425.9 申请日期 2012.05.25
申请人 浙江工商大学 发明人 李传煌;王伟明;盛权
分类号 G06F11/36(2006.01)I 主分类号 G06F11/36(2006.01)I
代理机构 杭州求是专利事务所有限公司 33200 代理人 杜军
主权项 一种从UML软件模型到排队网络模型的转换方法,其特征在于该方法包括以下步骤:步骤一:确定UML软件模型转换为排队网络模型的属性;系统UML模型的用例图中的构造型决定了生成的排队网络的属性,构造型为《PAopenuser》则生成一个开环排队网络,构造型为《PAcloseduser》则生成一个闭环排队网络;构造型的标记值PAarrival描述操作者到达系统的规律,它是一个随机变量,包含两个元素:PDFstring和value,PDFstring代表它所服从的分布,value代表所服从分布的参数;步骤二:记录活动状态a<sub>i</sub>请求的资源节点r<sub>j</sub>,用res[a<sub>i</sub>]表示,即res[a<sub>i</sub>]=r<sub>j</sub>;计算资源节点r<sub>j</sub>被请求的活动状态总数count[r<sub>j</sub>],并保存活动状态a<sub>i</sub>请求资源节点时的顺序index[a<sub>i</sub>]=count[res[a<sub>i</sub>]];步骤三:重复执行步骤二,直到遍历活动图中所有的活动状态a<sub>x</sub>;步骤四:创建一表征顾客通过排队网络时各服务台间服务顺序及服务概率的路由矩阵P[i,r,j,s],路由矩阵P[i,r,j,s]表示第i个服务台的第r类顾客完成服务后成为第j个服务台的第s类顾客的概率,它是一个四维矢量Vector[N*C*N*C],其中服务台数量N就是资源节点个数,顾客类型数C就是所有资源节点中请求的最大活动状态数;步骤五:记录活动状态a<sub>i</sub>转移到a<sub>j</sub>的转移状态t<sub>ij</sub>,以及对应的转移概率P(t<sub>ij</sub>),并将其存放到路由矩阵P[i,r,j,s]中,P[i,r,j,s]=P(t<sub>ij</sub>);其中i=res[a<sub>i</sub>],r=index[a<sub>i</sub>],j=res[a<sub>j</sub>],s=index[a<sub>j</sub>];步骤六:重复执行步骤五,直到遍历活动状态a<sub>i</sub>所有的转移状态t<sub>iy</sub>;步骤七:重复执行步骤五和步骤六,直到遍历所有的活动状态a<sub>x</sub>的所有转移状态t<sub>xy</sub>,得到所有活动状态的所有转移状态及转移概率;步骤八:根据步骤一确定的排队网络的属性,路由矩阵P[i,r,j,s]及对应的概率,画出排队网络模型;步骤九:判断系统并发情况,并在生成的排队网络中标示出来;如果资源节点r<sub>j</sub>被活动图中的某个分支节点所衍生的活动状态所请求,则资源节点r<sub>j</sub>存在并发处理,在排队网络模型中用虚线框进行标示;步骤十:遍历所有分支节点所衍生的活动状态请求的资源节点,重复执行步骤九,最后得到一个具有并发处理标示的排队网络模型。
地址 310018 浙江省杭州市下沙高教园区学正街18号