An Algorithm for Automatic Service Composition

Telecommunication companies are struggling to provide their users with value-added services. These services are expected to be context-aware, attentive and personalized. Since it is not economically feasible to build services separately by hand for each individual user, service providers are searching for alternatives to automate service creation. The IST-SPICE project aims at developing a platform for the development and deployment of innovative value-added services. In this paper we introduce our algorithm to cope with the task of automatic composition of services. The algorithm considers that every available service is semantically annotated. Based on a user/developer service request a matching service is composed in terms of component services. The composition follows a semantic graph-based approach, on which atomic services are iteratively composed based on services' functional and non-functional properties

Verifying service continuity in a satellite reconfiguration procedure: application to a satellite

The paper discusses the use of the TURTLE UML profile to model and verify service continuity during dynamic reconfiguration of embedded software, and space-based telecommunication software in particular. TURTLE extends UML class diagrams with composition operators, and activity diagrams with temporal operators. Translating TURTLE to the formal description technique RT-LOTOS gives the profile a formal semantics and makes it possible to reuse verification techniques implemented by the RTL, the RT-LOTOS toolkit developed at LAAS-CNRS. The paper proposes a modeling and formal validation methodology based on TURTLE and RTL, and discusses its application to a payload software application in charge of an embedded packet switch. The paper demonstrates the benefits of using TURTLE to prove service continuity for dynamic reconfiguration of embedded software

Spatial ability, urban wayfinding and location-based services:a review and first results

Location-Based Services (LBS) are a new industry at the core of which are GISand spatial databases. With increasing mobility of individuals, the anticipatedavailability of broadband communications for mobile devices and growingvolumes of location specific information available in databases there willinevitably be an increase in demand for services providing location relatedinformation to people on the move. New Information and CommunicationTechnologies (NICTs) are providing enhanced possibilities for navigating ?smartcities?. Urban environments, meanwhile, have increasing spatial complexity.Navigating urban environments is becoming an important issue. The time is ripefor a re-appraisal of urban wayfinding. This paper critically reviews the currentLBS applications and raises a series of questions with regard to LBS for urbanwayfinding. Research is being carried out to measure individuals? spatialability/awareness and their degree of preference for using LBS in wayfinding. Themethodology includes both the use of questionnaires and a virtual reality CAVE.Presented here are the results of the questionnaire survey which indicate therelationships between individuals? spatial ability, use of NICTs and modepreference for receiving wayfinding cues. Also discussed are our future researchdirections on LBS, particular on issues of urban wayfinding using NICTs

Open semantic service networks

Online service marketplaces will soon be part of the economy to scale the provision of specialized multi-party services through automation and standardization. Current research, such as the *-USDL service description language family, is already defining the basic building blocks to model the next generation of business services. Nonetheless, the developments being made do not target to interconnect services via service relationships. Without the concept of relationship, marketplaces will be seen as mere functional silos containing service descriptions. Yet, in real economies, all services are related and connected. Therefore, to address this gap we introduce the concept of open semantic service network (OSSN), concerned with the establishment of rich relationships between services. These networks will provide valuable knowledge on the global service economy, which can be exploited for many socio-economic and scientific purposes such as service network analysis, management, and control

A Framework for Smart Distribution of Bio-signal Processing Units in M-Health

This paper introduces the Bio-Signal Processing Unit (BSPU) as a functional component that hosts (part of ) the bio-signal information processing algorithms that are needed for an m-health application. With our approach, the BSPUs can be dynamically assigned to available nodes between the bio-signal source and the application to optimize the use of computation and communication resources. The main contributions of this paper are: (1) it presents the supporting architecture (e.g. components and interfaces) and the mechanism (sequence of interactions) for BSPU distribution; (2) it proposes a coordination mechanism to ensure the correctness of the BSPU distribution; (3) it elaborates the design of smooth transition during BSPU distribution in order to minimize the disturbance to the m-health streaming application

Aspect oriented service composition for telecommunication applications

This PhD dissertation investigates how to overcome the negative effects of cross cutting concerns in the development of composite service applications. It proposes a combination of dynamic aspect oriented programming with a rules driven service composition mechanism. This combination allows very flexible utilization of aspects based on run-time data. The thesis contributes a join-point model and it integrates techniques for weaving and advice definition into the underlying composition language and execution engine. A particular focus of the thesis is telecommunication applications with their unique model for utilizing heterogeneous constituent services and their severe real-time requirements. Next to its primary use for modular implementation and flexible deployment of concerns in telecommunication applications, the dissertation discusses AOP as a feature for automated management and customization of service applications. The verification of the proposed solution contributes a detailed assessment of run-time performance, including a theoretical model of the AOP implementation. It allows predicting the performance of various alternative solutions. The proposed solution for combined AOP and service composition provides properties, which directly address challenges in pervasive computing and the Internet of things. Thus, this dissertation advances beyond the telecommunication domain with results applicable to various highly relevant technical developments

Factors shaping the evolution of electronic documentation systems

The main goal is to prepare the space station technical and managerial structure for likely changes in the creation, capture, transfer, and utilization of knowledge. By anticipating advances, the design of Space Station Project (SSP) information systems can be tailored to facilitate a progression of increasingly sophisticated strategies as the space station evolves. Future generations of advanced information systems will use increases in power to deliver environmentally meaningful, contextually targeted, interconnected data (knowledge). The concept of a Knowledge Base Management System is emerging when the problem is focused on how information systems can perform such a conversion of raw data. Such a system would include traditional management functions for large space databases. Added artificial intelligence features might encompass co-existing knowledge representation schemes; effective control structures for deductive, plausible, and inductive reasoning; means for knowledge acquisition, refinement, and validation; explanation facilities; and dynamic human intervention. The major areas covered include: alternative knowledge representation approaches; advanced user interface capabilities; computer-supported cooperative work; the evolution of information system hardware; standardization, compatibility, and connectivity; and organizational impacts of information intensive environments