Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm.
Einollah PiraVahid RafeAmin NikanjamPublished in: J. Syst. Softw. (2017)
Keyphrases
- optimization algorithm
- graph transformation
- deadlock detection
- complex software systems
- distributed database systems
- distributed systems
- software systems
- multi objective
- manufacturing systems
- software engineering
- software development
- communication protocol
- optimization method
- computer networks
- differential evolution
- evolutionary multi objective
- optimization strategy
- distributed databases
- particle swarm optimization pso
- artificial bee colony
- database systems
- software testing
- inter organizational workflow
- databases
- hybrid optimization algorithm
- genetic algorithm
- neural network