Search
Now showing items 1-3 of 3
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B
Publisher: IEEE
Year: 2014
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach
Publisher: IEEE
Year: 2014
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions
Publisher: IEEE
Year: 2014