List of Articles zahra baatmaanghelich Article 1 - Formal Method in Service Composition in Heath Care Systems Zahra Baatmaanghelich Ali Rezaee Sahar Adabi Journal of Advances in Computer Engineering and Technology , Issue 1 , Year , Winter 2018