An Object Semantic Model of SOFL