期刊文献+

基于SysML的船厂堆场作业系统建模与仿真 被引量:1

SysML-based modeling and simulation for stockyard operation system in shipyard
下载PDF
导出
摘要 研究了基于系统建模语言SysML的船厂堆场作业系统建模及仿真实现问题。首先基于SysML的系统建模方法建立了堆场作业系统的系统需求、结构及行为模型;然后利用仿真系统ARENA解决SysML模型的实现问题,并设计了从SysML模型到ARENA模型的转换方法。实例验证结果表明,SysML在系统建模方面具有良好的表达性,利用ARENA对SysML模型进行仿真实现是可行的。 This paper took a research on SysML-based modeling and simulation for the stockyard operation system in a shipyard. First of all,using SysML-based modeling method,built the system’s model in terms of system requirement,structure, behavior. Then,proposed simulation system ARENA to solve the execution of SysML model,designed and models transformation method from SysML model to ARENA model. The instance experiment results show that,SysML is expressive in terms of system modeling,and it’s feasible with ARENA simulation to realize SysML model.
作者 金淳 李雪
出处 《计算机应用研究》 CSCD 北大核心 2010年第10期3779-3782,共4页 Application Research of Computers
基金 国家教育部留学回国人员科研启动基金资助项目(教外司留[2005]383号文件)
关键词 船厂堆场作业系统 系统建模 SYSML 仿真 ARENA stockyard operation system in shipyard system modeling SysML simulation ARENA
  • 相关文献

参考文献7

二级参考文献41

  • 1吴娟,王明哲.DoDAF产品集的SySML模型支持[J].兵工自动化,2006,25(2):13-15. 被引量:8
  • 2吴娟,王明哲,方华京.基于SysML的系统体系结构产品设计[J].系统工程与电子技术,2006,28(4):594-598. 被引量:21
  • 3蒋彩云,王维平,李群.SysML:一种新的系统建模语言[J].系统仿真学报,2006,18(6):1483-1487. 被引量:39
  • 4方绍强,陈伟朋,卫克,杜世伟.基于HLA的航空兵场站飞行保障视景仿真系统设计[J].空军工程大学学报(自然科学版),2007,8(1):7-10. 被引量:5
  • 5Yen-Ping Leow-Sehwail, Ricki G Insalls. Qualitative discrete event simulation[C]//Proceedings of the 2005 Winter.
  • 6Misra J. Distributed discrete-event simulation[J]. Computing Surveys, 18(1):39-65.
  • 7Kelton W D, Sedowski R P, Sturrock D T. Simulation with Arena,3rd ed[M]. New York:McGraw-Hill,2003.
  • 8Deborah Sadowski, Vivek Bapat. The arena product family: Enterprise modding solutions[C]//Proceedings of the 1999 Winter Simulation Conference: 163- 169.
  • 9Object Management Group. OMG SysML specification[EB/ OL]. [2008-04-06]. http://www.sysml.org/docs/specs/OMGSysML-PAS-07-02 03. pdf.
  • 10FRIEDENTHAL S. INCOSE evaluation., systems modeling language (SysML) [EB/OL]. [2008-03-06]. http://syseng. omg. org/SysML. htm.

共引文献75

同被引文献13

  • 1吴娟,王明哲,方华京.基于SysML的系统体系结构产品设计[J].系统工程与电子技术,2006,28(4):594-598. 被引量:21
  • 2OMG.SysML-v1.2-PDF.pdf[EB/OL].[2010-06-01].http://www.omg.org/spec/SysML/1.2/.
  • 3Andrade E,Maciel P,Callou G,et al.A methodology for mapping SysML activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints[C]//Third International Conference on Digital Society.IEEE,2009:266-271.
  • 4Ouchani S,Mohamed O A,Debbabi M.A property-based abstraction framework for SysML activity diagrams[J].Know ledge-Based Systems,2014,56(1):328-343.
  • 5Jarraya Y,Debbabi M,Bentahar J.On the meaning of SysML activity diagrams[C]//Proceedings of the 16th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems.Piscataway:IEEE,2009:95-105.
  • 6Li Jing,Li Jinhua,Zhang Fangning.Model checking UML activity diagrams with SPIN[C]//Proceedings of the International Conference on Computational Intelligence and Software Engineering.Piscataway:IEEE,2009:1-4.
  • 7Yamada Y,Wasaki K.Automatic generation of SPIN model checking code from UML activity diagram and its application to Web application design[C]//Proceedings of the 7th International Conference on Digital Content,Multimedia Technology and Its Applications.Piscataway:IEEE,2011:139-144.
  • 8Kwiatkowska M,Norman G,Parker D.PRISM 4.0:Verification of probabilistic real-time systems[G].LNCS 6806:Computer Aided Verification,2011:585-591.
  • 9Baier C,Baier C.Principles of model checking[M].Principles of Model Checking.The MIT Press,2008.
  • 10周春燕,李绪蓉,周良.UML活动图模型正确性诊断方法[J].计算机工程,2011,37(14):47-49. 被引量:3

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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