An Efficient Web Service Discovery Architecture for Static and Mobile Environments

Abstract

The widely adopted and implemented core web services
standards SOAP and WSDL have achieved extraordinary
interoperability across highly disparate software systems. The service
oriented architecture SOA 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, modeling, 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 modeling, 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. The paper attempts to establish the proposed architecture for
locating services in mobile computing environment as well. 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 for both fixed and mobile networks.