Workflow-based semantics for peer-to-peer specifications.
Antonio BrogiRazvan PopescuPublished in: Frontiers Comput. Sci. China (2008)
Keyphrases
- control flow
- peer to peer
- specification language
- data flow
- operational semantics
- process model
- formal semantics
- workflow management systems
- formal language
- resource discovery
- data sharing
- formal specification
- overlay network
- transformation rules
- peer to peer networks
- data provenance
- high level
- peer to peer systems
- delay insensitive
- semantic representation
- database systems
- file sharing
- software testing
- modeling language
- logic programming
- digital libraries
- semantic constraints
- provenance information
- reactive systems
- web services
- attribute grammars