Revert fulfils to satisfies on arch elements, add satisfied_by for requirements

Author: RSingh1511

src/extensions/score_metamodel/metamodel.yaml

@@ -298,6 +298,7 @@ needs_types:
       derived_from: stkh_req
       satisfies: stkh_req
       belongs_to: feat # for evaluation
+      satisfied_by: feat # new preferred name for belongs_to
     optional_options:
       codelink: ^.*$
       testlink: ^.*$
@@ -338,6 +339,7 @@ needs_types:
       # TODO: make derived_from mandatory once downstream repos migrate from satisfies
       derived_from: feat_req
       satisfies: feat_req
+      satisfied_by: comp # new preferred name for belongs_to
     optional_options:
       codelink: ^.*$
       testlink: ^.*$
@@ -452,8 +454,6 @@ needs_types:
       includes: ^logic_arc_int(_op)*__.+$
       belongs_to: feat # make it mandatory for evaluation
     optional_links:
-      # TODO: make satisfies mandatory once downstream repos migrate from fulfils
-      satisfies: feat_req
       fulfils: feat_req
     tags:
       - architecture_element
@@ -476,8 +476,6 @@ needs_types:
     mandatory_links:
       belongs_to: feat
     optional_links:
-      # TODO: make satisfies mandatory once downstream repos migrate from fulfils
-      satisfies: feat_req
       fulfils: feat_req
     tags:
       - architecture_view
@@ -500,7 +498,6 @@ needs_types:
       status: ^(valid|invalid)$
     optional_links:
       includes: logic_arc_int_op
-      satisfies: feat_req
       fulfils: feat_req
     tags:
       - architecture_element
@@ -609,8 +606,6 @@ needs_types:
       belongs_to: comp
     optional_links:
       uses: logic_arc_int, real_arc_int_op
-      # TODO: make satisfies mandatory once downstream repos migrate from fulfils
-      satisfies: comp_req
       fulfils: comp_req
     tags:
       - architecture_view
@@ -632,8 +627,6 @@ needs_types:
     mandatory_links:
       belongs_to: comp
     optional_links:
-      # TODO: make satisfies mandatory once downstream repos migrate from fulfils
-      satisfies: comp_req
       fulfils: comp_req
     tags:
       - architecture_view
@@ -655,7 +648,6 @@ needs_types:
       status: ^(valid|invalid)$
       language: ^(cpp|rust)$
     optional_links:
-      satisfies: comp_req
       fulfils: comp_req
     tags:
       - architecture_element
@@ -1021,6 +1013,10 @@ needs_extra_links:
     incoming: has
     outgoing: belongs to
 
+  satisfied_by:
+    incoming: satisfies
+    outgoing: satisfied by
+
   satisfies:
     incoming: satisfied by
     outgoing: satisfies
@@ -1099,7 +1095,6 @@ graph_checks:
       include: feat_arc_sta, logic_arc_int, logic_arc_int_op, comp_arc_sta, real_arc_int, real_arc_int_op
       condition: safety == QM
     check:
-      satisfies: safety != QM
       fulfils: safety != QM
     explanation: An QM architecture element cannot implement ASIL requirements.
 

src/extensions/score_metamodel/tests/rst/architecture/architecture_tests.rst

@@ -45,7 +45,7 @@
    :security: YES
    :safety: ASIL_B
    :status: invalid
-   :satisfies: feat_req__test_feature_1__test_req_1
+   :fulfils: feat_req__test_feature_1__test_req_1
    :includes: logic_arc_int__test_feature_1__test_interface_1
 
    .. needarch
@@ -59,7 +59,7 @@
    :security: YES
    :safety: ASIL_B
    :status: invalid
-   :satisfies: feat_req__test_feature_1__test_req_1
+   :fulfils: feat_req__test_feature_1__test_req_1
 
    Put here a sequence diagram
 
@@ -116,7 +116,7 @@ Component 1
    :safety: ASIL_B
    :security: YES
    :status: invalid
-   :satisfies: comp_req__test_component_1__requirement_1
+   :fulfils: comp_req__test_component_1__requirement_1
    :implements: logic_arc_int__test_feature_1__test_interface_1
    :belongs_to: comp__test_sub_component_1