Modeliais paremtos architektūros (MDA) technologijos panaudojimo tikslas – automatizuoti kuriamos programų sistemos kuriamų modelių transformavimą ir kodo generavimą. Norint atlikti sukurtų modelių korektišką transformavimą, reikia užtikrinti modelių pilnumą ir suderinamumą tarpusavyje. Šie modeliai aprašomi UML modeliavimo kalba. Magistriniame darbe nagrinėjama nuo platformos nepriklausančio modelio kūrimo stadija, modelio klasių ir būsenų mašinų suderimo galimybės ir būsenų mašinų korektiškumo ir išbaigtumo metodikos. Taip pat bus pateikiamas sprendimas atliktas MagicDraw aplinkoje įskiepio pagalba. / The main goal of Model Driven Architecture (MDA) is the automation of software development process. According this technology, we need to create platform independent model (PIM), after that transform it to platform specific model (PSM); from PSM model we can generate program code. To do that, we need to ensure static and dynamic completeness of PIM. All these models are described using UML modeling language. In this work correctness and completeness of PIM is achieved by analyzing compatibility of class diagrams and state machines, as well as correctness and completeness of state machines themselves. To solve this problem, algorithms were created and implemented in a plug-in for MagicDraw CASE tool.