Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models
Sprache des Titels:
Verification 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.