abstract modeling