gray cacm oct 2001 aom domain modeling 3846719