Specification and Verification of an Agent-Based Auction Service.
Amelia BadicaCostin BadicaPublished in: ISD (2008)
Keyphrases
- protocol specification
- formal verification
- formal specification
- communication protocols
- formal methods
- asynchronous circuits
- model checking
- end users
- service providers
- online auctions
- web services
- service quality
- simulation model
- service oriented
- intelligent agents
- service composition
- service discovery
- face verification
- mechanism design
- electronic commerce
- high level
- software agents
- specification language
- management system
- verification method
- colored petri nets