A Formal Account of Contracts for Web Services.
Samuele CarpinetiGiuseppe CastagnaCosimo LaneveLuca PadovaniPublished in: WS-FM (2006)
Keyphrases
- web services
- business processes
- formal descriptions
- business process
- description language
- web applications
- data intensive
- semantic web services
- service providers
- neural network
- service oriented architecture
- service oriented
- real time
- software development
- formal model
- database systems
- service discovery
- knowledge base
- information systems
- web service composition
- artificial intelligence
- formal methods
- grid services
- security flaws