{
* File: Fig5.sml.txt
* Author: M. Schrefl, B. Neumayr, C. Schuetz, M. Jeusfeld
* Created: 6-Dec-2013/M.Jeusfeld (18-Mar-2014/M.Jeusfeld)
* ------------------------------------------------------
* Figure 5 of the paper
* Run 
*   cbshell testModel.cbs Fig5
* in the ddi directory. Result 'yes' means that no integrity violations
* are found.
*
}

legalTender in ALABEL end
value in ALABEL end


ExchangableTender in OBJECT with
  linkDR m1: Float
end

ExchangableTender!m1 with
  sourcelevel s: 3
  targetlevel t: 1
  label l: value
end

Float in OBJECT 
end



Country in OBJECT with
  linkDR m1: Currency
end

Country!m1 with
  sourcelevel s: 1
  targetlevel t: 0
  label l: legalTender
end



Currency in OBJECT with
  IN c: ExchangableTender
end

FFlyerPoints in OBJECT with
  IN c: ExchangableTender
end

Japan in OBJECT with
  IN c: Country
  linkDR m1: Yen
end

Japan!m1 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: legalTender
end




Yen in OBJECT with
  SPEC sc: Currency
end

Euro in OBJECT with
  SPEC sc: Currency
end


"1Euro" in OBJECT with
  IN c: Euro
end

"MEuro" in OBJECT with
  IN c: Euro
end