Verifying Atomicity Requirements of Services Coordination Using B.
Alberto PortillaGenoveva Vargas-SolarLuciano García-BañuelosChristine ColletJosé-Luis Zechinelli-MartiniPublished in: ENC (2008)
Keyphrases
- web services
- transactional properties
- cooperative
- context aware
- service providers
- data management systems
- multi agent
- electronic commerce
- service oriented
- service composition
- end users
- information sharing
- information services
- heterogeneous environments
- multi agent systems
- service requirements
- open environments
- service delivery
- virtual enterprise
- mobile services
- user requirements
- application specific
- ubiquitous computing
- mobile devices
- web service composition
- functional requirements
- business activities
- data management
- database