Name
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 paper introduces a formal notation for the description and analysis of workflows, similar to the well-known languages of guarded commands or generalised substitutions. This notation is given a behavioural semantics corresponding to a sequential, transformational view of the information system. This semantics can then be used to determine the suitability of proposed guards-constraints upon the enactment of workflows-and to establish whether one workflow will interfere with the progress of another. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/TASE.2010.21 | TASE |
Keywords | Field | DocType |
information systems,4.iii.i.i semantics,8.ii.iv.xvi workflow management,information system,4.ii.iv.iv formal methods,behavioural semantics,4.iii.ii.ii denotational semantics,update operation,workflow description,programming language semantics,guarded workflow language,formal semantics,4.iii.iii.iv constraints,guarded command,generalised substitution,denotational semantics,constraint handling,workflow analysis,workflow management software,4.iii.ii.iii operational semantics,complex constraint,guards-constraint,considerable value,4.iii.ii.v constraint and logic languages,formal specification,formal notation,business rule,operational semantics,semantics,cost accounting,workflow management,business rules,availability,formal method | Information system,Workflow technology,Notation,Programming language,Computer science,Denotational semantics,Formal specification,Theoretical computer science,Workflow,Business rule,Semantics | Conference |
ISBN | Citations | PageRank |
978-1-4244-7847-7 | 3 | 0.93 |
References | Authors | |
16 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Chenwei Wang | 1 | 423 | 42.82 |
| Jim Davies | 2 | 673 | 80.95 |
| James Welch | 3 | 46 | 5.54 |