Services For Modeling Theory