A Systematic Approach to Atomicity Decomposition in Event-B.
Asieh Salehi FathabadiMichael J. ButlerAbdolbaghi RezazadehPublished in: SEFM (2012)
Keyphrases
- electronic commerce
- event detection
- multidatabase systems
- event recognition
- event driven
- acid properties
- nested transactions
- decomposition algorithm
- decomposition methods
- image decomposition
- complex events
- temporal relations
- decomposition method
- wavelet packet
- genetic algorithm
- database systems
- abnormal events
- case study