Commit efd5cb7a authored by cankar's avatar cankar
Browse files

updates

parent 25412d3a

model/ims.cqa

+369 −418

File changed.

Preview size limit exceeded, changes collapsed.

model/ims.qtr

(13.2 MiB)

File changed.

No diff preview for this file type.

View original file
View changed file

model/ims.xmi

+254 −403

File changed.

Preview size limit exceeded, changes collapsed.

model/ims_main.cqa

+5 −4
Original line number Diff line number Diff line
@@ -2,7 +2,8 @@ system { 
    Inbound GmIn   : SIPPacket;

    Outbound GmOut : SIPPacket;



    Inbound Conf   : IUTConfiguration, UEConfiguration;

    Inbound ConfIn   : configNetworkReq, configUserReq;

    Outbound ConfOut : configNetworkResp, configUserResp;



    Inbound MwIn   : SIPPacket;

    Outbound MwOut : SIPPacket;
@@ -11,10 +12,10 @@ system { 


void main() {



    GmConnectionState ue1 = new GmConnectionState();

    GmConnectionState ue2 = new GmConnectionState();

    Connection ue1 = new Connection();

    Connection ue2 = new Connection();

    

    Ims ims = new Ims({ue1, ue2}, "IUT");

    Ims ims = new Ims({ue1, ue2});



    ims.start();

}

model/ims_records.cqa

+42 −13
Original line number Diff line number Diff line 


// general SIPPacket that contains all used fields

record SIPPacket {

    String method;

    String sender;

    String recipient;

    String message_body;



// --- below line are newly grouped headers ----

    AuthorizationHeader authorization_header;

    EventHeader event_header;

    ExpireHeader expires_header;
@@ -33,19 +33,42 @@ record SIPPacket { 
    WwwAuthenticateHeader www_authenticate_header;

    ContentTypeHeader content_type_header;

    PMediaAuthorizationHeader p_media_authorization_header;

    MinSEHeader min_se_header;

}



// additional typedefs for sip messages

typedef SIPPacket SIPInvite;

typedef SIPPacket SIPBye;

typedef SIPPacket SIPAck;

typedef SIPPacket SIPRegister;

typedef SIPPacket SIPMessage; 

typedef SIPPacket SIP100;

typedef SIPPacket SIP180;

typedef SIPPacket SIP200;

typedef SIPPacket SIP4xx;

typedef SIPPacket SIP401;

record SIPInvite extends SIPPacket{};

record SIPInviteReq extends SIPPacket{};



//record SIPBye extends SIPPacket{};

record SIPByeResp extends SIPPacket{};

record SIPByeReq extends SIPPacket{};



record SIPAckReq extends SIPPacket{};

record SIPAckResp extends SIPPacket{};



record SIPNotifyResp extends SIPPacket{};



record SIPRegisterReq extends SIPPacket{};

record SIPRegisterResp extends SIPPacket{};



record SIPSubscribeReq extends SIPPacket{};



record SIPMessage extends SIPPacket{}; 

record SIPMessageReq extends SIPPacket{};



record SIP100Resp extends SIPPacket{};

record SIP180Resp extends SIPPacket{};

record SIP200Resp extends SIPPacket{};

record SIP380Resp extends SIPPacket{};

record SIP4xxResp extends SIPPacket{};

record SIP400Resp extends SIPPacket{};

record SIP401Resp extends SIPPacket{};

record SIP402Resp extends SIPPacket{};

record SIP403Resp extends SIPPacket{};

record SIP422Resp extends SIPPacket{};

record SIP481Resp extends SIPPacket{};







record HeaderInfo {
@@ -53,6 +76,8 @@ record HeaderInfo { 
    String value;

}



record MinSEHeader extends HeaderInfo {}



record PAssertedIdHeader {

    String sip_uri;

}
@@ -126,7 +151,7 @@ record VisitedNetPreProvisionedStr extends HeaderInfo {} 


// CONFIGURATION MESSAGES FOR UEs and IUT



record IUTConfiguration {

record configNetworkReq { // was IUTConfiguration

    boolean security_association;

    boolean forward_ini02;  // defines the behavior of the IMS

                                   // for TP TP_IMST2_GM_INI_02
@@ -147,9 +172,13 @@ record IUTConfiguration { 
    boolean forward_tar02;

}



record UEConfiguration {

record configNetworkResp {}



record configUserReq { // was UEConfiguration

    String sender;

    boolean init_security_association;

    boolean init_emergency_registered;

    boolean ue_is_visiting_iut;

}



record configUserResp {}
 
 No newline at end of file