On Observing Dynamic Prioritised Actions in SOC

We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and weak labelled bisimilarities for COWS, a process calculus for SOC, and provide alternative characterisations in terms of open barbed bisimilarities. These semantics show that COWS’s priority mechanisms partially recover the capability to observe receive actions (that could not be observed in a purely asynchronous setting) and that high priority primitives for termination impose specific conditions on the bisimilarities

Performance-based financing as a health system reform : mapping the key dimensions for monitoring and evaluation

Peer reviewedPublisher PD

A symbolic semantics for a clculus for service-oriented computing

We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour. This alternative semantics avoids infinite representations of COWS terms due to the value-passing nature of communication in COWS and is more amenable for automatic manipulation by analytical tools, such as e.g. equivalence and model checkers. We illustrate our approach through a ‘translation service’ scenario

Specification and analysis of SOC systems using COWS: a finance case study

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent and distributed systems. We illustrate this approach by focussing on COWS, a process calculus expressly designed for specifying and combining services, while modelling their dynamic behaviour. We present the calculus and one of the analysis techniques it enables, that is based on the temporal logic SocL and the associated model checker CMC. We demonstrate applicability of our tools by means of a large case study, from the financial domain, which is first specified in COWS, and then analysed by using SocL to express many significant properties and CMC to verify them

A Calculus for Orchestration of Web Services

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems. In this paper, we follow this approach and introduce CWS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that CWS can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We illustrate the specification style that CWS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it

Integrated Scenario-based Design Methodology for Collaborative Technology Innovation

The paper presents a scenario-based methodology developed and tested throughout cooperative research and development projects. It is aimed at supporting information technology innovation with an end-to-end Human and Social Sciences assistance. This methodology provides an integrated approach combining a vision of the potential users, business aspects and technological challenges throughout the design process. An original combination of different methods is proposed and experimented: user-centred design, scenario-based design, user and functional requirements analysis, business value analysis, user acceptance studies, and visualization methods. This methodology has been implemented in three European R&D projects, in the domain of the telecommunications and Internet infrastructure. The key contributions of this approach are that it unifies brings together visions of the users, potential business value and technology challenges thanks to scenario construction.Scenario-based design ; user requirements ; business economics ; functional requirements ; visualization

A practitioner's guide to 'Imagine', the systemic and prospective sustainability analysis

The purpose of the Mediterranean Action Plans Coastal Area Management Programme is to help Mediterranean countries implement a sustainable management process for their coastal areas. This in particular implies thinking collectively about possible futures by taking into account past developments and the present situation of the area in question. To do so and right from the very start, the Blue Plan has assisted teams involved in the CAMPs to use the systemic and prospective approach so as to highlight priorities, forecast negative developments and suggest action to be taken to establish sustainable development in the Mediterranean's coastal areas. What do we mean by sustainable development? The Blue Plan adheres to a definition that is a blend of what you find in the Bruntland Report and at the FAO, 'sustainable development is one that respects the environment, is technically appropriate, economically viable and socially acceptable, making it possible to meet the needs of present generations without jeopardising the ability of future generations to meet their own needs'. In this framework the 'Imagine' analysis of systemic and prospective sustainability now proposes a set of tools and methods (a methodological corpus) to describe, assess and examine the level of sustainability of an eco-socio system in the past, present and future by means of indicators and a participatory process that considers local actors to be experts at their level

Demonstration of visualization techniques for the control room engineer in 2030.:ELECTRA Deliverable D8.1. WP8: Future Control Room Functionality

Deliverable 8.1 reports results on analytics and visualizations of real time flexibility in support of voltage and frequency control in 2030+ power system. The investigation is carried out by means of relevant control room scenarios in order to derive the appropriate analytics needed for each specific network event

Social media in emergency management:Twitter as a tool for communicating risks to the public

One of the main challenges of emergency management lies in communicating risks to the public. On some occasions, risk communicators might seek to increase awareness over emerging risks, while on others the aim might be to avoid escalation of public reactions. Social media accounts offer an opportunity to rapidly distribute critical information and in doing so to mitigate the impact of emergencies by influencing public reactions. This article draws on theories of risk and emergency communication in order to consider the impact of Twitter as a tool for communicating risks to the public. We analyse 10,020 Twitter messages posted by the official accounts of UK local government authorities (councils) in the context of two major emergencies: the heavy snow of December 2010 and the riots of August 2011. Twitter was used in a variety of ways to communicate and manage associated risks including messages to provide official updates, encourage protective behaviour, increase awareness and guide public attention to mitigating actions. We discuss the importance of social media as means of increasing confidence in emergency management institutions