Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development.
Antonella ChirichielloGwen SalaünPublished in: Web Intelligence (2005)
Keyphrases
- web services
- high level
- formal descriptions
- web technologies
- formal specification
- core components
- software engineering
- web applications
- automatic discovery
- business processes
- case study
- development process
- artificial intelligence
- layered architecture
- data intensive
- formal model
- decision support
- knowledge management
- open source
- low level