The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
One of challenges in GIS Web service is mass GIS data storage and processing. This paper proposes a distributed cached storage solution, as the mixture of Mongo DB storage and Memcached cache, for GIS Web service. This cached storage solution tends to solve three obstacles: the mismatch between the frequent requirement of concurrent tasks for accessing data in GIS Web service and the poor performance...
Services computing is becoming one of the most widely adopted software paradigms in today's network computing environment. Due to the rapid development of web services technology, there are growing number of web services applications distributed over the Internet. While the identification of web services that best meet the users' needs and preferences remains an unsolved problem, requirements, social...
Software service has to adapt to constant changes of requirements and environment, which would give rise to the concentration on service evolution. Among the many reasons for evolution, requirements are regarded as the major driving factor. However, most current work on service evolution focuses on different kinds of tactics to keep the compatibility between services and client applications, few of...
Negotiation is an important activity in both conventional requirements engineering and the new online service era. It encompasses a wide range of functional and non-functional requirements (QoS), including price, performance, security, delivery time, etc. In order to meet service requirements in the open and distributed environment, systems need to be adaptive to the changing needs. In this paper,...
This paper studies the methods and strategies of the network update of the land survey spatial data based on embedded terminal equipment and server and application of multi-level distributed heterogeneous land spatial database.Web services network model has been used to do the design and implementation work of embedded system of land survey data update. The main procedure of spatial data real-time...
Automated Web service discovery requires Web service capability specifications of a high precision. Semantic-based approaches are inherently more precise than conventional keyword-based approaches. This paper proposes to build capability specifications of Web services based on an environment ontology, the main concepts of which are the environment entities in a particular application domain and their...
Parametric protocol verification is a challenging r-e- search topic. Obtaining symbolic representations of service and protocol languages of a protocol enables parametric verification of the protocol against its service specification. In this paper, we exploit recurrent structural regularities of state spaces to obtain symbolic representations of protocol languages for the revised Capability Exchange...
The service-oriented computing paradigm aims to support automated discovery and selection of web services according to user's requirements. At present, user's requirements are often represented in certain existing standard interoperable service description languages such as WSDL/OWL-S. However, general service requestors may find such languages hard to use directly due to the reason that service requirements...
This paper proposes a formalism for on-demand service selection and composition. It is based on the agent-oriented requirements modeling framework i* which can be used as a means of studying the requirements and architectural setting for service-oriented environment. We argue that a social ontology such as i* extended with a formal reasoning mechanism, offers better understanding to the social/organizational...
In this paper, we would like to address the problem of using unreliable, yet valuable services in SOA design. We first give a new classification of services based on their service QoS levels and their deployment modes. Then, instead of driving for higher QoS level from a single service, we achieve the same goal through the concept of "service community". Both the system design issues and...
Capability specification is key problem for Web service discovery. Conventional one-step process based capability specification has its limitations. This paper proposes an approach for semantic behavior-based capability specification of Web service to stride over the limitations. Meta-level environment ontology is proposed to provide formal and sharable specifications of environment resources in a...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.