UML Analysis Consistency Verification

The UML language is nowadays widely spreaded standard for modelling of software systems. The problem of UML analyses is their inconsistency which is not usually checked by modelling tools. While analysing wider projects, great amount of inconsistencies an arise. Thaťs why the automatic checking seems to be necessary. First part of thesis sumarizes various approaches to consistency verification of UML models and basic notions. In the rest of the work, own approach focused on verification of textual parts of analysis is proposed. Approach to write precise use-case definition is designed, including relevant consistency rules that are further formalized using OCL. Feasibility of proposed approach is confirmed by verification of real analysis of simple software system. Powered by TCPDF (www.tcpdf.org