Guest editor's introduction: Special issue on Web Services and Formal Methods.
Mario BravettiGianluigi ZavattaroPublished in: J. Log. Algebraic Methods Program. (2007)
Keyphrases
- special issue
- formal methods
- web services
- ai edam
- knowledge based systems
- formal analysis
- model checking
- artificial intelligence
- international journal
- ecml pkdd
- safety critical
- formal specification
- business processes
- applied intelligence
- software engineering
- web service composition
- process algebra
- service oriented
- business process
- special section
- quality of service
- description language
- web services composition
- service composition
- modeling language
- knowledge acquisition
- open source
- data mining