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 service discovery is an important operation in Web service architecture, this paper aims to cluster the Web services before Web service discovery based on OWL-S language. In this paper, Web service ontology is defined. We use Web service function and progress to calculate similarity. Petri net is used to describe Web service process. The Web service similarity is based on an accurate concept semantic...
With more automation in inter-organizational supply chains and proliferation of Web services technology, the need for organizations to link their business services and processes is becoming increasingly important. In some cases, we need adapter to reconcile the communication incompatibilities between two processes. My thesis proposes a new framework for integrated service adaptation. For the control...
The process sub-model is the core of workflow model, verifying process sub-model before deployment can reduce the cost of shutdown, inspection and repair at run-time. This paper proposes verification algorithms, which focus on structural errors of process sub-model, and those algorithms will use the characteristics of the extended Petri net discussed in this paper. Simultaneously, this paper explains...
A Web service choreography describes a global protocol of interactions among a set of cooperating services. For the dynamic composition, changing interconnections by channel passing between services is necessary. In this paper we use model checking technique for the verifying problems related to channel passing in choreography. We develop a framework: for each kind of property to be verified, we define...
As composite Web services are often long lasting, loosely coupled, cross application and administrative boundaries, transactional support to integrated business via composing individual Web services is a critical issue. Currently, WS-BPEL which is more expressive than traditional workflow language, has been the de facto standard for Web service composition. However, most works on transactional properties...
OWL-S Ontology Maintenance is an important issue in the research of semantic Web services and knowledge management. This paper analysed the differences between the maintenance of OWL-S and domain ontology evolution, and proposed an OWL-S oriented ontology maintenance framework (PROEM), in which, the formal representation method of maintenance requirements is introduced in detail. The 23 elementary...
Many Web services are expected to run with high degree of security and dependability. To achieve this goal, it is essential to use a Web-services compatible framework that tolerates not only crash faults, but Byzantine faults as well, due to the untrusted communication environment in which the Web services operate. In this paper, we describe the design and implementation of such a framework, called...
The next generation Internet will be highly diversified in both underlying networking technologies and supported networking applications. The diversified Internet architecture requires effective collaboration among heterogeneous network domains to support various application requirements. One of the challenges to achieve this objective lies in enabling network domain collaboration and network-application...
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.