Jin Song Dong Shaoying Liu An Object Semantic Model of SOFL. 189-208 1999 conf/ifm/1999 IFM db/conf/ifm/ifm1999.html#DongL99