Towards an approach for modeling and formalizing SOA design patterns with Event-B.

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Emna Mezghani

Browse the full SAC paper archive.