Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Controlling Groundwater Exploitation Through Economic Instruments: Current Practices, Challenges and Innovative Approaches

Groundwater can be considered as a common-pool resource, is often overexploited and, as a result, there are growing management pressures. This chapter starts with a broad presentation of the range of economic instruments that can be used for groundwater management, considering current practices and innovative approaches inspired from the literature on Common Pool Resources management. It then goes on with a detailed presentation of groundwater allocation policies implemented in France, the High Plains aquifer in the USA, and Chile. The chapter concludes with a discussion of social and political difficulties associated with implementing economic instruments for groundwater management

«La relation de limitation et d’exception dans le français d’aujourd’hui : excepté, sauf et hormis comme pivots d’une relation algébrique »

L’analyse des emplois prépositionnels et des emplois conjonctifs d’ “excepté”, de “sauf” et d’ “hormis” permet d’envisager les trois prépositions/conjonctions comme le pivot d’un binôme, comme la plaque tournante d’une structure bipolaire. Placées au milieu du binôme, ces prépositions sont forcées par leur sémantisme originaire dûment métaphorisé de jouer le rôle de marqueurs d’inconséquence systématique entre l’élément se trouvant à leur gauche et celui qui se trouve à leur droite. L’opposition qui surgit entre les deux éléments n’est donc pas une incompatibilité naturelle, intrinsèque, mais extrinsèque, induite. Dans la plupart des cas (emplois limitatifs), cette opposition prend la forme d’un rapport entre une « classe » et le « membre (soustrait) de la classe », ou bien entre un « tout » et une « partie » ; dans d’autres (emplois exceptifs), cette opposition se manifeste au contraire comme une attaque de front portée par un « tout » à un autre « tout ». De plus, l’inconséquence induite mise en place par la préposition/conjonction paraît, en principe, tout à fait insurmontable. Dans l’assertion « les écureuils vivent partout, sauf en Australie » (que l’on peut expliciter par « Les écureuils vivent partout, sauf [qu’ils ne vivent pas] en Australie »), la préposition semble en effet capable d’impliquer le prédicat principal avec signe inverti, et de bâtir sur une telle implication une sorte de sous énoncé qui, à la rigueur, est totalement inconséquent avec celui qui le précède (si « les écureuils ne vivent pas en Australie », le fait qu’ils « vivent partout » est faux). Néanmoins, l’analyse montre qu’alors que certaines de ces oppositions peuvent enfin être dépassées, d’autres ne le peuvent pas. C’est, respectivement, le cas des relations limitatives et des relations exceptives. La relation limitative, impliquant le rapport « tout » - « partie », permet de résoudre le conflit dans les termes d’une somme algébrique entre deux sous énoncés pourvus de différent poids informatif et de signe contraire. Les valeurs numériques des termes de la somme étant déséquilibrées, le résultat est toujours autre que zéro. La relation exceptive, au contraire, qui n’implique pas le rapport « tout » - « partie », n’est pas capable de résoudre le conflit entre deux sous énoncés pourvus du même poids informatif et en même temps de signe contraire : les valeurs numériques des termes de la somme étant symétriques et égales, le résultat sera toujours équivalent à zéro

A dyadic approach to understanding the impact of breast cancer on relationships between partners during early survivorship

© 2016 The Author(s). Background: The shared impact of breast cancer for women and their male partners is emerging as an important consideration during the experience of a breast cancer diagnosis, particularly during survivorship. This study aimed to explore the experiences of women and their partners during early survivorship and contributes a range of insights into the lives of those intimately affected by breast cancer. Methods: In-depth interviews were completed with Australian women survivors of breast cancer (n = 8) and their partners (n = 8), between six months and five years following cessation of treatment. Questions included a focus on the women and their partners' daily experiences during early survivorship, including the management of ongoing symptoms, engagement in leisure and social interests, returning to work, communicating with each other, maintenance of the current relationship and other important roles and responsibilities. Thematic analysis was employed to determine key themes arising from the dyadic accounts of women and their partners' experiences during early breast cancer survivorship. Results: Women and their partners experienced many changes to their previous roles, responsibilities and relationships during early breast cancer survivorship. Couples also reported a range of communication, intimacy and sexuality concerns which greatly impacted their interactions with each other, adding further demands on the relationship. Three significant themes were determined: (1) a disconnection within the relationship - this was expressed as the woman survivor of breast cancer needing to prioritise her own needs, sometimes at the expense of her partner and the relationship; (2) reformulating the relationship - this reflects the strategies used by couples to negotiate changes within the relationship; and (3) support is needed to negotiate the future of the relationship - couples emphasised the need for additional support and resources to assist them in maintaining their relationship during early survivorship. Conclusion: It can be concluded that the early survivorship period represents a crucial time for both women and their partners and there are currently limited options available to meet their shared needs and preferences for support. Findings indicate that a suitable model of care underpinned by a biopsychosocial framework, access to comprehensive assessment, timely support and the provision of targeted resources are urgently needed to assist women and their partners during this critical time

Systematic review for non-surgical interventions for the management of late radiation proctitis

Chronic radiation proctitis produces a range of clinical symptoms for which there is currently no recommended standard management. The aim of this review was to identify the various non-surgical treatment options for the management of late chronic radiation proctitis and evaluate the evidence for their efficacy. Synonyms for radiation therapy and for the spectrum of lower gastrointestinal radiation toxicity were combined in an extensive search strategy and applied to a range of databases. The included studies were those that involved interventions for the non-surgical management of late radiation proctitis. Sixty-three studies were identified that met the inclusion criteria, including six randomised controlled trials that described the effects of anti-inflammatory agents in combination, rectal steroids alone, rectal sucralfate, short chain fatty acid enemas and different types of thermal therapy. However, these studies could not be compared. If the management of late radiation proctitis is to become evidence based, then, in view of its episodic and variable nature, placebo controlled studies need to be conducted to clarify which therapeutic options should be recommended. From the current data, although certain interventions look promising and may be effective, one small or modest sized study, even if well-conducted, is insufficient to implement changes in practice. In order to increase recruitment to trials, a national register of cases with established late radiation toxicity would facilitate multi-centre trials with specific entry criteria, formal baseline and therapeutic assessments providing standardised outcome data

Dynamic Operation of HT-PEFC: in-operando imaging of phosphoric acid profiles and (re)distribution

Synchrotron based X-ray tomographic microscopy (XTM) is used for imaging and quantifying the redistribution of phosphoric acid (PA) in high temperature polymer electrolyte fuel cells (HT-PEFC) in-operando. The main focus of this work is the redistribution of phosphoric acid under dynamic load conditions. Therefore, two different load cycling protocols were applied and the transient redistribution within the fuel cell components was imaged. XTM, for the first time, revealed that the examined PBI based membrane system exhibits extensive electrolyte migration from cathode to anode under high current density operation. PA flooding of anode gas diffusion layer (GDL) and flow field channels occurred. Implications for technical applications and fuel cell degradation are discussed. Quantification of the migrated electrolyte is made by correlating in-operando grayscale values to ex-situ reference samples