A Formal Model for Supporting Frameworks of Dynamic Service Update Based on OSGi.

Jun-Qing Chen Linpeng Huang Siqi Du Wenjia Zhou

Published in: APSEC (2010)

Keyphrases

formal model
service platform
service discovery
dynamic environments
predicate calculus
web services
decision support
service providers
service oriented architecture
application development
virtual organization
formal models
open source
information services
real estate
security properties