Methods and techniques for discovering taxonomies of behavioral process models