| DC Field | Value | Language |
|---|
| dc.contributor.author | Плесневич, Г. С. | - |
| dc.contributor.author | Нгуен Тхи Минь Ву | - |
| dc.date.accessioned | 2016-06-03T08:04:15Z | - |
| dc.date.accessioned | 2017-07-18T09:11:38Z | - |
| dc.date.available | 2016-06-03T08:04:15Z | - |
| dc.date.available | 2017-07-18T09:11:38Z | - |
| dc.date.issued | 2016 | - |
| dc.identifier.citation | Плесневич, Г. С. Спецификация потока задач в расширенной интервальной логике Аллена / Г. С. Плесневич // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2016) : материалы VI междунар. науч.-техн. конф. (Минск, 18 - 20 февраля 2016 года) / редкол. : В. В. Голенков (отв. ред.) [и др.]. – Минск : БГУИР, 2016. – С. 295 – 300. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/7212 | - |
| dc.description.abstract | В работе введена расширенная интервальная логика Аллена и показано как эта логика может быть
использована для спецификации и анализа потоков работ (workflows). Предложениями расширенной логики
служат булевы комбинации предложений логики Аллена содержащие, возможно, метрическую информацию. В
частности, этот анализ включает: (1) распознавание несовместности (противоречивости) схемы потока работ;
(2) вычисление ответа на запросы к непротиворечивому потоку работ. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.language.iso | en | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | потоки работ | ru_RU |
| dc.subject | спецификация потоков работ | ru_RU |
| dc.subject | темпоральные логики | ru_RU |
| dc.subject | интервальная логика Аллена | ru_RU |
| dc.title | Спецификация потока задач в расширенной интервальной логике Аллена | ru_RU |
| dc.title.alternative | Specification of workflows in the extended interval Allen’s logic | ru_RU |
| dc.type | Article | ru_RU |
| local.description.annotation | 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. | - |
| Appears in Collections: | OSTIS-2016
|
