eclipse / www.eclipse.org / modeling / mdt / 7d680388d86eb90d32dd837e86b25574ebd94649 / . / ocl / docs / publications / EclipseCon2011Tutorial / org.eclipse.ocl.tutorial.eclipsecon2011.oclstates / src / org / eclipse / ocl / tutorial / eclipsecon2011 / validation