期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种UML活动图到模糊Petri网的转换算法 被引量：1

A Transformation Algorithm from UML Activity Diagram to Fuzzy Petri Net
下载PDF
导出
摘要 UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。 UML is known as one of the most common methods in software engineering.Since this language is semi formed,many researches and effort have been performed to transform this language in to formal methods including Petri nets.Thus,the operation of verification and validation of the qualitative and non functional parameters could be achieved with more ability.Since the majority of the real world information are uncertain,there fore fuzzy UML diagram has been extensively used by system analyzer.This paper is attempted to transform activity diagrams created in fuzzy UML into fuzzy Petri net.So that the verification and performance evaluation operation could be performed formally,rather than exact visual analysis.
作者 张炜钟 王智学 陈剑
机构地区 解放军理工大学指挥自动化学院
出处 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期102-106,共5页 Journal of System Simulation
基金 "863计划"(2007AA01Z126)
关键词 模糊UML 模糊PETRI网 活动图 形式化 建模 fuzzy UML fuzzy Petri net activity diagrams formalization modeling
分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献9

  • 1史志富,张安,刘海燕,何胜强,何艳萍.基于模糊Petri网的空战战术决策研究[J].系统仿真学报,2007,19(1):63-66. 被引量：10
  • 2Faul M B.Verifiable Modeling Techniques Using a Colored Petri Net Graphical Language. Technology Review Journal . 2004
  • 3Shin M,A Levis,L Wagenhals.Transformation of UML-Based System Model into CPN Model for Validating System Behavior. Proc.of Compositional Verification of UML Models,Workshop of the UML’’’’’’’’03Conference . 2003
  • 4Motameni H,M Zandakbari,Movaghar.Deriving performance parameters from the activity diagram using gspn and markov chain. ICCSA2006Proceeding of4t"International Conference on Computer Science and Its Aapplications . 2006
  • 5Motameni H,et al.Verifying and Evaluating UML Activity Diagram by Converting to CPN. Proc.of SYNASC’’’’’’’’O5 . 2005
  • 6Ma Z M.Extending UML For Fuzzy Information Modeling. Object Oriented Database Theories and Practices . 2004
  • 7Burcin Bostan-Korpeoglu,Adnan Yazici.A Fuzzy Petri Net Model For Intelligent Database,Data and Knowledge Engineering. . 2006
  • 8Bernardi S,,Donatelli S,Merseguer J.From UML Sequence Dia-grams and Statecharts to analysable Petri Net models. WOSP’02 . 2002
  • 9Loopez-Grao JP,Merseguer J,Campos J.From UML activity diagrams to stochastic Petri nets:Application to software performance engineering. Proc.of the4th Int’l Workshop Software and Performance(WOSP2004) . 2004

二级参考文献2

  • 1Meimei Gao,MengChu Zhou,Ying Tang.Intelligent Decision Making in Disassembly Process Based on Fuzzy Reasoning Petri nets[J].IEEE Transactions On Systems,Man,and Cybernetics -Part B:Cybernetics (S1083-4419),2004,34(5):2029-2034.
  • 2Ignac Lovrek.Petri Net Based Knowledge Representation for Intelligent Networks[C]// Proceedings of the 1995 IEEE International Symposium on Intelligent Control,IEEE.1995.

共引文献9

同被引文献17

  • 1谢彦辉,姚淑珍,郭峰.顺序图至Petri网转化方法的研究与实现[J].计算机工程,2006,32(6):260-262. 被引量：6
  • 2郭峰,姚淑珍.基于Petri网的UML状态图的形式化模型[J].北京航空航天大学学报,2007,33(2):248-252. 被引量：9
  • 3吴哲辉.Petri网导论[M].北京:机械工业出版社,2004.
  • 4ArlowJ NeustadtI 方贵宾 译.UML和统一过程实用面向对象的分析和设计[M].北京:机械工业出版社,2003..
  • 5Campos J,Merseguer J.On the Integration of UML and Petri Nets in Software Development[C]//27th Int.Conf.on Applications and Theory of Petri Nets and Other Models of Concurrency(ICATPN 2006),volume 4024 of Lecture Notes in Computer Science,2006.Berlin:Springer,2006:19-36.
  • 6López-Grao J P,Merseguer J,Campos J.From UML Activity Diagrams to Stochastic Petri Nets:Application to Software Performance Engineering[C]//4th Int.Workshop on Software and Performance(WOSP 2004),2004.New York:ACM Press,2004:25-36.
  • 7Merseguer J,Campos J,Bernardi S,et al.A Compositional Semantics for UML State Machines Aimed at Performance Evaluation[C]// 6th Int.Workshop on Discrete Event Systems (WODES 2002),2002.NJ:IEEE CS Press,2002:295-302.
  • 8Baresi L,Pezzè M.On Formalizing UML with High-Level Petri Nets[C]//Concurrent Object-Oriented Programming and Petri Nets:Advances in Petri Nets,volume 2001 of Lecture Notes in Computer Science,2001.Berlin:Springer,2001:276-304.
  • 9Saldhana J A,Shatz S.UML Diagrams to Object Petri Net Models:An Approach for Modeling and An alysis[C]//Proceedings of the International Conference on Software Engineering and Knowledge Engineering(SEKE),2000.2000:103-110.
  • 10Fernandes J M,Tjell S,Jorgensen J B,et al.Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net[C]//Sixth International Work shop on Scenarios and State Machines(SCESM'07),2007.NJ:IEEE,2007:2-2.

引证文献1

二级引证文献11

系统仿真学报
2008年 第S2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部