How Amazon web services uses formal methods.
Chris NewcombeTim RathFan ZhangBogdan MunteanuMarc BrookerMichael DeardeuffPublished in: Commun. ACM (2015)
Keyphrases
- formal methods
- web services
- formal analysis
- knowledge based systems
- safety critical
- model checking
- service oriented
- process algebra
- software engineering
- description language
- artificial intelligence
- formal specification
- semantic web services
- web service composition
- business processes
- provably correct
- model checker
- web applications
- business process
- web services composition
- service discovery
- data mining
- temporal properties
- development lifecycle
- service oriented architecture
- service composition
- service providers
- machine learning
- modeling language
- quality of service
- open source
- user interface
- information systems
- concurrent systems
- database
- formal specification language