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...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2010
|