Login / Signup
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions.
Imed Abbassi
Mohamed Graiet
Walid Gaaloul
Nejib Ben Hadj-Alouane
Published in:
IEEE SCC (2014)
Keyphrases
</>
web service compositions
web service composition
service composition
web services
quality of service
database
formal model
formal models
petri net
information systems
data sets
case study
database systems
multi agent systems
service oriented
formal specification
neural network
formal language