{
* File: Fig2.sml.txt
* Author: M. Schrefl, B. Neumayr, C. Schuetz, M. Jeusfeld
* Created: 6-Dec-2013/M.Jeusfeld (18-Mar-2014/M.Jeusfeld)
* ------------------------------------------------------
* Figure 2 of the paper (Modeling a Mobile Phone Catalog ...)
* Run 
*   cbshell testModel.cbs Fig2
* in the ddi directory to see whether integrity constraints are violated.
* Answer 'yes' means that no constraints are violated.
*
}

cpu in ALABEL end
totalRevenue in ALABEL end
soldPrice in ALABEL end
clockRate in ALABEL end
psn in ALABEL end
value in ALABEL end



MobilePhone in OBJECT with
  linkDR m1: Processor
  linkDR m2: ExchangeableTender
  linkDR m3: ExchangeableTender
end

MobilePhone!m1 with
  sourcelevel s: 2
  targetlevel t: 2
  label l: cpu
end

MobilePhone!m2 with
  sourcelevel s: 1
  targetlevel t: 3
  label l: totalRevenue
end

MobilePhone!m3 with
  sourcelevel s: 2
  targetlevel t: 3
  label l: soldPrice
end



Processor in OBJECT with
  linkDR m1: GHz
  linkDR m2: PSN
end

Processor!m1 with
  sourcelevel s: 1
  targetlevel t: 1
  label l: clockRate
end

Processor!m2 with
  sourcelevel s: 2
  targetlevel t: 1
  label l: psn
end

GHz in OBJECT
end

PSN in OBJECT
end



ExchangeableTender in OBJECT with
  linkDR m1: Float
end

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

Float in OBJECT 
end



SamsungGS4 in OBJECT with
  IN c: MobilePhone
  linkR m1: Cortex_A15
  linkR m2: Euro
  linkR m3: FFlyerPoints
  linkR m4: MEuro
  linkDR m5: "137inUnit-MEuro"
end

SamsungGS4!m1 with
  sourcelevel s: 1
  targetlevel t: 1
  label l: cpu
end

SamsungGS4!m2 with
  sourcelevel s: 1
  targetlevel t: 2
  label l: soldPrice
end

SamsungGS4!m3 with
  sourcelevel s: 1
  targetlevel t: 2
  label l: soldPrice
end

SamsungGS4!m4 with
  sourcelevel s: 0
  targetlevel t: 1
  label l: totalRevenue
end

SamsungGS4!m5 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: totalRevenue
end




Cortex_A15 in OBJECT with
  IN c: Processor
  linkDR m1: "2.5GHz"
end

Cortex_A15!m1 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: clockRate
end


"2.5GHz" in OBJECT with
  IN c: GHz
end


Euro in OBJECT with
  IN c: ExchangeableTender
end

Yen in OBJECT with
  IN c: ExchangeableTender
end

FFlyerPoints in OBJECT with
  IN c: ExchangeableTender
end

MEuro in OBJECT with
  IN c: Euro
end

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

"137inUnit-MEuro" in OBJECT with
  IN c: MEuro
  linkDR m1: 137
end

"137inUnit-MEuro"!m1 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: value
end

"320inUnit-1Euro" in OBJECT with
  IN c: "1Euro"
  linkDR m1: 320
end

"320inUnit-1Euro"!m1 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: value
end


137 in OBJECT with
  IN c: Float
end

320 in OBJECT with
  IN c: Float
end



SarahsPhone in OBJECT with
  IN c: SamsungGS4
  linkDR m1: "CortexA15#1"
  linkDR m2: "320inUnit-1Euro"
end


SarahsPhone!m1 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: cpu
end

SarahsPhone!m2 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: soldPrice
end



"CortexA15#1" in OBJECT with
  IN c: Cortex_A15
  linkDR m1: "1233-322-223"
end

"CortexA15#1"!m1 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: psn
end


"1233-322-223" in OBJECT with
  IN c: PSN
end