问题标签 [sysml]

我必须对初始化的顺序进行建模。在这个序列中，一个模块 A 必须设置模块 B 的全局变量。

那么如何在 UML 中对此进行建模。

由于没有消息或事件，我无法绘制从模块 A 到模块 B 的箭头。

我的想法是在模块 A 的生命线旁边设置注释或标签，以设置模块 B 的全局变量。

但这感觉并不真正“干净”。

我想将服务描述为带有端口和接口的组件。通过描述应该清楚地知道提供了哪些功能以及如何使用它们。

据我了解，我可以使用这种表示法键入端口<name>:<type>，其中类型可以由接口块指定？或者使用“棒棒糖”，其中接口类型由“棒棒糖”的名称指定？

现在，我想看看接口/端口使用什么应用程序或传输协议，以了解如何连接它。但我不知道这样做的最佳方法是什么。我想了两个办法。

首先：通过端口类型指定协议（此处为 TCP/IP），通过“棒棒糖”表示法指定接口（提供的信息）。

第二：指定传输/应用协议作为应用特定接口的基础接口。

我真的不知道这是否有意义，或者是否有更好的方式来描述它。请告诉我。

编辑：

根据 qwerty_so 的回答，我了解到从协议中泛化接口是错误的。但是要表示使用的协议，应该由端口类型指定吗？基于此，我对两个组件进行了另一种表示（这次是在 UML 中，我希望它不会引起任何混淆）。每个组件通过不同的端口提供相同的接口。基本上它与第一个符号相同，通过realize从棒棒糖到接口的关系进行扩展。第一个组件使用基本协议TCP/IP和第二个gRPC协议以实现Interface1.

具有不同端口类型和相同接口的两个组件

这是表示接口及其通过特定协议实现的更准确的方式吗？

关系是否realize必要，因为接口名称不应该清楚吗？

我有一个父块（称为块 1），它有一个属性。让我们称之为电压输入。该块上的属性保持为空。第二个块是块 1 的子块（称为块 2）并继承属性 VoltageIn。在这里我想给出一个值（VoltageIn = 230V）。第三块（块 3）是块 2 的子块，因此它继承属性 VoltageIn = 230V。

现在，我的问题是如何使用 SysML 来处理这个问题？

想象以下场景：

哪个图表适合活动或序列或任何其他？这种情况的任何例子？

我考虑过制作一个新的需求原型，我可以为其制作阈值和客观属性。就捕获需求而言，这很好，但是在尝试进行验证时会变得很难看。我开始认为必须将它们作为单独的需求来捕获，这在进行可追溯性、满意度和验证时也可能很难看。

比如我的要求是“系统不超过100kg.(T)”和“系统不超过80kg.(O)”

在制定测试计划并显示已满足哪个要求时，跟踪此（或类似陈述的要求）变得“丑陋”。如果满足（O），那么显然（T）也是。但是，即使 (O) 的验证可能失败，系统仍然会通过测试。携带一些未满足的要求（O）也许是标准的。我对这种建模方法很陌生——所以只是好奇。我想知道那里是否已经有最佳实践。我一直在寻找并没有找到任何可以解决这个问题的东西。

我正在寻找一种将 SysML (UML) 模型导入 Neo4J 的方法。我正在使用 Xpath 来提取它们之间的元素和关系。有没有一种从 XML/XML 文件中导出结构化元素的好方法，以便可以将它们转换为简单的 CSV 文件并导入到图形数据库中？

我想知道关于在用例、测试用例和需求之间使用满足/验证链接的 SysML 需求图中允许什么（或者至少是最佳实践是什么）。

据我了解，一般来说，一个用例<<满足>>一个要求，一个测试用例<<验证>>它。

一个用例是否有可能<<验证>>一个需求？

我发现不同的消息来源对此事发表了相互矛盾的陈述。

对于经典的闹钟示例，使用：

Req1：在选定的时间被唤醒。

用例1：设置闹钟时间和无线电频率。

测试1：假设有一个 101.5FM 的电台并且时间设置正确，当我设置闹钟未来时间并将频率设置为 101.5FM 时，我将在给定时间收听电台。

那么正确和/或最好的图表是什么？

(UseCase1) -- 满足 --> [Req1] , [TestCase1] -- 验证 --> [Req1]

或者

(UseCase1) -- 满足 --> [Req1] , [TestCase1] -- 验证 --> (UseCase1)

或者

(UseCase1) -- 验证 --> [Req1] , [TestCase1] -- 验证 --> [Req1]

感谢您的任何澄清！

我目前正在使用 IBD 和 BDD 从 Cameo Systems Modeler 19.0 工作。

我目前正在建模的系统涉及一个由两个子组件（:first、:second）组成的组件（:Parent），并且我已经在我的主要 BDD 中建立了同样多的内容。每个 :Parent 由 1 个唯一的 :first 和 1 个唯一的 :second 组成。已经建立了从 :Parent 到 :first 和 :Parent 到 :second 的 1 对 1 组合关系。

在系统上下文中使用了这个主要组件的多个实例 - 在系统的 ibd 上，我可以根据需要实例化尽可能多的 :Parent 类（即 Parent 1：Parent，Parent 2：Parent，父母 3：父母等）

我的问题是，当我显示每个父实例组成的部分时（以显示每个 :Parent 由一个唯一的 :first 和 :second 实例组成），每个嵌套类都显示为同一个实例。对 Parent 1 上的 :first 和 :second 子项的更改：Parent 将相同的更改应用于 :Parent 的所有实例。

我想将这些嵌套块实例化为它们的父级所独有的 - 到目前为止，我让它工作的唯一方法就是简单地定义冗余块并根据需要显示它们，但我觉得必须有一些东西我错过了这将允许我为每个父实例实例化单独的子引用。

嗨 EA SysML 专家，

1. 我创建了一个 BDD，它有一个块；调用块 B1。我给 B1 两个端口。
2. 我创建了一个 IBD 图。
3. 我将块 B1（从项目浏览器）拖到 IBD 图表上。它与两个端口一起出现。
4. 后来我决定我需要 B1 上的第三个端口。所以我回到 BDD 图并添加第三个端口。
5. 然后我查看 IBD 并期望它现在有 3 个端口。它不是。

问题：为什么 IBD 图表现在仍然只有 2 个端口而不是 3 个端口？

我是 UML 和 SysML 的新手，我正在使用 Cameo Systems Modeler。我的问题是关于活动图。

我的计划是在一个实例中使用我在“插槽”下指定的值来做出以下决定。我将一个属性“测试”指定为整数类型。它的值为 7。我将实例拖到我的活动图上，其中它显示为带有一个输出引脚的值规范。我想在以下决定中使用值 7：例如两个活动边缘：test<4 或 test>4？）。我尝试将输出引脚命名为“test”并通过对象流将其与决策节点连接（值规范节点也通过控制流连接到该节点。）。不幸的是，它不能以这种方式工作。

我希望你能帮助我。提前致谢！