Editor procesů

• Název práce v češtině: Editor procesů
• Název v anglickém jazyce: Process Editor
• Akademický rok vypsání: 2006/2007
• Typ práce: ročníková práce
• Ústav: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Vedoucí / školitel: prof. RNDr. Roman Barták, Ph.D.
• Řešitel: skrytý - zadáno vedoucím/školitelem
• Datum přihlášení: 12.04.2007
• Datum zadání: 12.04.2007

Zásady pro vypracování

Cílem práce je vytvořit multiplatformní software pro zobrazování, editaci a verifikaci obecných procesů (výrobní procesy, workflow, atd.).

Seznam odborné literatury

W.M.P. van der Aalst: The Application of Petri Nets to Workflow Management, The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.

R. Barták, O. Čepek, P. Surynek: Modelling Alternatives in Temporal Networks, Proceedings of CISsched 2007 conference, IEEE Press, 2007.

Předběžná náplň práce

Zpráva procesů patří mezi důležité součásti automatizovaných výrobních a obchodních systémů. Proces popisuje interakci mezi jednotlivými operacemi, například temporální a kauzální vazby. Cílem práce je navrhnout jednoduchý editor, který umí načíst popis procesu, zobrazit ho v grafické podobě, editovat a opět uložit v požadovaném formátu. Procesy by mělo být možné také vytvářet od nuly.