Analýza rozvrhů

Abstract

Cílem této diplomové práce bylo věnovat se formální analýze rozvrhů, tj. identifikaci slabých míst a následné navržení metod, jak tato slabá místa opravit. Tato diplomová práce navíc řeší metodu, jak z navržených oprav vybrat vhodnou podmnožinu, tj. portfolio. Výsledný softwarový prototyp Analyzer je integrován do projektu FlowOpt, jež představuje komplexní řešení od modelování pracovních procesů, přes vytváření rozvrhů až po zobrazování rozvrhů pomocí Ganttova diagramu. Analyzer byl vyvíjen především jako doprovodné dílo, které softwarově ilustruje formální proces analýzy. Powered by TCPDF (www.tcpdf.org)

Goal of this work was to engage in formal analysis of schedules, i.e. identifying weak spots and consequently design method to correct those weak points. Moreover this thesis addresses method, how from constructed corrections take appropriate set, called portfolio. Resulting software prototype called an Analyzer is integrated into FlowOpt project, which represents complex solution from modeling workflows, creation of schedules to displaying schedules using Gantt diagrams. Analyzer was developed mainly as a prototype application, which illustrates formal process of analysis. Powered by TCPDF (www.tcpdf.org)