Commit 3dc1ca3a authored by Michele Carignani's avatar Michele Carignani
Browse files

replace UE_APP with Dev_App

parent fbda7985
Loading
Loading
Loading
Loading
+19 −19
Original line number Diff line number Diff line
@@ -54,7 +54,7 @@ Package MEC_MEO_UEAPPCTX {
                     ;
                  ;
               ;
               from the UE_APP entity
               from the Dev_App entity
            }
            then {
               // MEC 016, clause 7.4.3.4
@@ -69,7 +69,7 @@ Package MEC_MEO_UEAPPCTX {
                     ;
                  ;
               ;
               to the UE_APP entity
               to the Dev_App entity
            }
         }
   }
@@ -108,14 +108,14 @@ Package MEC_MEO_UEAPPCTX {
                     ;
                  ;
               ;
               from the UE_APP entity
               from the Dev_App entity
            }
            then {
               // MEC 016, clause 7.4.3.4
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bad Request"
               ;
               to the UE_APP entity
               to the Dev_App entity
            }
         }
   }
@@ -137,7 +137,7 @@ Package MEC_MEO_UEAPPCTX {

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appContext containing
         the Dev_App entity having a appContext containing
            contextId indicating value CONTEXT_ID
         ;
      }
@@ -154,14 +154,14 @@ Package MEC_MEO_UEAPPCTX {
                     ;
                  ;
               ;
               from the UE_APP entity
               from the Dev_App entity
            }
            then {
               // MEC 017, clause 7.5.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "204 No Content"
               ;
               to the UE_APP entity
               to the Dev_App entity
            }
         }
   }
@@ -183,7 +183,7 @@ Package MEC_MEO_UEAPPCTX {

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appContext containing
         the Dev_App entity having a appContext containing
            contextId indicating value CONTEXT_ID
         ;
      }
@@ -201,14 +201,14 @@ Package MEC_MEO_UEAPPCTX {
                     ;
                  ;
               ;
               from the UE_APP entity
               from the Dev_App entity
            }
            then {
               // MEC 017, clause 7.5.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bad Request"
               ;
               to the UE_APP entity
               to the Dev_App entity
            }
         }
   }
@@ -230,7 +230,7 @@ Package MEC_MEO_UEAPPCTX {

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity "not" having a appContext containing
         the Dev_App entity "not" having a appContext containing
            contextId indicating value NON_EXISTENT_CONTEXT_ID
         ;
      }
@@ -247,14 +247,14 @@ Package MEC_MEO_UEAPPCTX {
                     ;
                  ;
               ;
               from the UE_APP entity
               from the Dev_App entity
            }
            then {
               // MEC 017, clause 7.5.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
               ;
               to the UE_APP entity
               to the Dev_App entity
            }
         }
   }
@@ -275,7 +275,7 @@ Package MEC_MEO_UEAPPCTX {

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appContext containing
         the Dev_App entity having a appContext containing
            contextId indicating value CONTEXT_ID
         ;
      }
@@ -287,14 +287,14 @@ Package MEC_MEO_UEAPPCTX {
               the IUT entity receives a vDELETE containing
                  uri indicating value "mx2/v2/app_contexts/{CONTEXT_ID}"
               ;
               from the UE_APP entity
               from the Dev_App entity
            }
            then {
               // MEC 016, clause 7.5.3.5
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "204 No Content"
               ;
               to the UE_APP entity
               to the Dev_App entity
            }
         }
   }
@@ -315,7 +315,7 @@ Package MEC_MEO_UEAPPCTX {

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity "not" having a appContext containing
         the Dev_App entity "not" having a appContext containing
            contextId indicating value NON_EXISTENT_CONTEXT_ID
         ;
      }
@@ -327,14 +327,14 @@ Package MEC_MEO_UEAPPCTX {
               the IUT entity receives a vDELETE containing
                  uri indicating value "mx2/v2/app_contexts/{NON_EXISTENT_CONTEXT_ID}"
               ;
               from the UE_APP entity
               from the Dev_App entity
            }
            then {
               // MEC 016, clause 7.5.3.5
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
               ;
               to the UE_APP entity
               to the Dev_App entity
            }
         }
   }
+9 −9
Original line number Diff line number Diff line
@@ -38,7 +38,7 @@ Package MEC_MEO_UEAPPS {

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appInfo containing
         the Dev_App entity having a appInfo containing
            appName indicating value APP_NAME
         ;
      }
@@ -53,7 +53,7 @@ Package MEC_MEO_UEAPPS {
                     appName indicating value APP_NAME
                  ;
               ;
               from the UE_APP entity
               from the Dev_App entity
            }
            then {
               // MEC 016, clause 7.3.3.1
@@ -67,7 +67,7 @@ Package MEC_MEO_UEAPPS {
                     ;
                  ;
               ;
               to the UE_APP entity
               to the Dev_App entity
            }
         }
   }
@@ -88,7 +88,7 @@ Package MEC_MEO_UEAPPS {

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appInfo containing
         the Dev_App entity having a appInfo containing
            appName indicating value APP_NAME
         ;
      }
@@ -105,14 +105,14 @@ Package MEC_MEO_UEAPPS {
                     serviceCont indicating value INVALID_VALUE
                  ;
               ;
               from the UE_APP entity
               from the Dev_App entity
            }
            then {
               // MEC 016, clause 7.3.3.1
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bad Request"
               ;
               to the UE_APP entity
               to the Dev_App entity
            }
         }
   }
@@ -133,7 +133,7 @@ Package MEC_MEO_UEAPPS {

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity "not" having a appInfo containing
         the Dev_App entity "not" having a appInfo containing
            appName indicating value NON_EXISTING_APP_NAME
         ;
      }
@@ -149,14 +149,14 @@ Package MEC_MEO_UEAPPS {
                     appName indicating value NON_EXISTING_APP_NAME
                  ;
               ;
               from the UE_APP entity
               from the Dev_App entity
            }
            then {
               // MEC 016, clause 7.3.3.1
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
               ;
               to the UE_APP entity
               to the Dev_App entity
            }
         }
   }