Event-based Design and Runtime Verification of Composite Service Transactional Behavior

Walid Gaaloul, Sami Bhiri, Mohsen Rouached

IEEE Transactions on Services Computing
,
3
(
1
), :
32-45
,
IEEE Computer Society
,
2010
.
Journal / Refereed Original Article
Project: 
Líon Project