Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

Reversible behavioural autistic-like regression: A manifestation of a special (new?) epileptic syndrome in a 28-month-old child. A 2-year longitudinal study .

A 28-month-old boy was referred for acute onset of abnormal head movements. History revealed an insidious progressive regression in behaviour and communication over several months. Head and shoulder 'spasms' with alteration of consciousness and on one occasion ictal laughter were seen. The electroencephalograph (EEG) showed repeated bursts of brief generalized polyspikes and spike-wave during the 'spasms', followed by flattening, a special pattern which never recurred after treatment. Review of family videos showed a single 'minor' identical seizure 6 months previously. Magnetic resonance imaging was normal. Clonazepam brought immediate cessation of seizures, normalization of the EEG and a parallel spectacular improvement in communication, mood and language. Follow-up over the next 10 months showed a new regression unaccompained by recognized seizures, although numerous seizures were discovered during the videotaped neuropsychological examination, when stereotyped subtle brief paroxysmal changes in posture and behaviour could be studied in slow motion and compared with the 'prototypical' initial ones. The EEG showed predominant rare left-sided fronto-temporal discharges. Clonazepam was changed to carbamazepin with marked improvement in behaviour, language and cognition which has been sustained up to the last control at 51 months. Videotaped home observations allowed the documentation of striking qualitative and quantitative variations in social interaction and play of autistic type in relation to the epileptic activity. We conclude that this child has a special characteristic epileptic syndrome with subtle motor and vegetative symptomatology associated with an insidious catastrophic 'autistic-like' regression which could be overlooked. The methods used to document such fluctuating epileptic behavioural manifestations are discussed.

5-HT2A and alpha1b-adrenergic receptors entirely mediate dopamine release, locomotor response and behavioural sensitization to opiates and psychostimulants.

Addictive properties of drugs of misuse are generally considered to be mediated by an increased release of dopamine (DA) in the ventral striatum. However, recent experiments indicated an implication of alpha1b-adrenergic receptors in behavioural responses to psychostimulants and opiates. We show now that DA release induced in the ventral striatum by morphine (20 mg/kg) is completely blocked by prazosin (1 mg/kg), an alpha1-adrenergic antagonist. However, morphine-induced increases in DA release in the ventral striatum were found to be similar in mice deleted for the alpha1b-adrenergic receptor (alpha1b-AR KO) and in wild-type (WT) mice, suggesting the presence of a compensatory mechanism. This acute morphine-evoked DA release was completely blocked in alpha1b-AR KO mice by SR46349B (1 mg/kg), a 5-HT2A antagonist. SR46349B also completely blocked, in alpha1b-AR KO mice, the locomotor response and the development of behavioural sensitization to morphine (20 mg/kg) and D-amphetamine (2 mg/kg). Accordingly, the concomitant blockade of 5-HT2A and alpha1b-adrenergic receptors in WT mice entirely blocked acute locomotor responses but also the development of behavioural sensitization to morphine, D-amphetamine or cocaine (10 mg/kg). We observed, nevertheless, that inhibitory effects of each antagonist on locomotor responses to morphine or D-amphetamine were more than additive (160%) in naïve WT mice but not in those sensitized to either drug. Because of these latter data and the possible compensation by 5-HT2A receptors for the genetic deletion of alpha1b-adrenergic receptors, we postulate the existence of a functional link between these receptors, which vanishes during the development of behavioural sensitization.

HIV behavioural surveillance in Switzerland: trends in drug consumption, injection and syringe distribution, 1993-2011

Background: As part of the second generation surveillance system for HIV/Aids in Switzerland, repeated cross-sectional surveys were conducted in 1993, 1994, 1996, 2000, 2006 and 2011 among attenders of all low threshold facilities (LTFs) with needle exchange programmes and/or supervised drug consumption rooms for injection or inhalation. The number of syringes distributed to the injectors has also been measured annually since 2000. Distribution in other settings, such as pharmacies, is also monitored nationally. Methods: Periodic surveys of LTFs have been conducted using an interviewer/self-administered questionnaire structured along four themes: socio-demographic characteristics, drug consumption, risk/preventive behaviour and health. Analysis is restricted to attenders who had injected drugs during their lifetime (IDU´s). Pearson's chi-square test and trend analysis were conducted on annual aggregated data. Trend significance was assessed using Stata's non parametric test nptrend. Results: Median age of IDU´s increased from 26 years in 1993 to 40 in 2011; most are men (78%). Total yearly number of syringes distributed by LTFs has decreased by 44% in 10 years. Use of cocaine has increased (Table 1). Injection, regular use of heroin and borrowing of syringes/needles have decreased, while sharing of other material remains stable. There are fewer new injectors; more IDU´s report substitution treatment. Most attenders had ever been tested for HIV (90% in 1993, 94% in 2011). Reported prevalence of HIV remained stable around 10%; that of HCV decreased from 62% in 2000 to 42% in 2011. Conclusions: Overall, findings indicate a decrease in injection as a means of drug consumption in that population. This interpretation is supported by data from other sources, such as a national decrease in distribution from other delivery points. Switzerland's behavioural surveillance system is sustainable and allows the HIV epidemic to be monitored among this hard-to-reach population, providing information for planning and evaluation.

Cluster analysis of behavioural and event-related potentials during a contingent negative variation paradigm in remitting-relapsing and benign forms of multiple sclerosis

Background: Event-related potentials (ERPs) may be used as a highly sensitive way of detecting subtle degrees of cognitive dysfunction. On the other hand, impairment of cognitive skills is increasingly recognised as a hallmark of patients suffering from multiple sclerosis (MS). We sought to determine the psychophysiological pattern of information processing among MS patients with the relapsing-remitting form of the disease and low physical disability considered as two subtypes: 'typical relapsing-remitting' (RRMS) and 'benign MS' (BMS). Furthermore, we subjected our data to a cluster analysis to determine whether MS patients and healthy controls could be differentiated in terms of their psychophysiological profile.Methods: We investigated MS patients with RRMS and BMS subtypes using event-related potentials (ERPs) acquired in the context of a Posner visual-spatial cueing paradigm. Specifically, our study aimed to assess ERP brain activity in response preparation (contingent negative variation -CNV) and stimuli processing in MS patients. Latency and amplitude of different ERP components (P1, eN1, N1, P2, N2, P3 and late negativity -LN) as well as behavioural responses (reaction time -RT; correct responses -CRs; and number of errors) were analyzed and then subjected to cluster analysis. Results: Both MS groups showed delayed behavioural responses and enhanced latency for long-latency ERP components (P2, N2, P3) as well as relatively preserved ERP amplitude, but BMS patients obtained more important performance deficits (lower CRs and higher RTs) and abnormalities related to the latency (N1, P3) and amplitude of ERPs (eCNV, eN1, LN). However, RRMS patients also demonstrated abnormally high amplitudes related to the preparation performance period of CNV (cCNV) and post-processing phase (LN). Cluster analyses revealed that RRMS patients appear to make up a relatively homogeneous group with moderate deficits mainly related to ERP latencies, whereas BMS patients appear to make up a rather more heterogeneous group with more severe information processing and attentional deficits. Conclusions: Our findings are suggestive of a slowing of information processing for MS patients that may be a consequence of demyelination and axonal degeneration, which also seems to occur in MS patients that show little or no progression in the physical severity of the disease over time.

Performing masculinity, influencing health: a qualitative mixed-methods study of young Spanish men

Background: The literature shows how gender mandates contribute to differences in exposure and vulnerability to certain health risk factors. This paper presents the results of a study developed in the south of Spain, where research aimed at understanding men from a gender perspective is still limited. Objective: The aim of this paper is to explore the lay perceptions and meanings ascribed to the idea of masculinity, identifying ways in which gender displays are related to health. Design: The study is based on a mixed-methods data collection strategy typical of qualitative research. We performed a qualitative content analysis focused on manifest and latent content. Results: Our analysis showed that the relationship between masculinity and health was mainly defined with regard to behavioural explanations with an evident performative meaning. With regard to issues such as driving, the use of recreational drugs, aggressive behaviour, sexuality, and body image, important connections were established between manhood acts and health outcomes. Different ways of understanding and performing the male identity also emerged from the results. The findings revealed the implications of these aspects in the processes of change in the identity codes of men and women. Conclusions: The study provides insights into how the category ‘man’ is highly dependent on collective practices and performative acts. Consideration of how males perform manhood acts might be required in guidance on the development of programmes and policies aimed at addressing gender inequalities in health in a particular local context.

Genetic redox dysregulation induces behavioural deficits in the adult mouse: an animal model for schizophrenia

Background: Glutathione (GSH), a major cellular redox regulator and antioxidant, is decreased in cerebrospinal fluid and prefrontal cortex of schizophrenia patients. The gene of the key GSH-synthesizing enzyme, glutamate-cysteine ligase, modifier (GCLM) subunit, is associated with schizophrenia, suggesting that the deficit in the GSH system is of genetic origin. Using the GCLM knock-out (KO) mouse as model system with 60% decreased brain GSH levels and, thus, strong vulnerability to oxidative stress, we have shown that GSH dysregulation results in abnormal mouse brain morphology (e.g., reduced parvalbumin, PV, immuno-reactivity in frontal areas) and function. Additional oxidative stress, induced by GBR12909 (a dopamine re-uptake inhibitor), enhances morphological changes even further. Aim: In the present study we use the GCLM KO mouse model system, asking now, whether GSH dysregulation also compromises mouse behaviour and cognition. Methods: Male and female wildtype (WT) and GCLM-KO mice are treated with GBR12909 or phosphate buffered saline (PBS) from postnatal day (P) 5 to 10, and are behaviourally tested at P 60 and older. Results: In comparison to WT, KO animals of both sexes are hyperactive in the open field, display more frequent open arm entries on the elevated plus maze, longer float latencies in the Porsolt swim test, and more frequent contacts of novel and familiar objects. Contrary to other reports of animal models with reduced PV immuno-reactivity, GCLM-KO mice display normal rule learning capacity and perform normally on a spatial recognition task. GCLM-KO mice do, however, show a strong deficit in object-recognition after a 15 minutes retention delay. GBR12909 treatment exerts no additional effect. Conclusions: The results suggest that animals with impaired regulation of brain oxidative stress are impulsive and have reduced behavioural control in novel, unpredictable contexts. Moreover, GSH dysregulation seems to induce a selective attentional or stimulus-encoding deficit: despite intensive object exploration, GCLM-KO mice cannot discriminate between novel and familiar objects. In conclusion, the present data indicate that GSH dysregulation may contribute to the manifestation of behavioural and cognitive anomalies that are associated with schizophrenia.

Swiss behavioural surveillance system 1986-2008

Background: Second generation surveillance is a central feature of HIV/AIDS policy in Switzerland. Behavioural surveys in the general population, men having sex with men (MSM) and injecting drug users (IDU) have been regularly conducted since the early nineties. After peaking at 2144 cases in 1991, the number of new HIV cases notified to the Ministry of Health decreased in each subpopulation until 2000 (n=578) and then rose again to 735 in 2006. The recent increase is mainly due to MSM. Methods: In the general population, representative cross-sectional telephone surveys have been conducted 11 times since 1987. Surveys in convenience samples of MSM, recruited through gay newspapers and gay organisations, have been conducted 5 times since 1992. Surveys among IDU's attending needle exchange programmes have been conducted 5 times since 1993. Condom statistics, available since 1986, are included in the behavioural surveillance system. Results: In the general population aged 17-30, systematic condom use with casual partners in the last six months increased from 8.0% in 1987 to 75.8% in 2007. The proportion of MSM reporting anal intercourse with casual partners in the last 12 months increased from 61% in 1992 to 79% in 2007 (lowest value 56% in 1994) and unprotected anal intercourse with these partners increased from 14 % in 1992 to 24% in 2007 (lowest value 9% in 1994). The proportion of IDUs reporting borrowing used injection equipment decreased from 16.5% in 1993 to 8.9% in 2006. The ratio condoms released to retail/population aged 15-65 increased from 1.68 in 1986 to 3.8 in 2006. Conclusions: It has been possible to maintain a coherent behavioural surveillance system on a long-term basis, allowing for the monitoring of HIV prevention policy outcome and forseeing the development and distribution of new HIV cases in the population.

Low prevalence of behavioural and emotional problems among Swiss paediatric patients with inflammatory bowel disease.

OBJECTIVES: Whether behavioural and emotional maladjustment is more prevalent in children with inflammatory bowel disease (IBD) than in healthy controls remains controversial. The aim of this study was to assess paediatric IBD patients for problems with emotional and behavioural adjustment and to examine associations with clinical and demographic variables. METHODS: Data from paediatric patients with IBD enrolled in the Swiss IBD Cohort Study and the results of both the parent-rated Strengths and Difficulties Questionnaire (SDQ) and the self-reported Child Depression Inventory (CDI) were analysed. Of the 148 registered patients, 126 had at least one questionnaire completed and were included. RESULTS: The mean age of 71 patients with Crohn's disease (44 males, 27 females) was 13.4 years, and 12.8 years for the 55 patients with ulcerative or indeterminate colitis. The mean duration of disease was 1.2 and 2.7 years, respectively. The total score of the SDQ was abnormal in 11.4% of cases compared to 10% in the normal population. Abnormal sub-scores were found in 20.2% of subjects for the domain of emotional problems and in 17.1% for problems with peers. The total CDI T score indicated a significantly lower prevalence of clinical depression in IBD patients than in normal youth. No correlation between the total SDQ scores or the CDI T scores and gender, type or duration of IBD, inflammatory markers or disease scores was found. CONCLUSIONS: The prevalence of problems with behavioural and emotional adjustment among Swiss paediatric IBD patients is low and comparable to that of the normal population.

Existential behavioural therapy for informal caregivers of palliative patients: a randomised controlled trial.

BACKGROUND: Existential behavioural therapy (EBT) was developed to support informal caregivers of palliative patients in the last stage of life and during bereavement as a manualised group psychotherapy comprising six sessions. We tested the effectiveness of EBT on mental stress and quality of life (QOL). METHODS: Informal caregivers were randomly assigned (1:1) to EBT or a treatment-as-usual control group using computer-generated numbers in blocks of 10. Primary outcomes were assessed with the Brief Symptom Inventory (subscales somatisation, anxiety and depression), the Satisfaction with Life Scale (SWLS), the WHOQOL-BREF and a numeric rating scale for QOL (QOL-NRS, range 0-10). Data were collected at baseline, pre-treatment, post-treatment and follow-ups after 3 and 12âeuro0/00months. Treatment effects were assessed with a multivariate analysis of covariance. RESULTS: Out of 160 relatives, 81 were assigned to EBT and 79 to the control group. Participants were 54.5âeuro0/00±âeuro0/0013.2âeuro0/00years old; 69.9% were female. The multivariate model was significant for the pre-/post-comparison (pâeuro0/00=âeuro0/000.005) and the pre-/12-month comparison (pâeuro0/00=âeuro0/000.05) but not for the pre-/3-month comparison. Medium to large effects on anxiety and QOL (SWLS, WHOQOL-BREF, QOL-NRS) were found at post-treatment; medium effects on depression and QOL (QOL-NRS) emerged in the 12-month follow-up. No adverse effects of the intervention were observed. CONCLUSION: Existential behavioural therapy appears to exert beneficial effects on distress and QOL of informal caregivers of palliative patients. Further longitudinal evidence is needed to confirm these findings. Copyright © 2013 John Wiley & Sons, Ltd.

HIV and STI behavioural surveillance among men who have sex with men in Europe.

This paper describes behavioural surveillance for HIV and sexually transmitted infections (STI) among men who have sex with men (MSM) in Europe, focusing on the methods and indicators used. In August 2008, questionnaires were sent to European Union Member States and European Free Trade Association countries seeking information on behavioural surveillance activities among eight population groups including MSM. Thirty-one countries were invited to take part in the survey and 27 returned a questionnaire on MSM. Of these 27 countries, 14 reported that there was a system of behavioural surveillance among MSM in their country while another four countries had conducted behavioural surveys of some kind in this subpopulation. In the absence of a sampling frame, all European countries used convenience samples for behavioural surveillance among MSM. Most European countries used the Internet for recruiting and surveying MSM for behavioural surveillance reflecting increasing use of the Internet by MSM for meeting sexual partners. While there was a general consensus about the main behavioural indicators (unprotected anal intercourse, condom use, number of partners, HIV testing), there was considerable diversity between countries in the specific indicators used. We suggest that European countries reach an agreement on a core set of indicators. In addition we recommend that the process of harmonising HIV and STI behavioural surveillance among MSM in Europe continues.

Challenges to the implementation of behavioural survellance for HIV/STI in Europe

Background: Well-conducted behavioural surveillance (BS) is essential for policy planning and evaluation. Data should be comparable across countries. In 2008, the European Centre for Disease Prevention and Control (ECDC) began a programme to support Member States in the implementation of BS for Second Generation Surveillance. Methods: Data from a mapping exercise on current BS activities in EU/EFTA countries led to recommendations for establishing national BS systems and international coordination, and the definition of a set of core and transversal (UNGASS-Dublin compatible) indicators for BS in the general and eight specific populations. A toolkit for establishing BS has been developed and a BS needs-assessment survey has been launched in 30 countries. Tools for BS self-assessment and planning are currently being tested during interactive workshops with country representatives. Results: The mapping exercise revealed extreme diversity between countries. Around half had established a BS system, but this did not always correspond to the epidemiological situation. Challenges to implementation and harmonisation at all levels emerged from survey findings and workshop feedback. These include: absence of synergy between biological and behavioural surveillance and of actors having an overall view of all system elements; lack of awareness of the relevance of BS and of coordination between agencies; insufficient use of available data; financial constraints; poor sustainability, data quality and access to certain key populations; unfavourable legislative environments. Conclusions: There is widespread need in the region not only for technical support but also for BS advocacy: BS remains the neglected partner of second generation surveillance and requires increased political support and capacity-building in order to become effective. Dissemination of validated tools for BS, developed in interaction with country experts, proves feasible and acceptable.

Dyslexia in a French-Spanish bilingual girl: behavioural and neural modulations following a visual attention span intervention.

We report the case study of a French-Spanish bilingual dyslexic girl, MP, who exhibited a severe visual attention (VA) span deficit but preserved phonological skills. Behavioural investigation showed a severe reduction of reading speed for both single items (words and pseudo-words) and texts in the two languages. However, performance was more affected in French than in Spanish. MP was administered an intensive VA span intervention programme. Pre-post intervention comparison revealed a positive effect of intervention on her VA span abilities. The intervention further transferred to reading. It primarily resulted in faster identification of the regular and irregular words in French. The effect of intervention was rather modest in Spanish that only showed a tendency for faster word reading. Text reading improved in the two languages with a stronger effect in French but pseudo-word reading did not improve in either French or Spanish. The overall results suggest that VA span intervention may primarily enhance the fast global reading procedure, with stronger effects in French than in Spanish. MP underwent two fMRI sessions to explore her brain activations before and after VA span training. Prior to the intervention, fMRI assessment showed that the striate and extrastriate visual cortices alone were activated but none of the regions typically involved in VA span. Post-training fMRI revealed increased activation of the superior and inferior parietal cortices. Comparison of pre- and post-training activations revealed significant activation increase of the superior parietal lobes (BA 7) bilaterally. Thus, we show that a specific VA span intervention not only modulates reading performance but further results in increased brain activity within the superior parietal lobes known to housing VA span abilities. Furthermore, positive effects of VA span intervention on reading suggest that the ability to process multiple visual elements simultaneously is one cause of successful reading acquisition.

Mapping HIV/STI behavioural surveillance in Europe.

BACKGROUND: Used in conjunction with biological surveillance, behavioural surveillance provides data allowing for a more precise definition of HIV/STI prevention strategies. In 2008, mapping of behavioural surveillance in EU/EFTA countries was performed on behalf of the European Centre for Disease prevention and Control. METHOD: Nine questionnaires were sent to all 31 member States and EEE/EFTA countries requesting data on the overall behavioural and second generation surveillance system and on surveillance in the general population, youth, men having sex with men (MSM), injecting drug users (IDU), sex workers (SW), migrants, people living with HIV/AIDS (PLWHA), and sexually transmitted infection (STI) clinics patients. Requested data included information on system organisation (e.g. sustainability, funding, institutionalisation), topics covered in surveys and main indicators. RESULTS: Twenty-eight of the 31 countries contacted supplied data. Sixteen countries reported an established behavioural surveillance system, and 13 a second generation surveillance system (combination of biological surveillance of HIV/AIDS and STI with behavioural surveillance). There were wide differences as regards the year of survey initiation, number of populations surveyed, data collection methods used, organisation of surveillance and coordination with biological surveillance. The populations most regularly surveyed are the general population, youth, MSM and IDU. SW, patients of STI clinics and PLWHA are surveyed less regularly and in only a small number of countries, and few countries have undertaken behavioural surveys among migrant or ethnic minorities populations. In many cases, the identification of populations with risk behaviour and the selection of populations to be included in a BS system have not been formally conducted, or are incomplete. Topics most frequently covered are similar across countries, although many different indicators are used. In most countries, sustainability of surveillance systems is not assured. CONCLUSION: Although many European countries have established behavioural surveillance systems, there is little harmonisation as regards the methods and indicators adopted. The main challenge now faced is to build and maintain organised and functional behavioural and second generation surveillance systems across Europe, to increase collaboration, to promote robust, sustainable and cost-effective data collection methods, and to harmonise indicators.

Theory of mind impairment in patients with behavioural variant fronto-temporal dementia (bv-FTD) increases caregiver burden.

BACKGROUND: Theory of mind (ToM), the capacity to infer the intention, beliefs and emotional states of others, is frequently impaired in behavioural variant fronto-temporal dementia patients (bv-FTDp); however, its impact on caregiver burden is unexplored. SETTING: National Institute of Neurological Disorders and Stroke, National Institutes of Health. SUBJECTS: bv-FTDp (n = 28), a subgroup of their caregivers (n = 20) and healthy controls (n = 32). METHODS: we applied a faux-pas (FP) task as a ToM measure in bv-FTDp and healthy controls and the Zarit Burden Interview as a measure of burden in patients' caregivers. Patients underwent structural MRI; we used voxel-based morphometry to examine relationships between regional atrophy and ToM impairment and caregiver burden. RESULTS: FP task performance was impaired in bv-FTDp and negatively associated with caregiver burden. Atrophy was found in areas involved in ToM. Caregiver burden increased with greater atrophy in left lateral premotor cortex, a region associated in animal models with the presence of mirror neurons, possibly involved in empathy. CONCLUSION: ToM impairment in bv-FTDp is associated with increased caregiver burden.