dc.contributor.advisor | Rubač, Tomáš | |
dc.creator | Šrajer, Michal | |
dc.date.accessioned | 2017-04-03T10:35:16Z | |
dc.date.available | 2017-04-03T10:35:16Z | |
dc.date.issued | 2007 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/9506 | |
dc.description.abstract | Jazyk UML je dnes široce rozšířeným standardem pro modelování softwarových systémů. Problémem analýz zapsaných v UML však bývá jejich nekonzitence, která zpravidla není modelovacími nástroji kontrolována. Při analýzách rozsáhlejších projektů může takových nekonzistencí vzniknout velké množství, automatické kontroly se proto zdají být nezbytnou nutností. V této práci jsou nejprve shrnuty různé přístupy ke kontrole konzitence UML modelů a základní pojmy z dané oblasti. Dále pak se práce zabývá návrhem vlastního přístupu s důrazem na možnost kontroly textových částí analýz založených na UML. Je navržen způssb zápisu případu užití, k němuž jsou definována pravidla konzistence, která jsou následně formalizována pomocí jazyka OCL. Proveditelnost navrhovaného přístupu je ověřena kontrolou chyb reálné analýzy jednoduchého softwarového systému. Powered by TCPDF (www.tcpdf.org) | cs_CZ |
dc.description.abstract | 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) | en_US |
dc.language | Čeština | cs_CZ |
dc.language.iso | cs_CZ | |
dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
dc.title | Kontrola konzistence analýz založených na jazyce UML | cs_CZ |
dc.type | diplomová práce | cs_CZ |
dcterms.created | 2007 | |
dcterms.dateAccepted | 2007-05-21 | |
dc.description.department | Department of Software Engineering | en_US |
dc.description.department | Katedra softwarového inženýrství | cs_CZ |
dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
dc.description.faculty | Faculty of Mathematics and Physics | en_US |
dc.identifier.repId | 46690 | |
dc.title.translated | UML Analysis Consistency Verification | en_US |
dc.contributor.referee | Skopal, Tomáš | |
dc.identifier.aleph | 000842989 | |
thesis.degree.name | Mgr. | |
thesis.degree.level | magisterské | cs_CZ |
thesis.degree.discipline | Softwarové systémy | cs_CZ |
thesis.degree.discipline | Software systems | en_US |
thesis.degree.program | Informatics | en_US |
thesis.degree.program | Informatika | cs_CZ |
uk.thesis.type | diplomová práce | cs_CZ |
uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra softwarového inženýrství | cs_CZ |
uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Software Engineering | en_US |
uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
uk.faculty-abbr.cs | MFF | cs_CZ |
uk.degree-discipline.cs | Softwarové systémy | cs_CZ |
uk.degree-discipline.en | Software systems | en_US |
uk.degree-program.cs | Informatika | cs_CZ |
uk.degree-program.en | Informatics | en_US |
thesis.grade.cs | Velmi dobře | cs_CZ |
thesis.grade.en | Very good | en_US |
uk.abstract.cs | Jazyk UML je dnes široce rozšířeným standardem pro modelování softwarových systémů. Problémem analýz zapsaných v UML však bývá jejich nekonzitence, která zpravidla není modelovacími nástroji kontrolována. Při analýzách rozsáhlejších projektů může takových nekonzistencí vzniknout velké množství, automatické kontroly se proto zdají být nezbytnou nutností. V této práci jsou nejprve shrnuty různé přístupy ke kontrole konzitence UML modelů a základní pojmy z dané oblasti. Dále pak se práce zabývá návrhem vlastního přístupu s důrazem na možnost kontroly textových částí analýz založených na UML. Je navržen způssb zápisu případu užití, k němuž jsou definována pravidla konzistence, která jsou následně formalizována pomocí jazyka OCL. Proveditelnost navrhovaného přístupu je ověřena kontrolou chyb reálné analýzy jednoduchého softwarového systému. Powered by TCPDF (www.tcpdf.org) | cs_CZ |
uk.abstract.en | 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) | en_US |
uk.publication.place | Praha | cs_CZ |
uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra softwarového inženýrství | cs_CZ |
dc.identifier.lisID | 990008429890106986 | |