A compositional framework to the specification of service protocols controllability and substitutability.

Nabil Hameurlain

Published in: Int. J. Comput. Math. (2014)

Keyphrases

main contribution
conceptual framework
theoretical framework
high level
information systems
web services
case study
digital libraries
probabilistic model
lightweight
service providers
wireless networks