@INPROCEEDINGS{TounsiAICCSA2015,
  author = {Imen Tounsi and Mohamed Hadj Kacem and Ahmed Hadj Kacem and Khalil Drira},
  title = {A formal Approach for SOA Design Patterns Composition},
  booktitle = {Proceedings of the ACS/IEEE 12th International Conference on Computer Systems and Applications (AICCSA)},
  year = {2015},
  address = {Marrakech, Morocco},
  month = {November },
  publisher = {IEEE Computer Society},
  keywords = {Formal, Design patterns, SoaML, Event-B, Pattern Composition},
  owner = {Imen}
}