Formalizing Service-Oriented Architectures. - Khalil A. Abuosba; Asim A. El-Sheikh (IT Prof., 2008)