Supporting e-commerce systems formalization with choreography languages.

Mario Bravetti Claudio Guidi Roberto Lucchi Gianluigi Zavattaro

Published in: SAC (2005)

Keyphrases

expressive power
language independent
electronic commerce
trust model
formal model
neural network
multi agent
grammatical inference
decision support
cross lingual
language identification
real time
operational semantics
document collections
information extraction
knowledge representation
genetic algorithm
data sets