Abstract Modeling