Class Diagram: Logical View / GRLspecConcrete