Baatmaanghelich, Zahra, Rezaee, Ali, Adabi, Sahar (2018). Formal Method in Service Composition in Heath Care Systems. *Journal of Advances in Computer Engineering and Technology*, 4(1), 1-6.