Workflow Modelling
Název práce v češtině: | Workflow Modelling |
---|---|
Název v anglickém jazyce: | Workflow Modelling |
Klíčová slova: | Pracovní postupy, FlowOpt, XPDL |
Klíčová slova anglicky: | Workflows, FlowOpt, XPDL |
Akademický rok vypsání: | 2009/2010 |
Typ práce: | diplomová práce |
Jazyk práce: | angličtina |
Ústav: | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
Vedoucí / školitel: | prof. RNDr. Roman Barták, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 23.03.2010 |
Datum zadání: | 23.03.2010 |
Datum a čas obhajoby: | 05.09.2011 12:30 |
Datum odevzdání elektronické podoby: | 04.08.2011 |
Datum odevzdání tištěné podoby: | 05.08.2011 |
Datum proběhlé obhajoby: | 05.09.2011 |
Oponenti: | doc. RNDr. Pavel Surynek, Ph.D. |
Zásady pro vypracování |
Workflows are used to specify different types of processes including business and manufacturing processes. There exist various languages and systems for specifying workflows. The thesis deals with visualisation, validation, and transformation of workflows. The student will first familiarize with existing approaches (languages, systems) for describing workflows such as Yawl or Temporal Networks with Alternatives. Based on these studies he will propose innovative user interface for visualisation and editing of workflows that supports transformations between different languages for workflow specification and includes some form of workflow verification. |
Seznam odborné literatury |
W. van der Aalst: Workflow Management
http://is.tm.tue.nl/staff/wvdaalst/workflow_management.htm Yawl http://www.yawlfoundation.org/ R. Barták, O. Cepek. Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models In D. Dochev, M. Pistore, P. Traverso (eds.): Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2008). LNAI 5253, Springer Verlag, 2008, pp. 235-246. R. Barták, O. Cepek, P. Surynek. Modelling Alternatives in Temporal Networks. Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Scheduling (CI-Sched 2007), IEEE Press, 2007, pp. 129-136. R. Barták, J. Little, O. Manzano, C. Sheahan. From Enterprise Models to Scheduling Models: Bridging the Gap. In Miguel A. Salido, Juan Fdez-Olivares (Eds.) Planning, Scheduling and Constraint Satisfaction, Universidad de Salamanca, pp. 44-56, 2007. A. González-Ferrer, J. Fernández-Olivares, L. Castillo. JABBAH: A Java Application Framework for the Translation Between Business Process Models and HTN. Proceedings of International Competition on Knowledge Engineering for Planning and Scheduling, Thessaloniki, 2009. |