Modeling social directory- A formal approach | IEEE Conference Publication | IEEE Xplore