A Formal Model for Abstracting the Interaction of Web Services.
Li BaoWeishi ZhangXiong XiePublished in: J. Comput. (2010)
Keyphrases
- formal model
- web services
- web applications
- web service composition
- user interaction
- business processes
- service architecture
- security properties
- formal models
- data intensive
- service discovery
- service providers
- human computer interaction
- web technologies
- service oriented
- business process
- predicate calculus
- probabilistic knowledge
- case based reasoning