Hilken, FrankNiemann, PhilippGogolla, MartinWille, RobertOberweis, AndreasReussner, Ralf2017-06-212017-06-212016978-3-88579-648-0Verification tasks for UML and OCL models can be classified into structural and behavioral tasks. For both task categories a variety of partly automatic solving approaches exist. But up to now, different interpretations of central notions as, for example, `consistency' or `reachability' can be found in current approaches and tools. This paper is designed to clarify central verification notions and to establish a collection of typical verification tasks that are common to multiple approaches and tools. In addition, the verification tasks are categorized with the aim of creating a central catalog of tasks, providing a common understanding of the terms used in model verifications.enText/Conference Paper1617-5468