TransactionRequest - Financial credit reporting & management using Daml smart contracts

TransactionRequest.hs

template TransactionRequest
  with
    customer: Party
    balance: Decimal
    creditLimit: Decimal
    company: Party
    amount: Decimal
    date: Date
    authorizationSystem: Party        
  where
    signatory customer
    observer authorizationSystem
 
    choice AuthorizeTransaction: ContractId AuthorizedTransaction
      with
        fraudSystem : Party  
      controller authorizationSystem 
      do
        -- check balance here
        create AuthorizedTransaction with ..
 
template AuthorizedTransaction
  with
    customer: Party
    balance: Decimal
    creditLimit: Decimal
    company: Party
    amount: Decimal
    date: Date
    authorizationSystem: Party  
    fraudSystem : Party  
  where
    signatory authorizationSystem
    observer fraudSystem
 
    choice ApproveTransaction: ContractId ApprovedTransaction
      with
        paymentSystem: Party
        reportingApp: Party
      controller fraudSystem
      do
        create ApprovedReport with ..
        create ApprovedTransaction with ..