A guarded workflow language and its formal semantics

Many information systems hold data of considerable value, and are subject to complex constraints and business rules. In these systems, update operations are often carefully described, to the extent that it is possible to derive a formal specification of their applicability and effect. Where an updat...

Повний опис

Бібліографічні деталі
Автори: Wang, C, Davies, J, Welch, J
Формат: Journal article
Мова:English
Опубліковано: 2010
Search Result 1

A Guarded Workflow Language and Its Formal Semantics за авторством Wang, C, Davies, J, Welch, J

Опубліковано 2010
Conference item