在软件开发工具的研究中，对客观世界的抽象称为   。