Web Services for Accessing Explicit State Space Verification Tools.
María-del-Mar GallardoChristophe JoubertPedro MerinoDavid SanánPublished in: ERCIM News (2008)
Keyphrases
- state space
- web services
- web technologies
- dynamic programming
- service oriented
- reinforcement learning
- software tools
- heuristic search
- web service composition
- service discovery
- service composition
- business processes
- web applications
- formal methods
- databases
- dynamical systems
- user friendly
- search space
- state variables
- web services composition
- composition of web services
- model checking
- description language
- optimal policy
- search algorithm
- information systems
- data mining