@INPROCEEDINGS{TounsiICEIS2013,
  author = {Imen Tounsi and Zied Hrichi and Mohamed Hadj Kacem and Ahmed Hadj Kacem and Khalil Drira},
  title = {Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns},
  booktitle = {Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS)},
  year = {2013},
  pages = {294-301},
  month = {July},
  doi = {10.5220/0004453302940301},
  keywords = {Formal},
}