Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language.
Thomas FahringerJun QinS. HainzerPublished in: CCGRID (2005)
Keyphrases
- grid workflow
- process algebra
- formal specification
- specification language
- asynchronous circuits
- concurrent systems
- formal methods
- model checking
- high level
- web services composition
- workflow processes
- formal languages
- communication protocols
- programming language
- petri net
- web service composition
- distributed environment
- formal language
- artificial intelligence
- real time
- reverse engineering
- process model
- natural language