Commit 19575a81 authored by Michele Carignani's avatar Michele Carignani
Browse files

Merge branch 'ferreiraf-mec_011' into M1

parents ee203798 20e0fea3

Test Purposes/MEC011/mec-011-common-data.tplan2

+25 −12
Original line number Diff line number Diff line
@@ -5,10 +5,23 @@ Package MEC_011_DATA { 
      type JSON;

      type string with s of type STRING;

      

		STRING "application/json;charset=utf-8";

		string CONTENT_JSON containing s set to "application/json;charset=utf-8"; 

      JSON valid_serviceInfo_list; // As specified in MEC 011, clause 6.2.2

      JSON valid_serviceInfo; // As specified in MEC 011, clause 6.2.2

      

		JSON valid_serviceInfo_list; // As specified in MEC 011 Sect. 6.2.2

      JSON valid_Mp1SubscriptionLinkList; // As specified in MEC 011, clause 6.3.4

      

      JSON valid_SerAvailabilityNotificationSubscription; // As specified in MEC 011, clause 6.4.2

   

      JSON valid_TimingCaps; // As specified in MEC 011, clause 6.2.6



      JSON valid_CurrentTime; // As specified in MEC 011, clause 6.2.7



      JSON valid_TransportInfo_list; // As specified in MEC 011, clause 6.2.3



      JSON valid_TrafficRule_list; // As specified in MEC 011, clause 6.2.4

      JSON valid_TrafficRule; // As specified in MEC 011, clause 6.2.4



      JSON valid_DnsRule_list; // As specified in MEC 011, clause 6.2.5

      JSON valid_DnsRule; // As specified in MEC 011, clause 6.2.5

   }

}
 
 No newline at end of file

Test Purposes/MEC011/mec-011-domain.tplan2

+30 −29
Original line number Diff line number Diff line
@@ -23,6 +23,7 @@ Package MEC_011_Domain { 
      - receives              // IUT receives an HTTP request

      - sends                 // IUT sends an HTTP response

      - being_in

      - having

      - idle_state // Idle state: The MEC platform has services running and MEC Application is authorized to consume services

      - subscribed_to

      ;

Test Purposes/MEC011/mec-011.tplan2

+742 −106

File changed.

Preview size limit exceeded, changes collapsed.

Test Purposes/MEC013/mec-013-common-data.tplan2

0 → 100644
+17 −0
Original line number Diff line number Diff line 
Package MEC_013_DATA {



   Data { /* To be modified */

   type STRING;

   type JSON;



      JSON valid_userInfo_list; // As specified in MEC 013, clause 6.2.1



      JSON valid_AccessPointList; // As specified in MEC 013, clause 6.2.1



      JSON valid_distanceNotificationSubscription; // As specified in MEC 013, clause 6.3.2



      JSON valid_circleNotificationSubscription; // As specified in MEC 013, clause 6.3.2





   }

}

Test Purposes/MEC013/mec-013-domain.tplan2

0 → 100644
+32 −0
Original line number Diff line number Diff line 
Package MEC_013_Domain {



   import all from MEC_013_DATA;



   Domain {

   pics:

   // Any PICS in this list shall reference a PICS item in MEC 025 clause 7

   - PIC_MEC_PLAT // FUT is a MEC Platform (MEC025, Table 7.8.2-1)

   - PIC_SERVICES // Implements services

   - PIC_NOTIFICATIONS // Implements notifications

   ;

   entities:

   - MEC_APP	// MEC Application using the MEC Platform Application Enablement API

   - MEC_APP_Registrant

   - MEC_APP_Subscriber

   - IUT		// MEC Platform

   ;

   events:

   - services_running      // services available in the IUT

   - started               // MEC_APP up and running

   - authorised            // MEC_APP authenticated and authorised to use services

   - consume_services      // MEC_APP can use services

   - receives              // IUT receives an HTTP request

   - sends                 // IUT sends an HTTP response

   - being_in

   - having

   - idle_state // Idle state: The MEC platform has services running and MEC Application is authorized to consume services

   - subscribed_to

   ;

   }



}