On termination of transactions over semantic document models

Рассматривается парадигма Документного Моделирования, которая дает формальную основу для работы с документами в системах управленческого планирования. В данной работе документные модели формулируются в рамках логического формализма – языка Семантического Моделирования – и рассматривается проблема распознавания завершаемости транзакций, заданных документной моделью, для любого возможного входа. Показывается, что в общем случае данная проблема алгоритмически неразрешима. Сформулированы достаточные условия, гарантирующие разрешимость и полиномиальную ограниченность результата выполнения транзакций.