Towards a Formal Framework for Workflow Interoperability
As the importance of workflow languages increases in both commercial and scientific application domains, requirements to verify properties of workflows, and compositions thereof, will start to emerge. A lack of formal foundations for workflow languages means that constructing and reasoning about suc...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2009
|