From 582ca482b88d4bfa51bc6ad3b102bee336397fb2 Mon Sep 17 00:00:00 2001
From: franksn90 <s.frankausowen@googlemail.com>
Date: Wed, 4 Sep 2024 07:47:23 +0200
Subject: [PATCH 1/4] Change refinement logo

---
 components/Scenario.vue | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/components/Scenario.vue b/components/Scenario.vue
index 60d1902..39238f4 100644
--- a/components/Scenario.vue
+++ b/components/Scenario.vue
@@ -500,7 +500,7 @@ export default {
                               </div>
                               <div class="container-row-element">
                                 <UTooltip text="Refine Response">
-                                  <UButton class="mr-1" icon="i-heroicons-arrow-path" square size="xs"
+                                  <UButton class="mr-1" icon="i-heroicons-adjustments-horizontal" square size="xs"
                                            @click="toRefinement(scenario.simulationID, index, resultName, true);"></UButton>
                                 </UTooltip>
                               </div>
@@ -594,7 +594,7 @@ export default {
                               </div>
                               <div class="container-row-element">
                                 <UTooltip text="Refine Response">
-                                  <UButton class="mr-1" icon="i-heroicons-arrow-path" square size="xs"
+                                  <UButton class="mr-1" icon="i-heroicons-adjustments-horizontal" square size="xs"
                                            @click="toRefinement(scenario.simulationID, index, resultName, false);"></UButton>
                                 </UTooltip>
                               </div>

From 345a18fa60dd1364fc8c762c8cf570dc567f9beb Mon Sep 17 00:00:00 2001
From: franksn90 <s.frankausowen@googlemail.com>
Date: Wed, 4 Sep 2024 08:50:52 +0200
Subject: [PATCH 2/4] Add tooltips to buttons and icons

---
 components/Scenario.vue  | 113 +++++++++++++++++++++++++++------------
 components/Scenarios.vue |  92 +++++++++++++++++++++----------
 components/Status.vue    |   4 +-
 3 files changed, 146 insertions(+), 63 deletions(-)

diff --git a/components/Scenario.vue b/components/Scenario.vue
index 39238f4..f35da96 100644
--- a/components/Scenario.vue
+++ b/components/Scenario.vue
@@ -175,12 +175,18 @@ export default {
       </div>
 
       <div class="center mt-2 mb-2">
-        <UButton class="mr-1" icon="i-heroicons-pencil-square-16-solid" square size="xs" color="blue"
-                 @click="toScenarioEditor(scenario.simulationID);"></UButton>
-        <UButton class="mr-1" icon="i-heroicons-cloud-arrow-down-16-solid" square size="xs" color="blue"
-                 @click="downloadJSON(scenario.simulationID);"></UButton>
-        <UButton class="mr-1" icon="i-heroicons-trash-16-solid" square size="xs" color="red"
-                 @click="removeScenario(scenario.simulationID);"></UButton>
+        <UTooltip text="Edit Scenario">
+          <UButton class="mr-1" icon="i-heroicons-pencil-square-16-solid" square size="xs" color="blue"
+                   @click="toScenarioEditor(scenario.simulationID);"></UButton>
+        </UTooltip>
+        <UTooltip text="Download Scenario">
+          <UButton class="mr-1" icon="i-heroicons-cloud-arrow-down-16-solid" square size="xs" color="blue"
+                   @click="downloadJSON(scenario.simulationID);"></UButton>
+        </UTooltip>
+        <UTooltip text="Delete Scenario">
+          <UButton class="mr-1" icon="i-heroicons-trash-16-solid" square size="xs" color="red"
+                   @click="removeScenario(scenario.simulationID);"></UButton>
+        </UTooltip>
       </div>
     </div>
 
@@ -221,10 +227,18 @@ export default {
                 <div class="container-row">
                   <div class="container-row-element-xxs">
                     {{ index + 1 }}.
-                    <UButton class="ml-2" square v-if="!stimulus.showDetails" color="gray" size="2xs"
-                             icon="i-heroicons-chevron-down" @click="toggleDetails(stimulus)"></UButton>
-                    <UButton class="ml-2" square v-if="stimulus.showDetails" color="gray" size="2xs"
-                             icon="i-heroicons-chevron-up" @click="toggleDetails(stimulus)"></UButton>
+                    <span v-if="!stimulus.showDetails">
+                    <UTooltip text="Show Specification Details">
+                      <UButton class="ml-2" square color="gray" size="2xs"
+                               icon="i-heroicons-chevron-down" @click="toggleDetails(stimulus)"></UButton>
+                    </UTooltip>
+                    </span>
+                    <span v-if="stimulus.showDetails">
+                    <UTooltip text="Hide Specification Details">
+                      <UButton class="ml-2" square color="gray" size="2xs"
+                               icon="i-heroicons-chevron-up" @click="toggleDetails(stimulus)"></UButton>
+                    </UTooltip>
+                    </span>
                   </div>
                   <div class="container-row-element">
                     <strong>{{ stimulus.SSEL }}</strong>
@@ -270,10 +284,18 @@ export default {
                 <div class="container-row">
                   <div class="container-row-element-xxs">
                     {{ index + 1 }}.
-                    <UButton class="ml-2" square v-if="!response.showDetails" color="gray" size="2xs"
-                             icon="i-heroicons-chevron-down" @click="toggleDetails(response)"></UButton>
-                    <UButton class="ml-2" square v-if="response.showDetails" color="gray" size="2xs"
-                             icon="i-heroicons-chevron-up" @click="toggleDetails(response)"></UButton>
+                    <span v-if="!response.showDetails">
+                    <UTooltip text="Show Specification Details">
+                      <UButton class="ml-2" square color="gray" size="2xs"
+                               icon="i-heroicons-chevron-down" @click="toggleDetails(response)"></UButton>
+                    </UTooltip>
+                    </span>
+                    <span v-if="response.showDetails">
+                    <UTooltip text="Hide Specification Details">
+                      <UButton class="ml-2" square color="gray" size="2xs"
+                               icon="i-heroicons-chevron-up" @click="toggleDetails(response)"></UButton>
+                    </UTooltip>
+                    </span>
                   </div>
                   <div class="container-row-element">
                     <strong>{{ response.SSEL }}</strong>
@@ -402,14 +424,23 @@ export default {
                     <span>{{ index + 1 }}.</span>
                   </div>
                    <div class="container-row-element">
-                    <span> <Icon name="heroicons:globe-alt-20-solid" size="1.3em" class="mb-1 mr-1"></Icon>{{
-                        getSimulationVerificationResultsPerResponse(this.result, index)
-                      }}</span>
+                    <span>
+                      <UTooltip text="Simulation Results">
+                        <Icon name="heroicons:globe-alt-20-solid" size="1.3em" class="mb-1 mr-1"/>{{
+                          getSimulationVerificationResultsPerResponse(this.result, index)
+                        }}
+                      </UTooltip>
+                    </span>
+
                   </div>
                   <div class="container-row-element">
-                    <span> <Icon name="heroicons:chart-bar-16-solid" size="1.3em" class="mb-1 mr-1"></Icon>{{
-                        getSearchVerificationResultsPerResponse(this.result, index)
-                      }}</span>
+                    <span>
+                      <UTooltip text="Monitoring Results">
+ <Icon name="heroicons:chart-bar-16-solid" size="1.3em" class="mb-1 mr-1"/>{{
+                          getSearchVerificationResultsPerResponse(this.result, index)
+                        }}
+                    </UTooltip>
+                    </span>
                   </div>
                   </div>
                   </div>
@@ -436,16 +467,22 @@ export default {
             </div>
             <div v-if="result !== null">
               <UDivider label="Actions" class="mb-1"/>
-              <UButton class="mr-1" icon="i-heroicons-globe-alt-20-solid" square size="xs" color="blue"
-                       @click="initiateSimulation(scenario)"></UButton>
-              <UButton class="mr-1" icon="i-heroicons-check-16-solid"
-                       :class="{ 'blue-glowing-button' : isSimulationVerificationRequired(scenario.simulationID)}"
-                       square
-                       size="xs"
-                       color="blue"
-                       @click="verifyScenario(scenario)"></UButton>
-              <UButton class="mr-1" icon="i-heroicons-trash-16-solid" square size="xs" color="red"
-                       @click="deleteAllSimulationResultAndUpdate(scenario.simulationID);"></UButton>
+              <UTooltip text="Start Simulation">
+                <UButton class="mr-1" icon="i-heroicons-globe-alt-20-solid" square size="xs" color="blue"
+                         @click="initiateSimulation(scenario)"></UButton>
+              </UTooltip>
+              <UTooltip text="Check Simulation Results">
+                <UButton class="mr-1" icon="i-heroicons-check-16-solid"
+                         :class="{ 'blue-glowing-button' : isSimulationVerificationRequired(scenario.simulationID)}"
+                         square
+                         size="xs"
+                         color="blue"
+                         @click="verifyScenario(scenario)"></UButton>
+              </UTooltip>
+              <UTooltip text="Delete All Simulation Executions">
+                <UButton class="mr-1" icon="i-heroicons-trash-16-solid" square size="xs" color="red"
+                         @click="deleteAllSimulationResultAndUpdate(scenario.simulationID);"></UButton>
+              </UTooltip>
 
               <UDivider label="Executions" class="mt-2 mb-2"/>
               <div v-for="(resultName,resultIndex) in result.simulationNames">
@@ -464,8 +501,10 @@ export default {
                     </div>
                     <div class="container-element-xs w-full">
                       <div class="float-right mt-1">
-                        <UButton class="mr-1" icon="i-heroicons-trash-16-solid" square size="xs" color="red"
-                                 @click="deleteResultAndUpdate('simulation', scenario.simulationID, resultName, resultIndex);"></UButton>
+                        <UTooltip text="Delete Simulation Execution">
+                          <UButton class="mr-1" icon="i-heroicons-trash-16-solid" square size="xs" color="red"
+                                   @click="deleteResultAndUpdate('simulation', scenario.simulationID, resultName, resultIndex);"></UButton>
+                        </UTooltip>
                       </div>
                     </div>
                   </div>
@@ -531,15 +570,21 @@ export default {
             </div>
             <div v-if="result !== null">
               <UDivider label="Actions" class="mb-1"/>
+              <UTooltip text="Start Monitoring Search">
               <UButton class="mr-1" icon="i-heroicons-chart-bar-16-solid" square size="xs" color="blue"
                        @click="initiateSearch(scenario)"></UButton>
+              </UTooltip>
+              <UTooltip text="Check Monitoring Search Results">
               <UButton class="mr-1" icon="i-heroicons-check-16-solid"
                        :class="{ 'blue-glowing-button' : isSearchVerificationRequired(scenario.simulationID)}" square
                        size="xs"
                        color="blue"
                        @click="verifySearch(scenario)"></UButton>
+              </UTooltip>
+              <UTooltip text="Delete All Monitoring Executions">
               <UButton class="mr-1" icon="i-heroicons-trash-16-solid" square size="xs" color="red"
                        @click="deleteAllSearchResultAndUpdate(scenario.simulationID);"></UButton>
+              </UTooltip>
 
               <UDivider label="Executions" class="mt-2 mb-2"/>
               <div v-for="(resultName,resultIndex) in result.searchNames">
@@ -558,8 +603,10 @@ export default {
                     </div>
                     <div class="container-element-xs w-full">
                       <div class="float-right mt-1">
+                        <UTooltip text="Delete Monitoring Execution">
                         <UButton class="mr-1" icon="i-heroicons-trash-16-solid" square size="xs" color="red"
                                  @click="deleteResultAndUpdate('search', scenario.simulationID, resultName, resultIndex);"></UButton>
+                        </UTooltip>
                       </div>
                     </div>
                   </div>
@@ -621,7 +668,7 @@ export default {
   </div>
 
   <div class="mt-4 mb-4">
-    <UButton @click="toScenariosOverview()">Complete</UButton>
+    <UButton @click="toScenariosOverview()">Leave</UButton>
   </div>
 </template>
 
diff --git a/components/Scenarios.vue b/components/Scenarios.vue
index 796a18b..6269346 100644
--- a/components/Scenarios.vue
+++ b/components/Scenarios.vue
@@ -270,14 +270,22 @@ export default {
 
               <!-- Stimuli Counter -->
               <div class="container-row-element-xs">
+                <UTooltip text="Stimulus Count">
+                <span>
                 <Icon name="icon-park-solid:lightning" color="red"/>
                 {{ scenario.stimuli.length }}
+                </span>
+                </UTooltip>
               </div>
 
               <!-- Response Counter -->
               <div class="container-row-element-xs">
-                <Icon name="material-symbols:ecg-heart" color="purple"/>
-                {{ scenario.responses.length }}
+                <UTooltip text="Response Count">
+                <span>
+                  <Icon name="material-symbols:ecg-heart" color="purple"/>
+                  {{ scenario.responses.length }}
+                </span>
+                </UTooltip>
               </div>
 
               <!-- ID -->
@@ -288,15 +296,23 @@ export default {
               <!-- Buttons -->
               <div class="container-row-element-s">
                 <div class="float-right">
-                  <UButton class="mr-1" icon="i-heroicons-pencil-square-16-solid" square size="xs" color="blue"
-                           @click="toScenarioEditor(scenario.simulationID);"></UButton>
-                  <UButton class="mr-1" icon="i-heroicons-document-magnifying-glass-16-solid" square size="xs"
-                           color="blue"
-                           @click="toScenarioDetails(scenario.simulationID)"></UButton>
-                  <UButton class="mr-1" icon="i-heroicons-cloud-arrow-down-16-solid" square size="xs" color="blue"
-                           @click="downloadJSON(scenario.simulationID);"></UButton>
-                  <UButton class="mr-1" icon="i-heroicons-trash-16-solid" square size="xs" color="red"
-                           @click="removeScenario(scenario.simulationID);"></UButton>
+                  <UTooltip text="Edit Scenario">
+                    <UButton class="mr-1" icon="i-heroicons-pencil-square-16-solid" square size="xs" color="blue"
+                             @click="toScenarioEditor(scenario.simulationID);"></UButton>
+                  </UTooltip>
+                  <UTooltip text="Show Scenario Details">
+                    <UButton class="mr-1" icon="i-heroicons-document-magnifying-glass-16-solid" square size="xs"
+                             color="blue"
+                             @click="toScenarioDetails(scenario.simulationID)"></UButton>
+                  </UTooltip>
+                  <UTooltip text="Download Scenario">
+                    <UButton class="mr-1" icon="i-heroicons-cloud-arrow-down-16-solid" square size="xs" color="blue"
+                             @click="downloadJSON(scenario.simulationID);"></UButton>
+                  </UTooltip>
+                  <UTooltip text="Delete Scenario">
+                    <UButton class="mr-1" icon="i-heroicons-trash-16-solid" square size="xs" color="red"
+                             @click="removeScenario(scenario.simulationID);"></UButton>
+                  </UTooltip>
                 </div>
               </div>
             </div>
@@ -388,14 +404,18 @@ export default {
                     <span>{{ index + 1 }}.</span>
                   </div>
                    <div class="container-row-element">
+                     <UTooltip text="Response Satisfaction for Simulation">
                     <span> <Icon name="heroicons:globe-alt-20-solid" size="1.3em" class="mb-1 mr-1"></Icon>{{
                         getSimulationVerificationResultsPerResponse(this.findResults(scenario.simulationID), index)
                       }}</span>
+                     </UTooltip>
                   </div>
                   <div class="container-row-element">
+                    <UTooltip text="Response Satisfaction for Monitoring">
                     <span> <Icon name="heroicons:chart-bar-16-solid" size="1.3em" class="mb-1 mr-1"></Icon>{{
                         getSearchVerificationResultsPerResponse(this.findResults(scenario.simulationID), index)
                       }}</span>
+                    </UTooltip>
                   </div>
 
                   </div>
@@ -478,21 +498,27 @@ export default {
             <div class="container-row ">
               <div class="container-row-element-s pt-2 pb-1"
                    :style="{ 'background-color': getResilienceScoreColor(this.findResults(scenario.simulationID))}">
-                    <span>
+                <UTooltip text="Scenario's Resilience Score">
+                  <span>
                   {{ getResilienceScore(this.findResults(scenario.simulationID)) }}
-                    </span>
+                  </span>
+                </UTooltip>
               </div>
 
               <div class="container-row-element-s pt-2 pb-1">
-                    <span> <Icon name="heroicons:globe-alt-20-solid" size="1.3em" class="mb-1 mr-1"></Icon>{{
+                <UTooltip text="Full Response Satisfaction for Simulation">
+                    <span> <Icon name="heroicons:globe-alt-20-solid" size="1.3em" class="mb-1 mr-1"/>{{
                         getSimulationVerificationResultsPerScenario(this.findResults(scenario.simulationID))
                       }}</span>
+                </UTooltip>
               </div>
 
               <div class="container-row-element-s pt-2 pb-1">
-                    <span> <Icon name="heroicons:chart-bar-16-solid" size="1.3em" class="mb-1 mr-1"></Icon>{{
+                <UTooltip text="Full Response Satisfaction for Monitoring">
+                    <span> <Icon name="heroicons:chart-bar-16-solid" size="1.3em" class="mb-1 mr-1"/>{{
                         getSearchVerificationResultsPerScenario(this.findResults(scenario.simulationID))
                       }}</span>
+                </UTooltip>
               </div>
 
               <div class="container-row-element pt-1 pb-1">
@@ -544,20 +570,28 @@ export default {
 
               <div class="container-row-element-s pt-1 pb-1">
 <span class="float-right">
-  <UButton class="mr-1" icon="i-heroicons-globe-alt-20-solid" square size="xs" color="blue"
-           @click="initiateSimulation(scenario)"></UButton>
-  <UButton class="mr-1" icon="i-heroicons-check-16-solid"
-           :class="{ 'blue-glowing-button' : isSimulationVerificationRequired(scenario.simulationID)}" square
-           size="xs"
-           color="blue"
-           @click="verifyScenario(scenario)"></UButton>
-  <UButton class="mr-1" icon="i-heroicons-chart-bar-16-solid" square size="xs" color="blue"
-           @click="initiateSearch(scenario)"></UButton>
-  <UButton class="mr-1" icon="i-heroicons-check-16-solid"
-           :class="{ 'blue-glowing-button' : isSearchVerificationRequired(scenario.simulationID)}" square
-           size="xs"
-           color="blue"
-           @click="verifySearch(scenario)"></UButton>
+  <UTooltip text="Start Simulation">
+    <UButton class="mr-1" icon="i-heroicons-globe-alt-20-solid" square size="xs" color="blue"
+             @click="initiateSimulation(scenario)"/>
+  </UTooltip>
+  <UTooltip text="Check Simulation Results">
+    <UButton class="mr-1" icon="i-heroicons-check-16-solid"
+             :class="{ 'blue-glowing-button' : isSimulationVerificationRequired(scenario.simulationID)}" square
+             size="xs"
+             color="blue"
+             @click="verifyScenario(scenario)"/>
+  </UTooltip>
+  <UTooltip text="Start Monitoring Search">
+    <UButton class="mr-1" icon="i-heroicons-chart-bar-16-solid" square size="xs" color="blue"
+             @click="initiateSearch(scenario)"/>
+  </UTooltip>
+  <UTooltip text="Check Monitoring Search Results">
+    <UButton class="mr-1" icon="i-heroicons-check-16-solid"
+             :class="{ 'blue-glowing-button' : isSearchVerificationRequired(scenario.simulationID)}" square
+             size="xs"
+             color="blue"
+             @click="verifySearch(scenario)"/>
+   </UTooltip>
 </span>
               </div>
             </div>
diff --git a/components/Status.vue b/components/Status.vue
index 7116318..ef28ac0 100644
--- a/components/Status.vue
+++ b/components/Status.vue
@@ -42,12 +42,14 @@ export default {
       <h1 class="text-2xl">Dependencies Status Information
         <UTooltip text="">
           <template #text>
-            <span> Shows if required dependencies are available </span>
+            <span> Shows whether required dependencies are available</span>
           </template>
           <Icon name="i-material-symbols-info-outline-rounded" class="text-lg"></Icon>
         </UTooltip>
+        <UTooltip text="Update Tool Status">
         <UButton class="ml-2" icon="i-heroicons-arrow-path-solid" square size="xs"
                  @click="localUpdateServiceState()"></UButton>
+        </UTooltip>
       </h1>
       <div class="flex flex-row space-x-2 mt-2">
         <UTooltip text="Stores scenarios and analysis results">

From 7581c04c8b62b1ad1c37f82ced6f5ca6e518122c Mon Sep 17 00:00:00 2001
From: franksn90 <s.frankausowen@googlemail.com>
Date: Wed, 4 Sep 2024 17:26:16 +0200
Subject: [PATCH 3/4] Fix predicate verification is not starting initially

---
 docker-compose.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker-compose.yml b/docker-compose.yml
index 91d68d3..ea2403e 100644
--- a/docker-compose.yml
+++ b/docker-compose.yml
@@ -25,7 +25,7 @@ services:
     pull_policy: always
 
   tqproprefiner:
-    image: ghcr.io/cambio-project/transient-behavior-requirement-refiner:1.0.1
+    image: ghcr.io/cambio-project/transient-behavior-requirement-refiner:1.0.3
     container_name: tqproprefiner
     ports:
       - 8082:80

From 4d84a07a02c196894dee05bc0f70f851ebd2ce9e Mon Sep 17 00:00:00 2001
From: franksn90 <s.frankausowen@googlemail.com>
Date: Wed, 4 Sep 2024 17:28:45 +0200
Subject: [PATCH 4/4] Update to new version

---
 docker-compose.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker-compose.yml b/docker-compose.yml
index ea2403e..f0355a4 100644
--- a/docker-compose.yml
+++ b/docker-compose.yml
@@ -2,7 +2,7 @@ name: "dashboard-project"
 
 services:
   dashboard:
-    image: ghcr.io/cambio-project/dispel-cockpit:1.2.2
+    image: ghcr.io/cambio-project/dispel-cockpit:1.2.3
     container_name: dashboard
     ports:
       - 8080:3000