Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services.
George EleftherakisOgnen PaunovskiPublished in: MSVVEIS (2008)
Keyphrases
- web services
- strengths and weaknesses
- reliability assessment
- business process
- seamless integration
- numerical simulations
- clustering algorithm
- control system
- business processes
- database
- knowledge base
- social networks
- semantic web technologies
- simulation environment
- formal methods
- simulation models
- real world
- neural network