ČVUT DSpace
  • Search DSpace
  • Čeština
  • Login
  • Čeština
  • Čeština
View Item 
  •   ČVUT DSpace
  • Czech Technical University in Prague
  • Faculty of Information Technology
  • Department of Software Engineering
  • Master Theses - 18102
  • View Item
  • Czech Technical University in Prague
  • Faculty of Information Technology
  • Department of Software Engineering
  • Master Theses - 18102
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Podpora konceptuálního modelování pro jazyk Haskell

Conceptual Modelling Support for the Haskell Programming Language

Type of document
diplomová práce
master thesis
Author
Suchánek Marek
Supervisor
Pergl Robert
Opponent
Buchtela David
Field of study
Webové a softwarové inženýrství
Study program
Informatika
Institutions assigning rank
katedra softwarového inženýrství



Rights
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html
Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Show full item record
Abstract
Diplomová práce se zabývá problematikou provázanosti konceptuálního modelování s implementací informačních systémů a navrhuje řešení pro reprezentaci konceptuálních modelů přímo v programovacím jazyce Haskell včetně jejich vizualizace a postupů validace a verifikace. V rámci práce jsou rozebrány základní pojmy a významné přístupy v oblasti konceptuálního modelování a formální specifikace modelů, stejně jako nástroje pro jejich podporu. Dále jsou v práci analyzovány vybrané vlastnosti programovacích jazyků a možnosti jejich využití pro konceptuální modelování, požadavky na reprezentaci konceptuálních modelů a vlastní expresivita jazyka Haskell. Systém, navržený na základě analýzy a rešerše, ve formě implementovaného prototypu v jazyce Haskell je demonstrován na případové studii a jsou diskutovány jeho výhody a nevýhody z hlediska výsledného SW produktu i projektového řízení. Výsledkem práce je zdokumentovaný open-source prototyp systému včetně metodiky jeho užití pro tvorbu, verifikaci a validaci konceptuálních modelů v jazyce Haskell. Práce také obsahuje návrh budoucího vývoje a rozvoje systému i další možnosti výzkumu v této oblasti.
 
The diploma thesis deals with the interconnection of conceptual modelling with the implementation of information systems and proposes solution to represent conceptual models directly in the Haskell programming language including their visualization as well as validation and verification procedures. Basic concepts and significant approaches to conceptual modelling and formal specification with their supporting tools are discussed in this work. Furthermore, the work contains analysis of the selected properties of programming languages to be used for conceptual modelling, requirements for representation of conceptual models and Haskell's own expressiveness is analyzed too. The proposed solution, which is based on previous discussion and analysis, in the form of an implemented Haskell library prototype is demonstrated in a case study and its advantages and disadvantages are discussed in terms of the resulting software product and project management. The result of the thesis is a documented open-source prototype, including its methodology for the construction, validation and verification of conceptual models. The thesis also contains proposals for the future development of the system and other research possibilities in this topic.
 
URI
http://hdl.handle.net/10467/69146
View/Open
PLNY_TEXT (1.518Mb)
POSUDEK (112.4Kb)
POSUDEK (109.2Kb)
Collections
  • Diplomové práce - 18102 [1094]

České vysoké učení technické v Praze copyright © 2016 

DSpace software copyright © 2002-2016  Duraspace

Contact Us | Send Feedback
Theme by 
@mire NV
 

 

Useful links

CTU in PragueCentral library of CTUAbout CTU Digital LibraryResourcesStudy and library skillsResearch support

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

České vysoké učení technické v Praze copyright © 2016 

DSpace software copyright © 2002-2016  Duraspace

Contact Us | Send Feedback
Theme by 
@mire NV