期刊文献+

基于UML和Petri网的网络化传感系统模型研究 被引量:1

Research on networked sensing system model based on UML and Petri networks
下载PDF
导出
摘要 为了提高网络化传感系统的网络兼容性和互换性,基于国际通用接口技术标准IEEE 1451和传感器的原理与特点,利用UML和Petri网分别从静态建模、系统部署图和动态建模构建了一种网络化传感系统模型。该模型能够通过CPN tools动态行为验证,可对研制智能传感器模型进行简化与优化,能够实现良好的网络互操作性和"即插即用"功能。 In order to improve compatibility and interchangeability of network of networked sensing system,build a model for networked sensing system from static modeling,system deployment diagram and dynamic modeling,by using UML and Petri networks,based on international interface standard IEEE 1451 and the principle and feature of sensor. This model can be verified by the dynamic behavior of CPN tools,and simplify and optimize intelligent sensor model to achieve the function of interoperability of network and ‘plug and play'.
出处 《传感器与微系统》 CSCD 2015年第7期44-47,共4页 Transducer and Microsystem Technologies
基金 国家自然科学基金重点资助项目(U1261205) 中国博士后科学基金资助项目(2014M551934) 山东省大型科学仪器设备升级改造技术研究项目(2013SJGZ05)
关键词 网络化传感系统 IEEE 1451 统一建模语言 PETRI网 系统建模 networked sensing system IEEE 1451 unified modeling language(UML) Petri networks system modeling
  • 相关文献

参考文献8

  • 1Gurkan D.Interoperable smart sensor networking[C]∥12th International Conference on Engineering,Science,Construction,and Operations in Challenging Environments,2010:1634-1643.
  • 2Docherty M O.Object-oriented analysis and design:Understanding system development with UML 2.0[M].Chichester:John Wiley&Sons,2005.
  • 3付茂洺,王悠.可视化UML模型验证环境研究[J].电子科技大学学报,2010,39(2):289-292. 被引量:2
  • 4Zairi S,Zouari B,Niel E.Coloured Petri net model for the formal validation of sensor networks[C]∥1st International Conference on Sensor Networks and Applications(SNA2009),2009:148-153.
  • 5Shareef A,Yifeng Z.Energy modeling of wireless sensor nodes based on Petri nets[C]∥39th International Conference on Parallel Processing,ICPP 2010,2010:101-110.
  • 6Lee K B,Song E Y.Object-oriented application framework for IEEE 1451.1 standard[J].IEEE Transactions on Instrumentation and Measurement,2005,54(4):1527-1533.
  • 7黄国健,刘桂雄,洪晓斌,陈铁群.IEEE 1451网络化智能传感器的通用建模方法及应用[J].光学精密工程,2010,18(8):1914-1921. 被引量:12
  • 8杨玉梅,刁永锋.基于UML顺序图的Petri网建模[J].计算机技术与发展,2007,17(10):130-133. 被引量:12

二级参考文献22

  • 1田丽从,周伯生.UML可视化建模工具中模型一致性检查机制的研究与实现[J].计算机应用与软件,2005,22(1):24-26. 被引量:10
  • 2柯飞帆,宁宣熙.基于Petri网和UML的工作流模型设计[J].南京航空航天大学学报,2006,38(1):121-125. 被引量:6
  • 3汪文元,沙基昌,谭东风.基于Petri网和UML活动图工作流建模比较[J].系统仿真学报,2006,18(2):504-507. 被引量:18
  • 4HEATON L. OMG unified modeling language specification[DB/OL]. [2003-03-01]. http://www.omg.org.
  • 5GRADY B,JAMES R,IVAR J.UML用户指南[M].邵维忠,麻志毅,张文娟,等译.北京:机械工业出版社,2001.
  • 6MELLOR S, BALCER M. Executable UML: a foundation for model-driven architecture[M]. Beijing: Science Press, 2003: 217-225.
  • 7NAYAK R, LEE B. Web service discovery with additional semantic and clustering[C]//Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence. Washington. D C, USA: IEEE Computer Society, 2007: 555-558.
  • 8Object Management Group, Inc. OCL 2.0 Specification[DB/OL]. [2006-05-01 ]. http://www. omg. org/.
  • 9JAMES R,IVAR J,GRADY B.UML参考手册[M].姚淑珍,唐发根,译.北京:机械工业出版社,2001:131-143.
  • 10WARMER J, KLEPPE A. Octopus: OCL tool for precise UML specifications[DB/OL]. [2005-04-01]. http://www.klasse.nl/octopus/index.html.

共引文献23

同被引文献10

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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