Workflow-based semantics for peer-to-peer specifications.

Antonio Brogi Razvan Popescu

Published 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