This Article 
 Bibliographic References 
 Add to: 
Formalizing Service-Oriented Architectures
July/August 2008 (vol. 10 no. 4)
pp. 34-38
Khalil A. Abuosba, Philadelphia University
Asim A. El-Sheikh, The Arab Academy for Banking and Financial Sciences
Service-oriented architecture (SOA) is defined as a paradigm for organizing and using distributed capabilities that might be under the control of different ownership domains. SOA is also known as a methodology for achieving application interoperability and reuse of IT assets in distributed computing environments characterized as transformable by the visibility, interaction, and effect dimensions.

1. D. Booth et al., eds., "Web Services Architecture," World Wide Web Consortium (W3C) working draft, 8 Aug. 2003;
2. "OASIS Reference Model for Service Oriented Architecture 1.0," public review draft 2, 2006; 18486pr2changes.pdf.
3. J. Woodcock and J. Davies, Using Z: Specification, Refinement and Proof, Prentice Hall, 1996.
4. R. Fielding, The Design of Network-Based Software Architecture, doctoral dissertation, Univ. of Calif., Irvine, 2000.
5. E. Newcomer and G. Lomow, Understanding SOA with Web Services, Addison-Wesley, 2005.
6. G.A. Lewis and L. Wrage, Approaches to Constructive Interoperability, tech. report CMU/SEI-2004-TR-020, Software Eng. Inst., Carnegie Mellon Univ., 2004.
7. S. Bull and P. Brna, "What Does Susan Know That Paul Doesn't (and Vice Versa)? Contributing to Each Other's Student Model," Artificial Intelligence in Education: Knowledge and Media in Learning Systems, B. du Boulay and R. Mizoguchi, eds., IOS Press, 1999, pp. 568–570.
8. A.R. Tripathi, T. Ahmed, and R. Kumar, "Specification of Secure Distributed Collaboration Systems," Proc. 6th Int'l Symp. Autonomous Decentralized Systems (ISADS), IEEE CS Press, 2003, pp. 149–156.
1. S. Burbeck, "The Tao of E-Business Services," IBM developerWorks, 2000; .
2. E. Newcomer and G. Lomow, Understanding SOA with Web Services, Addison-Wesley, 2005.
3. D. Krafzig, K. Banke, and D. Slama, Enterprise SOA: Service Oriented Architecture Best Practices, Prentice Hall, 2005.

Index Terms:
services, architecture, SOA, formal definition, Z, Z-notation, service-oriented architecture, Web services
Khalil A. Abuosba, Asim A. El-Sheikh, "Formalizing Service-Oriented Architectures," IT Professional, vol. 10, no. 4, pp. 34-38, July-Aug. 2008, doi:10.1109/MITP.2008.70
Usage of this product signifies your acceptance of the Terms of Use.