A Deduction-based System for Formal Verification of Agent-ready Web Services.
Radoslaw KlimekPublished in: KES-AMSTA (2013)
Keyphrases
- formal verification
- web services
- model checking
- multi agent
- multi agent systems
- bounded model checking
- automated verification
- model checker
- mobile agents
- multiagent systems
- autonomous agents
- intelligent agents
- symbolic model checking
- web applications
- multiple agents
- software agents
- service oriented
- program slicing
- web service composition
- agent technology
- agent architecture
- business process
- service providers
- business processes
- service oriented architecture
- service composition
- service architecture
- formal specification
- workflow engine
- dynamic environments
- decision making
- artificial intelligence