module AttributeChangedSpecification