Editor procesů

• Thesis title in Czech: Editor procesů
• Thesis title in English: Process Editor
• Academic year of topic announcement: 2006/2007
• Thesis type: school year task
• Department: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Supervisor: prof. RNDr. Roman Barták, Ph.D.
• Author: hidden - assigned by the advisor
• Date of registration: 12.04.2007
• Date of assignment: 12.04.2007

Guidelines

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

References

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.

Preliminary scope of work

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.