Towards a formal analysis of dynamic reconfiguration in WS-BPEL.
Faisal AbouzaidManuel MazzaraJohn MullinsNafees QamarPublished in: Intell. Decis. Technol. (2013)
Keyphrases
- formal analysis
- dynamic reconfiguration
- ws bpel
- business process
- application specific
- business processes
- software systems
- service composition
- software architecture
- asynchronous communication
- service oriented
- web services
- formal methods
- quality of service
- dynamic behavior
- general purpose
- agent model
- databases
- business rules
- ban logic
- response time
- integrity constraints
- dynamic environments
- natural language
- cooperative
- real world