Licensing Services: Formal Analysis and Implementation.

G. R. Gangadharan Vincenzo D'Andrea

Published in: ICSOC (2006)

Keyphrases

formal analysis
web services
service providers
service oriented
formal methods
layered architecture
success factors
information systems
building blocks
databases
knowledge base
information services
service composition
ban logic