Service-Oriented computing can be characterized as the motivating force for interoperable web applications. Businesses that embark on service-oriented technology are inclined to an effective interoperation with other businesses. This interoperation not only can expand businesses’ markets but also allow the provision of quality services to citizens for carrying out their everyday transactions. H...

In the paper, we use ontology technology to construct a web courseware authoring system and realize the semantic interoperation in heterogeneous e-learning systems. We set up a domain ontology model which is core component of the system, and can be related with the knowledge concept in domain ontology base with learning resources in the learning resources repository. Then we use the SCORM simpl...

The maintenance of legacy information systems is becoming increasingly common as needs for internet based interoperation drive system changes. This paper outlines new techniques for achieving interoperability among legacy information systems, usually without making major changes to the legacy code. The techniques involved use a limited type of reverse engineering to establish a formal model of ...

The establishment of Linked Data principles has ushered in a remarkable new era of widespread semantics-based interoperation. In particular, the use of RDF, SPARQL and HTTP allows for a high degree of generic tool support and lightweight composition of data sources. This rosy picture, however, mainly applies to static data. When it comes to dynamics both on-the-fly computation and the causation...

The widespread diffusion of mobile computing along with the integration of telecommunication systems and the Internet enables a scenario where the promise of ubiquitous computing is starting to be realised. This scenario calls for novel services the can be deployed on-demand close to the user and customised to not only client needs, but also to the client current location. In particular, group ...

This paper surveys the work of many researchers on rewriting logic since it was rst introduced in 1990. The main emphasis is on the use of rewriting logic as a semantic framework for concurrency. The goal in this regard is to express as faithfully as possible a very wide range of concurrency models, each on its own terms, avoiding any encodings or translations. Bringing very diierent models und...

Semantic Web Services aim at providing a new level of functionality on top of the current Web and current services, by enabling automatic discovery, composition, invocation and interoperation of Web Services. Different efforts are addressing some of the requirements to enable such next generation services, with different degree of success. Nevertheless, to achieve the main goals addressed by Se...

Nowadays many functions within intraand interenterprises have been encapsulated into Web services to enable platform independent integration and interoperation. To realize the enterprise applications, most Web services are composed as workflows based on Business Process Execute Language (BPEL). However, the absence of semantic information in processes reduces the efficiency of interoperation an...

This paper reviews the existing techniques used in the discovering and composing of services. The task of selecting an adequate service can quickly grow tedious if all services that are listed under a certain description have to be compared manually for the final selection. And what is more, the final selection does not only depend on service parameters like executions costs or accuracy, but de...

Natural and man-made catastrophic events appear be steadily increasing in intensity and frequency. Proper preparation, response and recovery are essential if mankind and its vital systems are to cope with and survive large-scale disasters. Unfortunately, on account of historical and geographical reasons, the organisations responsible for delivering emergency response services often under-perfor...