Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach.
Idir Aït-SadouneYamine Aït AmeurPublished in: SERA (selected papers) (2010)
Keyphrases
- web services
- service oriented
- business processes
- business process
- web services composition
- service composition
- architectural model
- web applications
- design process
- web service composition
- event detection
- service architecture
- automatic discovery
- software architecture
- case study
- service discovery
- artificial intelligence
- formal methods
- core components
- process model
- information systems