eclipse配置实践SysML v2工程

已于 2023-09-25 09:59:35 修改
阅读量681 收藏 3
点赞数 1
文章标签： eclipse ide 开发语言
于 2023-06-05 21:49:50 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/c13165736865/article/details/131050863
版权
本文详述了如何在Eclipse中配置SysML v2工程，包括安装Eclipse、SysML插件、PlantUML以及建模项目的步骤。通过导入和构建sysml.library、kerml和sysml项目，用户可以创建和编辑KerML和SysML文件，使用PlantUML视图展示SysML图。同时，解决了安装过程中遇到的JVM版本不兼容问题。
摘要由CSDN通过智能技术生成

SysmMLv2 由 SysML submission team (SST)开发，SST是一个由来自 200 多个行业、学术界和政府组织的 80 多人组成的联合团队，该组织团队提交了两份文档给对象管理组织 OMG 作为针对下一代建模语言 SysML v2 的需求SysML v2 Request for Proposals(RFP)的响应。另请参阅有关 SysML v2 RFP 的博客文章系列。

SST还致力于SysML v2和SysML v2 API&Services的试点实施。SysML v2 规范和试点实现是常规 SysML v2 版本的一部分，可在 GitHub： https://github.com/Systems-Modeling/SysML-v2-Release/releases 上找到，还在不断更新。

已发布的版本中包含两个不同的实现：基于Eclipse 和基于Jupyter 的试点实现。

从GitHub上下载zip文件，文件夹“install”包含了两个子文件夹：eclipse 和 jupyter。其中的 README 自述文件也详细描述了安装实现SysML v2的过程。下面是在eclipse中实现的配置过程。

一、安装Eclipse和插件

1、首先需要安装Eclipse，可以从 eclipse.org/downloads 下载，安装eclipse时选择Eclipse IDE for Java Developers。

2、安装完成后打开eclipse工作台，选择 Help > Install New Software，导航到刚刚下载的 install -> eclipse文件夹中的org.omg.sysml.site.zip 并选择。

3、然后在安装界面里࿰

最低0.47元/天 解锁文章
陈_磊
关注
SysML v2配置eclipse
p_h_o_e_n_i_x的博客
12-22 672
安装插件 1.打开Eclipse 工作台 2.选择Help > Install New Software 3.选择Add…，然后选择Archive… 4.导航到 org.omg.sysml.site.zip 存档并选择它。（可以给它一个名字。）点击 Add…（如果出现问题可能是网不好） 5.在安装界面，选择KerML and SysML Editors，点击Next 6.继续安装，(如果出现Install Anyway，就选择Install Anyway)，安装完成之后，重启Eclipse 安装Pl
Eclipse Papyrus SysML
fltoqq的专栏
03-12 1562
官方网站：https://www.eclipse.org/papyrus/ 支持SysML 1.4标准 SysML 1.1 and 1.4 Eclipse Papyrus provides also a complete support toSysMLin order to enable model-based system engineering. Specific tabula...
SysML-v2-Pilot-Implementation:SysML v2文本符号和可视化的概念验证试验性实现
04-09
SysML v2试验实施原型 该软件是根据GNU通用公共较小许可证授权的。 请参阅文件LICENSE和LICENSE-GPL。 安装说明 开发环境 使用oomph安装 该项目为提供了一个配置文件，从而简化了可重现的开发环境的创建。 从下载Eclipse安装程序。 从下面的URL克隆我们的GitHub存储库。 打开Eclipse Installer并切换到Advanced模式： 在产品列表中，选择产品版本为2020-06的“ Eclipse建模工具”。 在“项目”窗口中，在文本框的右侧，单击“ +”以将Sysml2项目添加为用户项目。 在对话框中，选择目录：Github项目，然后浏览文件系统以从本地git存储库中选择安装文件。 例如， file:/C:/git/sysml/SysML-v2-Pilot-Implementation/org.omg.sysml.installer
Systems Modeling Language (SysML®) v2 Request For Proposal (RFP)
01-20
This RFP specifies the requirements for the next generation of the OMG Systems Modeling Language (OMG SysML® v2) that are intended to address many of the limitations of the current version of OMG SysML® to enable the more effective application of model-based systems engineering (MBSE). In particular, the emphasis for SysML v2 is to improve the precision, expressiveness, interoperability, and the consistency and integration of the language concepts relative to SysML v1. SysML v2 will express the core concepts required to precisely specify a system, its elements, and its environment (i.e., the system model). The language will be specified as both a SysML profile of UML and as a SysML metamodel. A complementary SysML v2 API and Services RFP is intended to further enhance interoperability by specifying standard services to access SysML v2 models. (The specific requirements for this RFP are contained in Section 6.)
SysML-v2-Release:SysML v2的最新每月增量版本。 从这里开始
03-16
OMG系统建模语言:trade_mark:（SysML:registered:）v2版本 存储库包含SysML v2规范文档，示例模型和模型库的最新增量版本。 它还提供了有关用户安装SysML v2 Pilot Implementation编辑器的说明。 有关开发人员的安装，请参见也可以从GitHub上的组织获得的开发存储库。 团队 SysML v2提交团队（SST）由来自70多个行业，学术界和政府组织的160多人组成的联合团队，共同开发对象管理组（OMG）系统建模语言（SysML）的下一个主要版本。 目标是提供由用户社区验证的SysML v2规范，该规范可通过试验实现进行演示，并为SysML v1用户和模型提供平滑的迁移路径。 拟议的SysML v2规范将响应两个提案请求（RFP）提交给OMG，可以从公开获得： 系统建模语言（SysML）v2 RFP（ad / 2017-12-02） 系统建模语言（SysML）v2 API和
SysML-v2 开源项目教程
最新发布
gitblog_01003的博客
08-20 397
SysML-v2 开源项目教程 SysML-v2-ReleaseThe latest incremental release of SysML v2. Start here.项目地址:https://gitcode.com/gh_mirrors/sy/SysML-v2-Release 1. 项目的目录结构及介绍 SysML-v2 项目的目录结构如下： SysML-v2-Release/ ├── ...
[图解]关于SysML v2（1）大刀阔斧 对比 伪创新圈子
rolt的专栏
05-04 880
这是一个历史遗留问题
SysML-Deskbook-Rev2.pdf （Model-Based Systems Engineering with Rhapsody）
03-05
本文档针对系统架构师，软件架构师。使用SysML建模语言。是MBSE实践的优秀工程教程。 学习IBM rhapsody 的好教程。 Hoffmann、Hans-Peter “（Harmony-SE/SysML Deskbook：Model-Based Systems Engineering with Rhapsody）” Telelogic/I-Logix Whitebook
pyMBE:一个用于测试和验证KerML和SysML v2语义的项目
04-03
MB 一个用于测试和验证KerML和SysML v2语义的项目。 运行核心语义和解释模型是任何建模软件的基础功能。 进行设置... 1.克隆此仓库 git clone https://github.com/bjorncole/pymbe.git cd pymbe 2.获取mamba 或坚持使用conda只要按照以下说明将mamba更改为conda 。 如果您有anaconda或miniconda，请安装mamba （它比conda更快，更好）： conda install mamba 如果您没有水anaconda或miniconda ，只需 。 3.获得anaconda-project 如果您没有anaconda-project ，请安装 ： mamba install anaconda-project=0.8.4 4.将mamba配置为默认值 这将使anaconda-pro
最全SysML 教程
Mr_Charly001的博客
07-30 7525
SysML是一种支持复杂系统分析、规范、设计、验证和确认的通用图形化建模语言。这些系统可能包括硬件设备、软件数据、人员、规程、设施，以及其他人造和自然系统元素。SysML能够帮助实现系统的规范定义和架构设计，并定义组件的规范。这些组件可以使用其他领域语言进行设计，比如UML进行软件设计，VHDL进行电气设计，3维几何建模进行机械设计。SysML有助于MBSE方法论的应用，创造一个内聚的、一致的系统模型。 关于SysML介绍，网上有很一些资料，但都很零散，不成系统，下面是模型巴巴提供的最全SysML系列教程
基于ＳｙｓＭＬ的概念设计功能建模方法
09-27
为实现富含语义且语法严谨的功能表示，提出一种扩展于系统建模语言的功能建模方法。
【TTool学习笔记】4：SysML-Sec建模方法(验证和生成)
LauZyHou的笔记
08-25 1209
在学习这节之前要给TTool装配好ProVerif，具体是在TTool/bin/config_*.xml，这里*是linux或者macos或者windows，在里面配置下面的标签。 <ProVerifCodeDirectory data="../proverif/" /> <ProVerifVerifierPath data="../../proverif/proverif.exe" /> <ProVerifVerifierHost data="localhost" />
MBSE Data Interoperability Data Interoperability_Problem Statement, Assessment, and Go Forward Plan
韦恩少爷的博客
08-20 237
学习MBSE Data Interoperability Specification Report（2020）中提到的早期的一篇Problem Statement, Assessment, and Go Forward Plan（2019）
Eclipse Papyrus 插件介绍及使用
TheNew123的博客
03-31 2263
Papyrus是Eclipse的一个插件。它提供了一个集成的、用户可使用的环境，用于编辑任何类型的EMF模型，特别是支持 UML 和相关建模语言，如SysML和 MARTE。
《SysML精粹》学习记录--第三章
zszyejing的博客
03-30 2078
《SysML精粹》学习记录--第三章
初入SysML之模块定义图
digi2020的博客
11-25 1700
如果把系统工程看做一座山，那么基于SysML或UML的各种图就是从不同角度去看这座山所形成的“画”。“横看成岭侧成峰，远近高低各不同”，每幅“画”都能展现出其不同角度的“美”，但又无法完全画出每一棵树、每一朵花。
什么是系统建模语言（SysML）？
Felix's Blog
06-19 5950
SysML(Systems Modeling Language)，系统建模语言，是UML在系统工程应用领域的延续和扩展，是近年提出的系统体系结构设计的多用途建模语言，用于由软硬件、数据和人综合而成的复杂系统的集成体系结构说明、分析、设计及校验。　　SysML定义为UML2.0外廓的通用建模语言，它复用了UML2.0的相对成熟的语义和表示法，并且扩展了UML2.0。SysML既不是一种方法学，也不是...
什么是SysML？
热门推荐
Warren Lynch 的博客
06-24 1万+
OMG系统建模语言™ **（OMGSysML®）**是一种通用图形建模语言，用于指定，分析，设计和验证可能包括硬件，软件，信息，人员，程序和设施的复杂系统。特别是，该语言提供了图形表示，其具有用于建模系统需求，行为，结构和参数的语义基础，用于与其他工程分析模型集成。它代表了 **UML 2的**一个子集 扩展需要满足UML™for Systems Engineering RFP的要求，如...
SysML模型转化成SMV模型
03-29
SysML和SMV是两种不同的建模语言，SysML是一种用于系统工程的图形化建模语言，而SMV是一种用于验证系统的模型检查语言。因此，将SysML模型转换为SMV模型需要进行一系列的转换步骤。 首先，将SysML模型转换为模型检查器可以识别的格式，例如XML或JSON。然后，将转换后的模型输入到SMV模型检查器中进行验证。 在转换过程中，需要考虑SysML模型中的各种元素，如系统、组件、接口、端口、状态机、行为等等，以及它们之间的关系和约束。这些元素需要映射到SMV模型中的相应部分，例如模块、变量、转移关系、状态、约束等等。 另外，需要注意的是，SysML模型通常是针对具体的应用场景进行建模的，而SMV模型则需要考虑所有可能的状态和转移，因此在转换过程中需要对模型进行抽象和简化，以确保模型的可验证性和可行性。 总之，将SysML模型转换为SMV模型需要进行一系列复杂的转换步骤和抽象过程，需要有深厚的建模和验证技术知识和经验。
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值