Issues about the Adoption of Formal Methods for Dependable Composition of Web Services.
Manuel MazzaraMichele CiavottaPublished in: Int. J. Syst. Serv. Oriented Eng. (2014)
Keyphrases
- formal methods
- composition of web services
- safety critical
- formal analysis
- web services composition
- model checking
- formal specification
- web service composition
- artificial intelligence
- service composition
- knowledge level
- web services
- knowledge based systems
- databases
- software engineering
- database
- fault tolerant
- formal specification language
- mobile devices
- case study