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.
Web services are a popular way of implementing a Service-Oriented Architecture (SOA), which has gained rapid adoption and support from leading companies in industry. Testing can be used to help assure both the corectness and robustness of a web service. Because manual testing is tedious, tools are needed to automate test generation and execution for web services. This paper presents a framework and...
Web services have been emerging as a promising technology for business integration. Transactional support to integrated businesses via composing individual Web services is a critical issue. Current Web services protocols (e.g. BPEL4WS) have been proposed to deal with this issue on a strong assumption that each Web service is compensatable for a recovery purpose. It is arguable that Web services composition...
We identify parameters impacting Web services dependability, describe the methods of dependability enhancement by redundancy in space and redundancy in time, and perform a series of experiments to evaluate the availability of Web services. To increase the availability of Web services, we employ several replication schemes and compare them with a single service. The Web services are coordinated by...
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the application level becomes even more important. Our work on the enforcement framework to date has resulted in a comprehensive middleware-based solution leveraging on Web services technologies. However, potential merits of hardware-based...
We study the problem of synthesis of a choreographer in Web service composition for a given set of services and a goal. Services and goal are represented using I/O automata which can succinctly and precisely describe the interfaces of the services. Our technique considers existence and synthesis of two types of the choreographers: a simple choreographer capable of only relaying outputs from one service...
In this paper, we first introduce some issues that are encountered in building a service debugger and briefly describe our approach to addressing them. Next, we outline some debugging modes and components of a simple composite debugger. Then, we mainly describe its message-based front-end and back-end, which are a co-existing, self-identifying, and non- intrusive. Finally, we preset some experimental...
The business process execution language (BPEL) is a language to orchestrate web services into a single business process. In a choreography view, several processes are interconnected and their interaction behavior is described from a global perspective. This paper shows how BPEL can be extended for defining choreographies. The proposed extensions (BPEL4Chor) distinguish between three aspects: (i) participant...
Current Web services composition proposals, such as BPML, WSBPEL, WSCI, and OWLS, provide solutions for describing the control and data flows in Web service composition. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification. Therefore, there is a growing interest for the verification techniques which enable designers...
In the ocean dynamical environment real-time observing system of Taiwan Strait and adjacent maritime region, multiple observing data such as remote sensing data, structured data and so on are produced by the observing net from airspace, ocean surface, underwater space and ocean bottom. The data sharing and web service is a key part to influence the application efficiency of the whole system. According...
Chip multi-processors (CMPs), commonly referred to as multi-core processors, are being widely adopted for deployment as part of the grid infrastructure. In CMPs, multiple cores can independently execute different threads. This change in computer architecture requires corresponding design modifications in programming paradigms, including grid middleware tools, to harness the opportunities presented...
Nowadays, with the great diffusion of mobile technology, and ubiquitous systems, the context has become the ear and the eye of information systems. These systems are more and more based on the usage of Web services. The classical architecture of these services that allows an interoperable interaction between service users and providers does not take in account context adaptation. In this article,...
With the increasing service-oriented applications, efficient service data management is becoming a practical and important issue. Currently, most exchange messages among different Web services is SOAP, which is represented by XML-formatted data. So, the main task of service data management is to manage XML format message files in order to provide efficient store and query for service requestors. Storing...
Service oriented computing (SOC) allows resources on a network to be made available as services. For a business service, differentiated services can be provided based on the usage context, i.e., location, age, purpose and user profiles. In differentiated services, service outcomes depend on context. Currently there is no efficient technical solution for supporting differentiated service development...
The framework for automatic mediation of two process models composed of semantically annotated Web services is presented. Process mediation is hard because of many possible mismatches between process models. We introduce algorithms for the process models analysis to find possible mappings between provider's and requester's process models, or to identify incompatibilities that cannot be reconciled...
Web services are required to handle non-functional concerns. Such concerns can be divided to common features (security, reliability, manageability, etc.) and business specific requirements. Many of the common features are handled by toolkits such as Microsoft Web services enhancements, IBM emerging technologies toolkit and apache axis. The two main problems this paper aims to solve is the inability...
Service-oriented computing (SOC) enables organizations and individual users to discover openly-accessible capabilities realized as services over the Internet. However, service registries can potentially be very large preventing organizations from discovering services in real-time. In fact, consumers may not be aware of the services that can be of most benefit to them. In our work, we introduce a web...
We propose a semantic framework for automatically identifying events as a step towards developing an adaptive middleware for Service Oriented Architecture (SOA). Current related research focuses on adapting to events that violate certain non-functional objectives of the service requestor. Given the large of number of events that can happen during the execution of a service, identifying events that...
We investigate Web service composition as a planning problem and use the input-output parameter relations in order to select the constituent services that make up the composite service. Furthermore, we make use of ontological information between the input-output parameters such that a more specific concept can be used instead of a general concept to make the process more flexible. Our proposed approach...
In order to satisfy incremental business demands, it is often required to combine functionalities of several services together. A number of approaches for service composition have been therefore proposed in both academic and industrial communities. These approaches, such as BPEL, WSCI, etc. can be categorized into static, manual service composition methods. In addition, by applying Semantic Web technologies,...
This paper introduces an automatic Web service composition method based on logical inference of Horn clauses in Petri net models. The available services and user request described in SA WSDL are translated into a set of Horn clauses and the composability rules of the services' input/output parameters are established using ontology reasoning. We choose Petri net as the model of this set of Horn clauses...
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.