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

Author: RSingh1511

src/extensions/score_metamodel/metamodel.yaml

@@ -296,6 +296,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: ^.*$
@@ -332,6 +333,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: ^.*$
@@ -441,8 +443,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
@@ -465,8 +465,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
@@ -489,7 +487,6 @@ needs_types:
       status: ^(valid|invalid)$
     optional_links:
       includes: logic_arc_int_op
-      satisfies: feat_req
       fulfils: feat_req
     tags:
       - architecture_element
@@ -598,8 +595,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
@@ -621,8 +616,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
@@ -644,7 +637,6 @@ needs_types:
       status: ^(valid|invalid)$
       language: ^(cpp|rust)$
     optional_links:
-      satisfies: comp_req
       fulfils: comp_req
     tags:
       - architecture_element
@@ -957,6 +949,10 @@ needs_extra_links:
     incoming: has
     outgoing: belongs to
 
+  satisfied_by:
+    incoming: satisfies
+    outgoing: satisfied by
+
   satisfies:
     incoming: satisfied by
     outgoing: satisfies
@@ -1035,7 +1031,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
 
@@ -123,7 +123,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