https://libeldoc.bsuir.by/handle/123456789/7212| Title: | Спецификация потока задач в расширенной интервальной логике Аллена |
| Other Titles: | Specification of workflows in the extended interval Allen’s logic |
| Authors: | Плесневич, Г. С. Нгуен Тхи Минь Ву |
| Keywords: | материалы конференций;потоки работ;спецификация потоков работ;темпоральные логики;интервальная логика Аллена |
| Issue Date: | 2016 |
| Publisher: | БГУИР |
| Citation: | Плесневич, Г. С. Спецификация потока задач в расширенной интервальной логике Аллена / Г. С. Плесневич // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2016) : материалы VI междунар. науч.-техн. конф. (Минск, 18 - 20 февраля 2016 года) / редкол. : В. В. Голенков (отв. ред.) [и др.]. – Минск : БГУИР, 2016. – С. 295 – 300. |
| Abstract: | В работе введена расширенная интервальная логика Аллена и показано как эта логика может быть использована для спецификации и анализа потоков работ (workflows). Предложениями расширенной логики служат булевы комбинации предложений логики Аллена содержащие, возможно, метрическую информацию. В частности, этот анализ включает: (1) распознавание несовместности (противоречивости) схемы потока работ; (2) вычисление ответа на запросы к непротиворечивому потоку работ. |
| Alternative abstract: | It is shown, in the paper, that the extended interval Allen’s logic can be used for specifying and analyzing workflows. The sentences of this logic are Boolean combination of Allen’s logic sentences with, possibly, metric information. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/7212 |
| Appears in Collections: | OSTIS-2016 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Plesnevich_Spetsifikatsiya.PDF | 637.41 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.