A formal model for automated processing of Web Services.
Jean-Charles VerdiéDanièle HérinMichel SalaPublished in: AICT/ICIW (2006)
Keyphrases
- formal model
- web services
- fully automated
- data processing
- security properties
- composition of web services
- real time
- web applications
- business process
- service providers
- semi automated
- automatic discovery
- web service composition
- predicate calculus
- web services composition
- service oriented architecture
- formal models
- loosely coupled
- web technologies
- service discovery
- business processes
- information processing
- software engineering
- data sets