"这篇硕士学位论文主要探讨了SysML(系统建模语言)的建模工具——SysModeler的研究与实现,作者鲍鹏丽在导师马浩海的指导下,针对系统工程的实际需求,提出并实现了SysModeler这一工具,旨在满足系统工程师在系统建模过程中的具体需求。SysML是2003年由国际系统工程学会(INCOSE)和OMG共同推出的,用于复杂系统集成体系结构的说明、分析、设计和验证的语言。SysModeler遵循SysML 1.0规范,提供了一个以系统工程项目为中心的建模环境,包含了系统工程建模所需的完整工具集,提升了系统设计和开发的质量。"
SysML是一种专门用于系统工程的建模语言,它基于UML2.0并进行了扩展和定制,特别适合处理涉及硬件、软件、数据和人的复杂系统。在系统工程的生命周期中,SysML可以用来表达功能性需求和非功能性需求,帮助分析系统的行为和结构。环境图是SysML中用于定义系统范围的一种图形表示,虽然不是SysML的标准图形,但可以通过SysML的模块图来实现,它清晰地展示了系统与外部环境的关系。
在论文中,作者详细介绍了SysModeler的设计背景,即现有UML建模工具无法充分满足SysML的建模需求,因此需要一个专为SysML定制的建模环境。SysModeler的核心功能包括对系统工程项目的文档组织,以及支持各种SysML图表的创建,如需求图、状态机图、包图等,这些图表有助于系统工程师更有效地管理复杂系统。
SysModeler的实现涉及到对GEF(Graphical Editing Framework)工作原理的理解,GEF是Eclipse平台上用于图形编辑的框架。通过理解GEF,可以设计出符合SysML语义的图形用户界面和交互逻辑。此外,论文还讨论了SysModeler的应用场景,包括系统分析、设计和验证等环节,并对工具的未来改进提出了建议。
关键词:SysML、UML、建模工具、模型
该资源详细阐述了SysML的语义和表示法,以及SysModeler作为SysML建模工具的重要性和实际应用价值,对于理解和实践系统工程建模具有重要的参考意义。