DOI: 10.5176/2251-2217_SEA12.34
Authors: Shrabani Mallick, Dharmender Singh Kushwaha
Abstract:
The widely adopted and implemented core web services standards (SOAP and WSDL)[10] have achieved extraordinary interoperability across highly disparate software systems. The service oriented architecture (SOA)[4] has become widely recognized for its important role in information technology (IT) projects. A SOA is a style of design that guides an organization during all aspects of creating and using business services (including conception, modelling, design, development, deployment and management). SOA has been the ideal combination of architecture and technology for consistently delivering robust, reusable services that support today’s business needs and that can be easily adapted to satisfy changing business requirements. As systems become more complex, the overall system structure-or architecture---becomes a central design problem. A system's architecture provides a model of the system that suppresses implementation detail. Unfortunately, current representations of SOA architecture are informal and ad hoc. Currently many state of the art formal methods have been applied into the modelling, interoperability, dependability and trustworthiness of web services and this could have a significant impact on the ongoing standardization efforts for services and cloud technologies. This paper presents a formal verification of proposed x-SOA based architecture for UDDI based web service discovery framework. Potentially, extending the state of art formal method techniques could have a significant impact on the ongoing standardization efforts for web services and cloud technologies.
Updating...