// Generic Messaging

datatype String;

servicepackage Messaging {

service Messaging {
  operation sendSMS(recipient: String, sender: String, body: String): String;
  operation sendMMS(recipient:String,sender:String,body:String,attachment:File):String;
  operation sendEmail(recipient:String,sender:String,title:String,
          body:String, attachment:File): String;
  operation sendIM(recipient: String, sender: String, body: String): String;
  operation sendVoice(recipient: String, sender: String, 
          body: String[0..1], audio: File[0..1]): String;
  operation send(recipient: String, sender: String, title: String, subject: String, 
     body: String, attachment: File[0..1]): String;
}


datatype File {
  filepath : String;
}

} // end service pakage

// SMS Messaging


servicepackage SMS {

service SMS {
  operation send(address: String[*], senderAddress: String, message: String,
     clientCorrelator: String, senderName: String, notifyUrl: String): String;
  operation getDeliveryStatus(resourceURL: String): SMSDeliveryInfoList;
  operation subscribeDeliveryReceipt(
     notifyURL: String, clientCorrelator: String,
     callbackData: String): SMSDeliveryReceiptSubscription;
  operation stopDeliveryReceipt(subscriptionId: String);
  operation receiveMessages(
     registrationId: String,maxBatchSize: Integer): InboundSMSMessageList;
  operation subscribeMessageNotification(
     destinationAddress: String, notifyURL: String,
     criteria: String[0..1], notificationFormat: String[0..1],
     clientCorrelator: String[0..1], callbackData: String[0..1]) : String;
  operation stopMessageNotification(subscriptionId: String);

}

    datatype SMSDeliveryInfoList {
        deliveryInfo : SMSDeliveryInfo[*];
        resourceURL : String;
    }

    datatype SMSDeliveryInfo {
        address : String;
        deliveryStatus : SMSDeliveryStatus;
    }

    enumeration SMSDeliveryStatus {
        DeliveredToTerminal,
        DeliveredUncertain,
        DeliveryImpossible,
        MessageWaiting,
        DeliveredToNetwork
    }

    datatype SMSDeliveryReceiptSubscription {
        callbackReference : SMSCallbackReference;
        resourceURL : String;
    }

    datatype SMSCallbackReference {
        callbackData : String;
        notifyURL : String;
    }

    datatype InboundSMSMessageList {
        inboundSMSMessage : InboundSMSMessage[*];
    }

    datatype InboundSMSMessage {
        dateTime : String;
        destinationAddress : String;
        messageId : String;
        message : String;
        resourceURL : String;
        senderAddress : String;
    }

}

servicepackage SMSDeliveryNotification {

service SMSDeliveryNotification {
  operation notifyDeliveryReceipt(deliveryInfoNotification: SMSDeliveryInfoNotification);

}

    datatype SMSDeliveryInfoNotification {
        callbackData : String;
        deliveryStatus : SMSDeliveryStatus;
    }


}

servicepackage SMSMessageNotification {

service SMSMessageNotification {
  operation notifyMessageReceipt(
    inboundSMSMessageNotification: InboundSMSMessageNotification);
}

    datatype InboundSMSMessageNotification {
        callbackData : String;
        inboundSMSMessage : InboundSMSMessage;
    }

} // end service package


// Multimedia Messaging

servicepackage MMS {


service MMS {
  operation send(address: String[*], senderAddress: String, senderName: 
     String, message: String, attachments: File[*],
     clientCorrelator: String[0..1], notifyURL: String[0..1], 
     callbackData: String[0..1]): String;

  operation getDeliveryStatus(resourceURL: String): MMSDeliveryInfoList;

  operation subscribeDeliveryNotification(
    messageId: String, notifyURL: String, clientCorrelator: String[0..1], 
    callbackData: String[0..1])
    : MMSDeliveryReceiptSubscription;

  operation stopDeliveryNotification(subscriptionId: String);

  operation retrieveMessages(registrationId: String, matchBatchSize: Integer[0..1]) 
   : MMSInboundMessageList;

  operation retrieveMessage(registrationId: String, messageId: String, resFormat: String) 
   : MMSMessageData;

  operation  subscribeMessageNotification(
    destinationAddress: String, notifyURL: String, criteria: String[0..1],
    notificationFormat: String[0..1], clientCorrelator: String[0..1], 
    callbackData: String[0..1]): String;

  operation  stopMessageNotification(subscriptionId: String);

}

    datatype MMSDeliveryInfoList {
        deliveryInfo : MMSDeliveryInfo[*];
        resourceURL : String;
    }

    datatype MMSDeliveryInfo {
        address : String;
        deliveryStatus : MMSDeliveryStatus;
    }


    enumeration MMSDeliveryStatus {
        DeliveredToTerminal,
        DeliveryUncertain,
        DeliveryImpossible,
        MessageWaiting,
        DeliveryToNetwork
    }

    datatype MMSDeliveryReceiptSubscription {
        callbackReference : MMSCallbackReference;
        resourceURL : String;
    }

    datatype MMSCallbackReference {
        callbackData : String;
        notifyURL : String;
    }

    datatype MMSMessageData {
        inboundMessage : MMSInboundMessage;
        attachements : File[*];
    }


    datatype MMSInboundMessageList {
       inboundMessage: MMSInboundMessage[*];
       numberOfMessagesInThisBatch: Integer;
       resourceURL: String;
       totalNumberOfPendingMessages: Integer;
    }

    datatype MMSInboundMessage {
        dateTime : String;
        destinationAddress : String;
        subject : String;
        messageId : String;
        resourceURL : String;
        senderAddress : String;
    }


}
servicepackage MMSDeliveryNotification {


service MMSDeliveryNotification {
  operation  notifyDeliveryReceipt(deliveryInfoNotification: MMSDeliveryInfoNotification);
}

  datatype MMSDeliveryInfoNotification {
    deliveryInfo: MMSDeliveryInfo[*];
    callbackData: String;
  }

}

servicepackage MMSMessageNotification {

service MMSMessageNotification {
  operation notifyMessageReceipt(inboundMessageNotification: MMSInboundMessageNotification);
}

    datatype MMSInboundMessageNotification {
        inboundMMSMessageNotification : InboundMMSMessageNotification;
        callbackData : String;
    }

    datatype InboundMMSMessageNotification {
        dateTime : String;
        destinationAddress : String;
        messageId : String;
        message : String;
        senderAddress : String;
    }

} // end service package



// Click to Call

servicepackage ClickToCall {

service ClickToCall {

  operation createCall(from_:String,to_:String,private:String[0..1],
           max_duration:String[0..1],call_confirmation:String[0..1],
           audio_url:String[0..1],notification_url:String[0..1]) : String;

  operation releaseCall(call_id:String): String;
  
}
}

servicepackage ClickToCallNotification {

service ClickToCallNotification {
  operation notification(call_id: String, code: String, message: String, 
        call_start_date: String, call_end_date: String): String;
}

} // end service package


// Location

servicepackage Location {

service Location {
  operation getLocation(address: String, requestedAccuracy: Integer)
    : TerminalLocationList;

  operation getLocationForGroup(address: String[*], requestedAccuracy: Integer)
    : TerminalLocationList;
}



    datatype TerminalLocationList {
        terminalLocation : TerminalLocation[*];
        locationRetrievalStatus : LocationRetrievalStatus;
    }

    datatype TerminalLocation {
        address : String;
        currentLocation : LocationInfo;
    }

    datatype LocationInfo {
        accuracy : Integer;
        altitude : Integer;
        latitude : Integer;
        longitude : Integer;
        timestamp : String;
    }


    enumeration LocationRetrievalStatus {
        Retrieved,
        NorRetrieved,
        Error
    }

} // end service package



// Synchronization

servicepackage  Synchronization {

service Synchronization {
  operation getUserSpheres(userId: String): Sphere[*];
  operation getUserSphere(userId:String, sphereId: String): Sphere;
  operation getUserSphereEndpoint(userId: String, sphereId: String, endpointId: String): Endpoint;
  operation getSphereSyncs(userId: String, sphereId: String): SyncItem[*];
  operation getPatterns(): Pattern[*];
  operation getPattern(patternId: String): Pattern;
  operation getEndpointConfig(endpointId: String): Configuration;
  operation getCapabilities(): Capability[*];
  operation getCapabilitySources(capability: String): Source[*];
  operation addSphere(userId: String, capability: String, 
     endpoints: Endpoint[*]) : Sphere;
  operation getLastSync(sphereId: String): SyncItem[*];
  operation startSync(sphereId: String): String;
  operation syncIsOn(sphereId:String): Boolean;
  operation getElementUrls(userId: String, sphereId: String, 
     endpointId: String, capability: String): String[*];
  operation inform(serviceName: String, url: String, logourl: String);
  operation addSource(userId: String, sphereId: String, endpointId: String): Source;
}


    datatype Sphere {
        sphereId : String;
        name : String;
        type : String;
        endpoints : Endpoint[*];
    }

    datatype Endpoint {
        endpointId : String;
        name : String;
        configuration : String;
    }

    datatype SyncItem {
        id : String;
        timestamp : String;
        url : String;
    }

    datatype Pattern {
        patternId : String;
        name : String;
        contract : String;
        description : String;
        capability : Capability;
        accessPoint : String;
    }

    datatype Configuration {
        properties : ConfigurationProperty;
    }

    datatype ConfigurationProperty {
        key : String;
        val : String;
    }

    datatype Capability {
        name : String;
    }

    datatype Source {
        name : String;
    }

}

servicepackage Syncable {


service Syncable {
  operation getCapabilities(): String[];
  operation getDataList(capability: String): SyncItem[];
  operation getData(capability: String, id: String): Base64;
  operation addData(capability: String, id: String, content: Base64)
    : SyncItem[];
  operation updateData(capability: String, id: String, content: Base64)
    : SyncItem[];
  operation deleteData(capability: String, id: String);
}

    datatype Base64 {
        base64 : String;
    }

} // end service package


// IVR

servicepackage InteractiveVoiceResponseFacility {

service InteractiveVoiceResponseFacility {
  operation makeCall(to_:String):IVRResponse;
  operation waitCall(from_:String[0..1]):IVRResponse;
  operation answerCall(from_:String[0..1]) : IVRResponse;
  operation hangUp(call_id:String):IVRResponse;
  operation transfer(call_id:String,to_:String): String;
  operation sayPrompt(call_id:String,content:String): IVRResponse;
  operation playPrompt(call_id:String,url:String): IVRResponse;
  operation collectDtmf(call_id:String,max:Integer[0..1],term:String[0..1]) 
    : IVRResponse;
  operation recognizeSpeech(call_id:String,grammar:String,lang:String[0..1]) : IVRResponse;
  operation startRecord(call_id:String,url:String) : IVRResponse;
  operation stopRecord(call_id:String): IVRResponse;
  operation getVersion() : String;
}

    datatype IVRResponse {
        call_id : String;
        body : String;
    }

} // end service package


// Privacy

servicepackage PrivacyResourceManager {

service PrivacyResourceManager {
  operation validateToken(request: AccessRequest): AttributeInfo[*];
}


    datatype AccessRequest {
        calledFunc : String;
        token : String;
        recipient : String;
        accessor : String;
        attributeList : AttributeInfo;
    }

    datatype AttributeInfo {
        owner : String;
        attributeName : String;
        action : ActionKind;
    }

    enumeration ActionKind {
        read,
        write
    }


}

servicepackage PrivacyPolicyManager {

service PrivacyPolicyManager {
  operation get(clientId: String, serviceId: String): Policy;
  operation update(clientId: String, serviceId: String, policy: Policy): Policy;
  operation create(clientId: String, serviceId: String, policy: Policy): Policy;
  operation delete(clientId: String, serviceId: String, policy: Policy);
}

    datatype Policy {
        policy : String;
        language : String;
    }

}