Mapping DSL?

Mapping a ContractCreated message

map type "ContractCreated" 
  of security "InterestRateSwap"
  for client "ABC" (
    header.conversationId to header.conversationId
    header.messageId to header.messageId
    header.sentBy to header.sentBy
    ...
    contract.header.identifier.partyReference[href] to contract.header.identifier.partyReference[href]
    contract.header.identifier.versionedContractId.contractId to contract.header.identifier.versionedContractId.contractId
    ...
    with contract.creditDefaultSwap
      productType to [[how to represent the RHS]]

Validate a ContractCreated message

validate type "ContractCreated"
  of security "InterestRateSwap"
  for client "ABC" (
    header must exist
    contract must exist
    ...
    contract.header.identifier.effectiveDate format should be "YYYY-MM-DD"
    contract.contractDate format should be "YYYY-MM-DD"

  )