Journal article icon

Journal article

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


Journal:
Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
Pages:
25-34
Publication date:
2010-01-01
DOI:
Source identifiers:
328742
Language:
English
Keywords:
Pubs id:
pubs:328742
UUID:
uuid:3c7576db-b585-405c-9051-da152e3e21b1
Local pid:
pubs:328742
Deposit date:
2013-02-20

Terms of use


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