This is the DDD sample of specification with Entity Framework