Towards model checking & simulation of a multi-tier negotiation protocol for service chains.
Paul KaraenkeStefan KirnPublished in: AAMAS (2010)
Keyphrases
- model checking
- multi tier
- negotiation protocol
- temporal logic
- service management
- internet services
- formal specification
- electronic commerce
- cooperative
- database management
- information exchange
- service oriented
- service discovery
- modal logic
- reinforcement learning
- artificial intelligence
- data mining
- semantic web services
- negotiation strategies
- life cycle
- knowledge representation