Conference item icon

Conference item

A Guarded Workflow Language and Its Formal Semantics

Abstract:

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 update is performed by means of a workflow, as a combination of operations, then it may be advantageous to calculate properties of that workflow from the specifications of the operations involved. This ...

Expand abstract

Actions


Access Document


Publisher copy:
10.1109/TASE.2010.21

Authors


Chen−Wei Wang More by this author
Jim Davies More by this author
James Welch More by this author
Publisher:
IEEE Computer Society
Publication date:
2010
DOI:
URN:
uuid:78eda669-477d-41ed-bfed-5672a4283465
Local pid:
cs:3965
ISBN:
978-0-7695-4148-8

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP