CORC Framework

CORC Framework

CORC Framework (Class-Object Relation Checking Framework)

Problem Description

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.

Challenges

How can the class/object relations be specified?
How can the class/object relations be checked? What is the scope of checking?
How can design patterns be specified in a logical manner?

Some implementation ideas

The framework needs to capture class/object relations logically (starting with first order logic specifications).

Currently, we can feasibly implement 3 different kinds of predicates on object/class relationships: inheritance, composition/aggregation and message sending dependency.

Later we will explore different quantifiers to control the scope of checking, and try to check and enforce various design pattern constraints at runtime.

Group members

Abdullah Al-Nayeem, Mu Sun, Binh Le

Link to this Page

Class projects last edited on 2 April 2008 at 5:20:59 pm by vpn3-144241.near.uiuc.edu