Спецификация онтологий для потоков задач
Автор: Плесневич Геральд, Карабеков Бауржан, Нгуен Тхи Минь By
Журнал: Проблемы информатики @problem-info
Рубрика: Прикладные информационные технологии
Статья в выпуске: 4 (33), 2016 года.
Бесплатный доступ
Поток работ - это представление процесса, участники которого (агенты - люди или программы), имея общую цель, выполняют некоторую совокупность задач в соответствии с определенными правилами и ограничениями. Успешное завершение процесса зависит от корректной синхронизации и расписания выполнения задач. Понятие потока работ появилось в бизнес-информатике в задачах автоматизации бизнес-процессов. Но в настоящее время техника потоков работ используется во многих других областях, таких как медицинская информатика, биоинформатика (в частности, геномика), автоматизация научных исследований, автоматизированное проектирование производства и т. п.
Потоки задач, онтологии, темпоральные логики, темпорально- логическая спецификация онтологий, методы дедукции, аналитические таблицы
Короткий адрес: https://sciup.org/143161643
IDR: 143161643
Список литературы Спецификация онтологий для потоков задач
- W. Н.Р. van der Aalst, К.М. van Нее. Workflow Management: Models, Methods and Systems. USA: MIT Press, Cambridge. 2002.
- Alonso G., Casati F., Kuno H., Machiraju V. Web Services: Concepts, Architectures and Applications. Springer-Verlag. 2003.
- Dumas M., W. M. P. van der Aalst, A.H. M. ter Hofstede (eds.). Process-Aware Information Systems. Wiley & Sons, inc. 2005.
- Staab S., Studer R. (eds.). Handbook on Ontologies. Springer-Verlag. 2009.
- Плесневич Г. С. Формальные онтологии//2-я Международная научно-техническая конференция „Открытые семантические технологии проектирования интеллектуальных систем" OSTIS-2012. Минск. 2012. С. 163-168.
- Plesniewicz G. S., Karabekov В. S. Ontologies in the Binary Model of Knowledge//Программные продукты и системы. N 1. 2014. P. 76-81.
- Allen J. A. Maintaining knowledge about temporal intervals//Communications of the ACM. 1983. N 26 (11). P. 832-843.
- Aggostino M.D., Gabbay D., Hahnle R., Possega J. (eds.). Handbook of Tableaux Methods, Kluwer Academic Publishers, 1999
- Bi H.H., Zhao J.L. Applying propositional logic to workflow verification//Information Technology and Management. 2004. P. 293-318.
- Davulcu H., Kifer M., Ramakrishnan C.R., Ramakrishnan I. V. Logic based modeling and analysis of workflows//Symposium on Principles of Database Systems. Seattle. 1998. P. 25-33.
- Ma H. A workflow model based on temporal logic//Proceedings of the 8th International Conference on Computer Supported Cooperative Work in Design. IEEE, 2004. P. 27-332.
