Issues about the Adoption of Formal Methods for Dependable Composition of Web Services.
Manuel MazzaraMichele CiavottaPublished in: CoRR (2013)
Keyphrases
- formal methods
- composition of web services
- safety critical
- formal analysis
- knowledge based systems
- model checking
- web services composition
- formal specification
- web services
- service composition
- software engineering
- web service composition
- artificial intelligence
- knowledge level
- modeling language
- business process
- open source
- object oriented
- information systems
- databases
- development lifecycle