Package Specification

@canBeSeenBy com.ibm.xtools.uml.validation.ocl.*