On the Impact of Formal Methods in the SOA.
Laura BocchiPaolo CiancariniPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- formal methods
- formal analysis
- knowledge based systems
- model checker
- model checking
- safety critical
- web services
- service oriented architecture
- software engineering
- artificial intelligence
- process algebra
- business process
- business processes
- formal specification
- multi agent
- security properties
- information systems
- query language
- modeling language
- expert systems
- case study
- reactive systems
- data mining