{
* File: Fig6.sml.txt
* Author: M. Schrefl, B. Neumayr, C. Schuetz, M. Jeusfeld
* Created: 10-Mar-2014/M.Jeusfeld (18-Mar-2014/M.Jeusfeld)
* ------------------------------------------------------
* Figure highlighting axiom (25) (stratification);
* Run 
*   cbshell testModel.cbs Fig6
* in the ddi directory
* to get the integrity constraint violation displayed.
* The violated integrity constraint is a10 in
*  DualDeep_Part2.sml.txt
* and carries the number (25) in Table 1 of the DDI paper.
*
}


cpu in ALABEL end

MobilePhone in OBJECT with
  linkDR m1: Processor
end

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


Processor in OBJECT with
end


SamsungPhone in OBJECT with
  IN c: MobilePhone
  linkD m1: Cortex_A15
end

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

SamsungGS4 in OBJECT with
  SPEC c: SamsungPhone
  linkR m1: Cortex
end

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


Cortex in OBJECT with
  IN c: Processor
end


Cortex_A15 in OBJECT with
  SPEC c: Cortex
end


Cortex_A15_1 in OBJECT with
  IN c: Cortex_A15
end

SarahsPhone in OBJECT with
  IN c: SamsungGS4
  linkDR m1: Cortex_A15_1
end

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