  We consider the framework of Document Modeling, which lays the formal basis
for representing the document lifecycle in Business Process Management systems.
We formulate document models in the scope of the logic-based Semantic Modeling
language and study the question whether transactions given by a document model
terminate on any input. We show that in general this problem is undecidable and
formulate sufficient conditions, which guarantee decidability and polynomial
boundedness of effects of transactions.
