Login / Signup

Event-Based Design and Runtime Verification of Composite Service Transactional Behavior.

Walid GaaloulSami BhiriMohsen Rouached
Published in: IEEE Trans. Serv. Comput. (2010)
Keyphrases
  • software architecture
  • software development
  • knowledge based systems
  • building blocks
  • web service composition
  • transactional properties