Formal Analysis of Services Compatibility.
Xueqiang GongJing LiuMiaomiao ZhangJueliang HuPublished in: COMPSAC (2) (2009)
Keyphrases
- formal analysis
- web services
- service oriented
- information services
- service providers
- formal methods
- agent model
- service discovery
- context aware
- end users
- service oriented architecture
- ban logic
- ubiquitous computing
- service composition
- service delivery
- machine learning
- data model
- building blocks
- lightweight
- case study
- mobile commerce
- source code