Refinement laws for verifying library subroutine adaptation

In component-based software engineering programs are constructed from pre-defined software library modules. However, if the library's subroutines do not exactly match the programmer's requirements, the subroutines' code must be adapted accordingly. For this process to be acceptable in safety or mission-critical applications, where all code must be proven correct, it must be possible to verify the correctness of the adaptations themselves. In this paper we show how refinement theory can be used to model typical adaptation steps and to define the conditions that must be proven to verify that a library subroutine has been adapted correctly.

Searching the world wide web for local services and facilities: A review on the patterns of location-based queries

Many queries sent to search engines refer to specific locations in the world. Location-based queries try to find local services and facilities around the user’s environment or in a particular area. This paper reviews the specifications of geospatial queries and discusses the similarities and differences between location-based queries and other queries. We introduce nine patterns for location-based queries containing either a service name alone or a service name accompanied by a location name. Our survey indicates that at least 22% of the Web queries have a geospatial dimension and most of these can be considered as location-based queries. We propose that location-based queries should be treated different from general queries to produce more relevant results.

Impact of specialised first-episode psychosis treatment on suicide following initial presentation to mental health services: Retrospective cohort study

Background: Suicide risk in psychosis peaks early in the course, however little is known about the effect on rates of suicide of specialised first-episode psychosis (FEP) programs.

Linking contracts, processes and services: An event-driven approach

This paper addresses the problem of mapping business contract conditions onto the messages and rules that represent service interactions in a collaborative business process. We describe why this mapping is not straightforward by means of an example. We then consider a message-driven process language as a target for the mapping and use this mapping solution to discuss broad range of problems related to the mapping problem.

The antecedents and consequences of customer emotions in collective hedonic services: An exploratory study

The investigation of the antecedents that influence positive and negative customer emotions and how these emotions influence service outcomes has not been studied in the context of collective hedonic services. In addition, the possibility of moderating effects has not been explored. This paper reports the findings of a qualitative exploratory study that sought to understand the antecedents and consequences of customer emotions in the context of collective hedonic services. This study involved five focus group interviews of customers that attended sporting, performing arts and popular concert events. The findings have important implications for managers and for managing the service process of collective hedonic services.