A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL.
Anders P. RavnJirí SrbaMuhammad Saleem VighioPublished in: ISoLA (1) (2010)
Keyphrases
- formal analysis
- payment protocol
- web services
- formal methods
- model checker
- ban logic
- model checking
- composite services
- description language
- web service composition
- service oriented
- database
- business processes
- transaction processing
- agent model
- service composition
- business process
- transaction management
- web services composition
- artificial intelligence
- quality of service
- service selection
- lightweight
- software engineering
- timed automata
- machine learning