会员注册 | 登录 | 微信快捷登录 支付宝快捷登录 QQ登录 微博登录 | 帮助中心 人人文库renrendoc.com美如初恋!
站内搜索 百度文库

热门搜索: 直缝焊接机 矿井提升机 循环球式转向器图纸 机器人手爪发展史 管道机器人dwg 动平衡试验台设计

UML 活动图模型正确性诊断方法模型正确性诊断方法.pdfUML 活动图模型正确性诊断方法模型正确性诊断方法.pdf -- 5 元

宽屏显示 收藏 分享

页面加载中... ... 广告 0 秒后退出

资源预览需要最新版本的Flash Player支持。
您尚未安装或版本过低,建议您

UML活动图活动图活动图活动图模型正确性诊断方法模型正确性诊断方法模型正确性诊断方法模型正确性诊断方法周春燕周春燕周春燕周春燕,,,,李绪蓉李绪蓉李绪蓉李绪蓉,,,,周周周周良良良良南京航空航天大学信息科学与技术学院,南京210016摘摘摘摘要要要要UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断。关键词关键词关键词关键词活动图模型正确性模型分解模型验证模型诊断CorrectnessDiagnosisMethodofUMLActivityGraphModelZHOUChunyan,LIXurong,ZHOULiangCollegeofInformationScienceandTechnology,NanjingUniversityofAeronauticsandAstronautics,Nanjing210016,China【【【【Abstract】】】】Thecorrectnessoftheactivitygraphdecidesthatthecorrectnessofexecutionofbusinessflow,sothispaperproposesanmethodfordiagnosisofcorrectnessofUMLactivitygraphmodel.Itverificatesthemodel.Modeldiagnosisofsubmodelswhicharewrongandreceivingthediagnosisresults.Theapplicationofexampleofqualitymanagementprocess,demonstratesthisapproachcanreducethespaceofmodel,decreasediagnosisfrequency,lockerroraccurately,diagnosethemodelcorrectnesseffectively.【【【【Keywords】】】】activitygraphmodelcorrectnessmodeldecompositionmodelverificationmodeldiagnosisDOI10.3969/j.issn.10003428.2011.14.014计算机工程ComputerEngineering第37卷第14期Vol.37No.142011年7月July2011软件技术与数据库软件技术与数据库软件技术与数据库软件技术与数据库文章编号文章编号文章编号文章编号10003428201114004703文献标识码文献标识码文献标识码文献标识码A中图分类号中图分类号中图分类号中图分类号TP3911概述概述概述概述活动图是提供独立于目标系统的高层次流程描述,多数非常复杂并包含了大量的活动和相关的协作约束,它的正确性决定了系统中实际业务过程执行的正确性。因此,在将其运用于目标系统前,必须及时发现并更正错误。活动图类似于工作流图,结合工作流模型的验证和诊断方法,本文提出先验证后诊断的UML活动图模型正确性诊断方法,采用图分解技术来加快诊断速度。同时结合实例进行方法应用,验证其有效性。2基于活动图的模型表示基于活动图的模型表示基于活动图的模型表示基于活动图的模型表示活动图描述了需要进行的活动以及执行这些活动的顺序。活动图有起点、终点、活动、判断、对象、同步条、泳道、控制流等基本元素。鉴于工作流图模型1,活动图模型定义为一个八元组GN,E,T,ST,EN,AC,JI,SP,其中1N是节点,是一个七元组,Ntype,dout,din,postNodes,preNodes,inEdges,outEdges。设n∈N,则n.type∈Tdout是n的出度din是n的入度n.outEdges{e|e∈E∩e.fromNoden}n.inEdges{e|eE∩e.toNoden∈}postNodes{n′|n′∈N∩e∈E∩e.fromNoden∩e.toNoden′}reNodes{n′|n′∈N∩e∈E∩e.fromNoden′∩e.toNoden}NST∪EN∪AC∪JI∪SP2E是有向边,E⊆NN,是一个二元组EfromNode,toNode。其中,fromNode∈NtoNode∈N。3T是节点类型集合,T{start,end,activity,ANDSplits,ANDJoins,XORSplits,XORJoins},如图1从左到右依次所示。4ST∈N,是模型的开始节点,ST.typestart,ST.dout1,并且ST.din0。5EN∈N,是模型的结束节点,EN.typeend,EN.dout0,并且EN.din1。6AC⊆N,是模型的活动节点,AC.typeactivity,AC.dout1,并且AC.din1。7JI⊆N,是模型的Joins节点,JI.type{∈ANDJoins,XORJoins},JI.din≥1,并且JI.dout1。8SP⊆N,是模型的Splits节点,SP.type{∈ANDSplits,XORSplits},SP.din1,并且SP.dout≥1。9如果n∈SP,节点n被访问,当n.typeXORSplits时,则其中一条出口路径随机被访问当n.typeANDSplits时,则所有出口路径都被访问。10如果n∈JI,当n.typeXORJoins时,当且仅当一条入口路径被访问时,节点n才会被访问当n.typeANDJoins时,当其所有入口路径都被访问时,节点n才会被访问。图图图图1节点类型节点类型节点类型节点类型在进行对活动图的诊断前,需要将活动图转换为标准模型。首先去除活动图中不必要的元素,如对象和泳道然后保留起点、终点、活动、判断、同步条和控制流。最后进行作者简介作者简介作者简介作者简介周春燕1986-,女,硕士研究生,主研方向信息系统集成李绪蓉、周良,副教授、博士收稿日期收稿日期收稿日期收稿日期20101210Emaildolphin86abcyahoo.com.cn48计算机工程2011年7月20日以下的转换1起点有多条出口路径,则在起点和多条路径中间添加XORSplits2有多个终点,则添加一个XORJoins,将多个终点的入口路径指向这个XORJoins,XORJoins指向一个终点,其余的移除3活动有多条入口路径和多条出口路径,则在入口路径与活动中间添加ANDJoins,在出口路径与活动中间添加ANDSplits4判断有多条入口路径,则在判断与入口路径中间添加XORJoins5同步条有多条入口路径,则在同步条与入口路径中间添加ANDJoins。3模型模型模型模型正确性正确性正确性正确性诊断方法诊断方法诊断方法诊断方法模型的正确性不仅包括语法的正确性,还包括语义的正确性。模型具有正确性当且仅当具有21活性从开始节点ST开始可到达的每个节点n,可以到达终止节点EN。2可靠性终止节点EN必须是从开始节点ST开始的可达的唯一的终止节点。模型的正确性检查,主要检测两大类型的冲突1死锁如果n∈JI并且n.typeANDJoins,只有n的一部分入口路径被访问,则会导致模型不具有活性,在n节点上发生死锁。2乏同步如果n∈JI并且n.typeXORJoins,n的多个入口路径被访问,则会导致模型不具有可靠性,在n节点上发生乏同步。3.1模型分解模型分解模型分解模型分解模型诊断所需的时间空间与模型大小有直接关系。采用业务过程模型的分解技术3,将模型分解成多个子模型分别进行分析,锁定错误在哪个子模型中,提高检测和诊断的速度。设模型GN,E,T,ST,EN,AC,JI,SP,分解的子模型FN′,E′,T′,ST′,EN′,AC′,JI′,SP′是G的非空子模型,是单入口单出口型的,其中,N′⊆N,E′E∩N′N′,还存在一些边e,e′∈E,E∩N\N′N′{e},E∩N′N\N′{e′},e为入边,e′为出边。设n∈N,注设set是一个集合,firstElementset是集合的第一个元素nextElementset是集合的当前的下一个元素n.postNodes∗是n的所有连续后继节点n.preNodes∗是n的所有连续前继节点。算法描述如下1遍历寻找节点n,满足n∈SP,则转步骤2。2寻找n的每条出口路径的汇合节点join{j|n′∈n.postNodes∩∀n′j∈n′.postNodes∗∩j∈JI}。如果join不为空,设jfirstElementjoin,则转步骤3。3得到子模型FN′,E′,T′,ST′,EN′,AC′,JI′,SP′,N′{n′|n′n∪n′∈n.postNodes∗∩n′∉j.postNodes∗},E′E∩N′N′,T′T,ST′n,EN′j,AC′{n′|n′∈AC∩n′∈N′},JI′{n′|n′∈JI∩n′∈N′},SP′{n′|n′∈SP∩n′∈N′}。4检查F所有节点,除开始节点外的前继节点,是否都包括在模型中,如果∃n″n′∈N′∧n′≠start∧n″∈n′.preNodes∧n″∉N′,则说明子模型结构不正确如果nextElementjoin不为空,则jnextElementjoin,转步骤3,否则nfirstElementj.postNodes,转步骤1如果正确,则转步骤5。5将G中的F替换成活动节点,对F进行验证,具体步骤见3.2节,如果验证子模型是不正确的,则对F进行诊断,具体步骤见3.3节,nfirstElementj.postNodes,转步骤1。3.2模型验证模型验证模型验证模型验证采用Sadiq和Orlowska的图化简方法4来判断模型是否正确。其思想是移除所有绝对正确的结构块,保留冲突。运用化简规则将结构正确的模型逐步化简,而结构不正确的则不能化简。化简过程比诊断过程简易,将子模型先化简验证后诊断,可减少诊断次数,提高效率。有5种化简规则终端化简,顺序化简,邻近化简,闭合化简和交叠化简。设GN,E,T,ST,EN,AC,JI,SP,n∈N。1终端化简如果n.dinn.dout1,移除n。2顺序化简如果n.din1并且n.dout1,移除n。3邻近化简如果n∈SP并且n′∈n.preNodes,n′.typen.type,则令e∈n.outEdges,e′∈n.inEdges,e.fromNoden′,移除n和e′。如果n∈JI并且n′∈n.postNodes,n′.typen.type,则令e∈n.outEdges,e′∈n.inEdges,e′.toNoden′,移除n和e。4闭合化简设e∈E,如果∃e′e′∈E∧e.fromNodee′.fromNode∧e.toNodee′.toNode∧e.fromNode.typee.toNode.type∧e≠e′,移除e′。5交叠化简设n∈N,如果∃n′n′∈N∧n.postNoden′.postNode∧n.preNoden′.preNode∧n.typen′.type∧n≠n′,移除n′。3.3模型诊断模型诊断模型诊断模型诊断本文借鉴文献5提出的基于IntegerProgramming诊断工作流的方法,在模型诊断中将模型翻译为包含一系列的0/1线性约束的IP模型,其中每个节点n都有一个IP变量IPn,赋值为一个整形值0或1。赋值为1的节点和边在执行路径内,为0的不在执行路径内。利用IP规范中的约束集来对每条执行路径的每个join进行测试,为不同的join添加其不会导致错误的条件约束,如果执行路径不满足某个join的特定约束集,说明在此join节点上有错误。反之,如果满足,说明此节点是正确的。算法描述如下1为模型GN,E,T,ST,EN,AC,JI,SP定义IP规范约束集,设n∈NIP1n.type{∈start}IPn1IP2n.type{∈activity,ANDSplits,XORSplits,end}IPn.preNodesIPn0IP3n.type{∈activity,ANDJoins,XORJoins,start}IPn.postNodesIPn0IP4n.type{ANDSplits}∈.0nn.postNodenIPnndoutIPn′∈′′−∑IP5n.type{∈XORSplits}0nn.postNodenIPnIPn′∈′′−∑。2遍历每条执行路径,分别检验路径上的每个join节点。ANDJoins节点,添加节点的约束IP6IP6.nn.preNodenIPnndinIPn′∈′′∑XORJoins节点,添加节点的约束IP7IP7nn.preNodenIPnIPn′∈′′∑检验执行路径是否符合约束集,若符合,则此join节点正确若不符合,则说明此join节点会导致冲突ANDJoins节点会导致死锁XORJoins节点会导致乏同步。4应用验证应用验证应用验证应用验证为验证本文所提出诊断方法的有效性,在此以某企业内部的质量管理过程为例。该过程是对生产中的不合格品进行审理,经过审理小组、常设机构和型号产品专业组的审理。具体如图2所示。第37卷第14期49周春燕,李绪蓉,周良UML活动图模型正确性诊断方法所长审批型号产品专业组的修改结论型号产品专业组提交审理结论给检验员编写归零报告型号产品专业组填写审理结论型号产品专业组进行审理无需审批需要审批需要归零a型号产品专业组的审理活动图b型号产品专业组的审理模型c验证结果图图图图2诊断过程诊断过程诊断过程诊断过程诊断过程是将原始活动图预处理为标准模型,限于篇幅,选取部分活动图,型号产品专业组的审理活动图如图2a所示,转换为模型如图2b所示。将模型分解后,对子模型进行验证,型号产品专业组的审理模型是总模型的子模型,对其进行验证时,验证失败,如图2c所示。随后进行诊断,得出诊断信息A13与A11的相交点ANDJoins处存在冲突,可能引发死锁A12的下一个XORJoins处存在冲突,可能引发乏同步。即当型号产品专业组填写审理结论后,选择不需要审批时,编写归零报告就不能进行下去,导致图失去可靠性,后面的同步条不能到达,导致图失去活性。5结束语结束语结束语结束语本文提出一种UML活动图模型的正确性诊断方法,并以某企业的内部质量管理过程为例对该方法进行应用验证,结果表明了该方法的有效性和实用性。但本文只涉及到AND和XOR2种连接类型,实际中可能还有OR和M/NAND等多种类型,因此,下一步工作将对模型的多样化进行研究,并将该方法运用到更复杂和大型的系统建模中,使其得到进一步完善。参考文献参考文献参考文献参考文献1褚红伟,赵银亮,葛玮.分布工作流过程模型及其实现J.计算机工程,2009,35145557.2vanderAalstWMP.VerificationofWorkflowNetsC//Proc.ofthe18thInternationalConferenceonApplicationandTheoryofPetriNets.Toulouse,Frances.n.,1997.3VanhataloJ,VölzerH,LeymannF.FasterandMoreFocusedControlflowAnalysisforBusinessProcessModelsThroughSESEDecompositionC//Proc.ofICSOC07.Vienna,Austrias.n.,2007.4SadiqW,OrlowskaME.AnalyzingProcessModelsUsingGraphReductionTechniquesJ.InformationSystems,2000,252117134.5EshuisR,KumarA.AnIntegerProgrammingBasedApproachforVerificationandDiagnosisofWorkflowsJ.DataKnowledgeEngineering,2010,698816835.编辑金胡考上接第46页的语义异构问题。目前该框架已经成功应用在参数估计系统中,在不影响数据集成效率以及正确性的同时,更好地保证了数据集成过程数据的一致性。本文的不足之处是没有为实例数据设计映射发现策略,因为电力系统数据的多样性以及复杂性,所以暂时还不能提取出实例数据的一般特征。下一步工作将继续深入研究映射匹配算法,为实例数据制定映射匹配策略,实现不需人工干预自动完成异构数据源的集成。参考文献参考文献参考文献参考文献1DoanA,MadhavanJ,DomingosPetal.LearningtoMatchOntologiesontheSemanticWebJ.TheVLDBJournal,2003,124303319.2史斌,方丽英.基于本体的概念语义相似度度量J.计算机工程,2009,35198385.3屈振新,唐胜群.信息集成中冲突的语义解决方案J.计算机科学,2010,371167169.4李熙.基于WordNet的本体映射研究D.长沙中南大学,2008.5AndrewM,EgenhoferMJ.DeterminingSemanticSimilarityAmongEntityClassesfromDifferentOntologiesJ.IEEETransactionsonKnowledgeandDataEngineering,2003,152442456.6李艳霞.面向信息集成的语义异构消除技术研究D.兰州西北师范大学,2009.编辑金胡考
编号:201312191515077244    大小:259.75KB    格式:PDF    上传时间:2013-12-19
  【编辑】
5
关 键 词:
管理 组织 经营
温馨提示:
1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 人人文库网仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
  人人文库网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
0条评论

还可以输入200字符

暂无评论,赶快抢占沙发吧。

当前资源信息

4.0
 
(2人评价)
浏览:16次
abaodong上传于2013-12-19

官方联系方式

客服手机:13961746681   
2:不支持迅雷下载,请使用浏览器下载   
3:不支持QQ浏览器下载,请用其他浏览器   
4:下载后的文档和图纸-无水印   
5:文档经过压缩,下载后原文更清晰   

相关资源

相关资源

相关搜索

管理   组织   经营  
关于我们 - 网站声明 - 网站地图 - 友情链接 - 网站客服客服 - 联系我们
copyright@ 2015-2017 人人文库网网站版权所有
苏ICP备12009002号-5