Specification model implemented