From 3b7759c7f2c87ba8a34f0b327fc2946dae1c92fd Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Fri, 29 Mar 2024 16:56:03 +0100
Subject: [PATCH] no modif
---
src/main/java/ai/AIDiagramCoherencyWithFormalRules.java | 6 +++---
src/main/java/ui/window/JFrameAI.java | 2 +-
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/main/java/ai/AIDiagramCoherencyWithFormalRules.java b/src/main/java/ai/AIDiagramCoherencyWithFormalRules.java
index 1c67eac1a1..ec725c278d 100644
--- a/src/main/java/ai/AIDiagramCoherencyWithFormalRules.java
+++ b/src/main/java/ai/AIDiagramCoherencyWithFormalRules.java
@@ -60,9 +60,9 @@ public class AIDiagramCoherencyWithFormalRules extends AIInteract {
"{incoherencies: [{ \"diagram\" : \"diagram1 or diagram2\", \"description\": \"description of the incoherency\"}..." +
"]}" +
"#Respect: In a block diagram, the blocks representing actors as defined in the use-case diagram must bear identical names to their " +
- "corresponding use-cases.\n" +
- "#Respect: In a block diagram, blocks representing actors from the use-case diagram must not be connected together.\n" +
- "#Repect: In a block diagram, a block representing an actor from the use-case diagram must be interconnected with at least one block " +
+ "corresponding use cases.\n" +
+ "#Respect: In a block diagram, blocks representing actors from the use case diagram must not be connected together.\n" +
+ "#Repect: In a block diagram, a block representing an actor from the use case diagram must be interconnected with at least one block " +
"that doesn't represent an actor." +
"#Respect: Give any incoherency you can identify concerning the two provided diagrams"
;
diff --git a/src/main/java/ui/window/JFrameAI.java b/src/main/java/ui/window/JFrameAI.java
index 75ea61015a..5af7ffd8b7 100644
--- a/src/main/java/ui/window/JFrameAI.java
+++ b/src/main/java/ui/window/JFrameAI.java
@@ -85,7 +85,7 @@ public class JFrameAI extends JFrame implements ActionListener {
"DEPRECATED - Identify software blocks - Provide a system specification",
"DEPRECATED - Identify state machines - Select a block diagram. Additionally, you can provide a system specification",
"Identify state machines and attributes - Select a block diagram. Additionally, you can provide a system specification",
- "A(I)MULET - Select a block diagram first",
+ "Model mutation - A(I)MULET - Select a block diagram first",
"Diagram coherency",
"Diagram coherency with formal rules",
"Capec tracer - Identify the possible attack patterns that an attacker could use to exploit your system specifications."};
--
GitLab