Synchronic Distance Based Workflow Logic Specification.
Wen ZhaoYu HuangChong-Yi YuanPublished in: HPCC (2008)
Keyphrases
- asynchronous circuits
- transition systems
- control flow
- formal language
- linear temporal logic
- state machine
- exception handling
- high level
- distance measure
- workflow model
- active rules
- classical logic
- data flow
- multi valued
- business process
- logic programming
- automated reasoning
- workflow management systems
- petri net
- workflow systems
- specification languages
- workflow specification
- databases
- predicate logic
- scientific workflows
- formal specification
- conceptual model
- outlier detection
- business processes
- web services
- e learning