Property models: from incidental algorithms to reusable components