defined EF model