Challenges in Service Mining: Record, Check, Discover · Study