We are planning to create a framework for Squeak to specify class/object relations & constraints in a logical manner. This framework can then be used to check/enforce these relations & constraints in the runtime objects and classes. Also, one can be able to reason the code to verify standard implementation of design patterns.