Изменения
декомпозия исполнения
}}
=== Декомпозиция исполнения ===
{{Определение
|id = decomosition
|definition = Определим '''декомпозицию исполнения''' как пятёрку <tex> (H, G, \rightarrow_G, inv, res) </tex>, где
* <tex> H -</tex> множество '''операций''' <tex> (\forall e \in H: e \subset G)
* <tex> G -</tex> множество '''событий'''
* <tex> \rightarrow_G -</tex> отношение строгого порядка '''произошло до''' на '''событиях''' из <tex> G </tex>
* <tex> inv, res: H \rightarrow G -</tex> функции, что
** <tex> \forall e \in H: inv(e) \rightarrow_G res(e) </tex>
** <tex> \forall e \in H, g \in e, g \neq inv(e), g \neq res(e): inv(e) \rightarrow_G g \rightarrow_G res(e) </tex>
}}
{{Определение
|id = was_before_event
|definition = Определим '''произошло до''' на '''операциях''': <tex> \forall e, f \in H: e \rightarrow_H f = res(e) \rightarrow_G inv(f) </tex>
}}
== Свойства линеаризуемости ==
