Pervasive service ecosystems are a new paradigm for the design of context-aware systems featuring adaptivity and self-awareness. A theoretical and practical framework has been proposed for addressing these scenarios, taking primary inspirations from natural ecosystems and grounding upon two basic abstractions: “live semantic annotations” (LSAs), which are descriptions stored in infrastructure n...

The talk and demonstrations will illustrate a rigorous approach to the engineering of services for service-oriented architectures and in particular, web service compositions. We use formal model checking techniques to cover aspects of architecture, orchestration, choreography and deployment configurations for service compositions. A demonstration will illustrate our techniques using an Eclipse ...

One of the main challenges that the telecom industry is currently facing, is how to manage complex personal communication environments. These environments present an increasing number of varied devices such as computers, PDAs, webcams, Home gateway, sensors, etc. This implies a radical change from traditional telecommunication settings, composed of just a few types of standardized terminals. In...

With the tremendous growth of self-service technologies (SSTs) in many industries, SSTs in the context of service provision are recognized as more effective and important technologies to minimize investment costs and maximizes service quality. By means of reviewing and integrating literature in several fields, the present paper attempted to provide an understanding of this relationship in terms...

Scalability requirements for semantic stores lead to distributed hardwareindependent solutions to handle and analyze massive amounts of semantic data. We use a different approach by imitating the behaviour of swarm individuals to achieve this scalability. We have implemented our concept of a Self-organized Semantic Storage Service (S4) and present preliminary evaluation results in order to inve...

Internet self-efficacy (ISE), or the beliefs in one’s capabilities to organize and execute courses of Internet actions required to produce given attainments, is a potentially important factor to explain the consumers’ decisions in e-commerce use, such as eservice. In this study, we introduce two types of ISE (i.e., general Internet self-efficacy and Web-specific self-efficacy) as new factors th...

The TOSCA standard provides a means to describe Cloud applications and their management in a portable way. TOSCA-based applications can be deployed on various standard-compliant TOSCA Runtimes. Vinothek is a Web-based Self-Service Portal that hides the technical details of TOSCA Runtimes and provides end users a simple graphical interface to provision Cloud applications on demand. This demonstr...

Changing requirements are common in today’s organizations, and have been a central concern in Requirements Engineering (RE). Over time, methods have been developed to deal with such variability. Yet, the latter often require considerable amount of time to be applied. As timeto-value is becoming a critical requirement of users, new types of systems have been developed to deal more efficiently wi...

Mobile ad hoc networking, as a typical example of self organized networks, is an emerging and promising communication paradigm. Not only the variety of devices but also the diversity of services is continuously increasing. Such services must be provisioned in a flexible and distributed way without central infrastructure. Thus, service deployment and management for such mobile devices are extrem...

The growing use of document stores has resulted in vast amounts of semi-structured data holding precious information, which could be profitably integrated into existing BI systems. Unfortunately, due to their schemaless nature, document stores are hardly accessible via direct OLAP querying. In this paper we propose an interactive, schema-on-read approach for finding multidimensional structures ...