Specification Design for an XML Mining Configurable Application