A Tool for Evaluationg the Quality of Business Process Models