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


Publisher:
IEEE Computer Society
Publication date:
2010-01-01
DOI:
URN:
uuid:78eda669-477d-41ed-bfed-5672a4283465
Local pid:
cs:3965
ISBN:
978-0-7695-4148-8

Terms of use


Metrics


Views and Downloads






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

TO TOP