Theory and practice of object systems