{
* File: Fig1.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 Fig6
* in the ddi directory to see whether integrity constraints are violated.
* Answer 'yes' means that no constraints are violated.
*
}

cpu in ALABEL end
designer in ALABEL end
owner in ALABEL end
serialNr in ALABEL end



MobilePhone in OBJECT with
  linkDR m1: Person
  linkDR m2: Person
  linkDR m3: Number
  linkDR m4: Processor
end

MobilePhone!m1 with
  sourcelevel s: 1
  targetlevel t: 1
  label l: designer
end

MobilePhone!m2 with
  sourcelevel s: 2
  targetlevel t: 1
  label l: owner
end

MobilePhone!m3 with
  sourcelevel s: 2
  targetlevel t: 1
  label l: serialNr
end

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



Processor in OBJECT
end

Number in OBJECT
end

Person in OBJECT
end



SamsungGS4 in OBJECT with
  IN c: MobilePhone
  linkDR m1: John
  linkDR m2: Cortex_A15
end

SamsungGS4!m1 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: designer
end

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


Cortex_A15 in OBJECT with
  IN c: Processor
end

John in OBJECT with
  IN c: Person
end



SarahsPhone in OBJECT with
  IN c: SamsungGS4
  linkDR m1: Sarah
  linkDR m2: "1234122"
  linkDR m3: "CortexA15#1"
end


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

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

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

Sarah in OBJECT with
  IN c: Person
end

"CortexA15#1" in OBJECT with
  IN c: Cortex_A15
end

"1234122" in OBJECT with
  IN c: Number
end