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 C

WS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that C

WS 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 C

WS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it.     

The Development of Family Alliance From Pregnancy to Toddlerhood and Child Outcomes at 5 Years

This article presents a longitudinal study of the development of “family alliance” from pregnancy to toddlerhood in a community sample, as well as its links with the emotional and cognitive development of the child at age 5 years. Family alliance is defined as the quality of the interactive coordination between family members. We consider that the alliance constitutes a context for the child to learn emotion regulation and to develop an understanding of inner states. Family interactions (N = 38) were observed at the 5th month of pregnancy and at 3, 9, and 18 months after birth in a standardized situation of observation (Lausanne Trilogue Play). Marital satisfaction and child temperament were assessed through self‐reported questionnaires. Several outcomes of the child at age 5 years were measured: theory of mind performances, predominant emotional themes in pretend play, internalized and externalized symptoms. Results show that (a) three patterns of evolution of family alliance occur: “high stable” (n = 19), “high to low” (n = 10), and “low stable” (n = 9); (b) a high stable alliance is predictive of better outcomes in children at age 5 years, especially regarding theory of mind; (c) the temperament of the child is predictive of child outcomes; and (d) an interaction effect occurs between family alliance and temperament. These results highlight the importance of both family‐level and individual‐level variables for understanding individual differences in the social and cognitive development of children.     

Dynamic events and presentism

Dynamic events such as a rolling ball moving from one place to another involve change and time intervals and thus presumably successions of static events occurring one after the other, e.g., the ball??s being at a certain place and then at another place during the interval in question. When dynamic events are experienced they should count as present and thus as existent from a presentist point of view. But this seems to imply the existence of the static events involved in them. This in turn seems to imply that there exist past and perhaps even future static events. Therefore, there is a problem for presentism. A possible way out for the presentist is proposed, based on allowing for time-indexed past-oriented and future-oriented properties. One may raise objections regarding the ontological status of these properties and the commitment to past and future objects and times that they seem to bring with them, but these objections can be put to rest.     

On the relationship between implicit and explicit self-esteem: The moderating role of dismissing attachment

Recently, dual models of social cognition have distinguished the implicit (affective) and the explicit (propositional) levels of self-esteem. Many studies have found that implicit and explicit self-esteem are weakly or even not correlated. Concerning the moderating factors of such a relationship, other studies stressed the importance of emotional awareness in the translation of implicit self-evaluations into a propositional format. If so, the defensive strategy which characterizes dismissing attachment should determine a fictitious explicit self-image, by impairing the awareness of self-related emotional experiences. At the implicit level, instead, such defensive processes should not operate. We therefore hypothesized that dismissing attachment would increase the implicit-explicit self-esteem discordance. Participants were 145 university students with a mean age of 20.4 (SD = 2.75). Moderated multiple regression analyses were conducted to test for the interactive effects of the Self-Esteem Implicit Association Test and the Attachment Style Questionnaire scales on the Rosenberg Self-Esteem Scale. Findings revealed an interaction effect only for the relationships as secondary scale, confirming that dismissing style, but not other attachment dimensions, increases implicit-explicit self-esteem discordance.     

Genealogical Solutions to the Problem of Critical Distance: Political Theory,Contextualism and the case of Punishment in Transitional Scenarios

Res Publica - In this paper, I argue that one approach to normative political theory, namely contextualism, can benefit from a specific kind of historical inquiry, namely genealogy, because the...     

BDNF serum levels in subjects developing or not post-traumatic stress disorder after trauma exposure

Post-traumatic stress disorder (PTSD) is a syndrome resulting from exposure to a severe traumatic event that poses threatened death or injury and produces intense fear and helplessness. The neural structures implicated in PTSD development belong to the limbic system, an important region for emotional processing. Brain-derived neurotrophic factor (BDNF) is a neurotrophin that serves as survival factor for selected populations of central nervous system (CNS) neurons and plays a role in the limbic system by regulating synaptic plasticity, memory processes and behavior. Impaired BDNF production in the brain can lead to a variety of CNS dysfunctions including symptoms associated with PTSD. However, so far fewer studies have investigated this neurotrophin in patients with PTSD. Furthermore, given the multiple role of BDNF in various CNS disorders, it cannot be excluded that traumatic events per se may influence neurotrophin levels, without a direct association to the PTSD syndrome.     

Paradoxical Effects of Warning in the Production of Children's False Memories

The effects of warning on false recognition and associated subjective experience of false recollection and familiarity were investigated in 7- to 13-year-old children and young adults (N = 259) using the Deese-Roediger-McDermott (DRM) paradigm. Two warning conditions (warning with an example of a critical lure and warning without an example of a critical lure) were compared to a control condition, in which no warning was received. We found that 7- to 8-year-olds exhibited higher false recognition in the warning-with-example condition compared with the control condition; in contrast, 12- to 13-year-olds and young adults exhibited reduced false recognition in the warning-with-example condition. No effect of warning was observed in 10- to 11-year-olds. The subjective experience associated with false memories was similar across ages. In contrast, age-related increases in subjective recollection were found for true memories. The processes that enhance or suppress false memories during development are discussed.     

First Language Attrition Induces Changes in Online Morphosyntactic Processing and Re‐Analysis: An ERP Study of Number Agreement in Complex Italian Sentences

First language (L1) attrition in adulthood offers new insight on neuroplasticity and the role of language experience in shaping neurocognitive responses to language. Attriters are multilinguals for whom advancing L2 proficiency comes at the cost of the L1, as they experience a shift in exposure and dominance (e.g., due to immigration). To date, the neurocognitive mechanisms underlying L1 attrition are largely unexplored. Using event‐related potentials (ERPs), we examined L1‐Italian grammatical processing in 24 attriters and 30 Italian native‐controls. We assessed whether (a) attriters differed from non‐attriting native speakers in their online detection and re‐analysis/repair of number agreement violations, and whether (b) differences in processing were modulated by L1‐proficiency. To test both local and non‐local agreement violations, we manipulated agreement between three inflected constituents and examined ERP responses on two of these (subject, verb , modifier ). Our findings revealed group differences in amplitude, scalp distribution, and duration of LAN/N400 + P600 effects. We discuss these differences as reflecting influence of attriters’ L2‐English, as well as shallower online sentence repair processes than in non‐attriting native speakers. ERP responses were also predicted by L1‐Italian proficiency scores, with smaller N400/P600 amplitudes in lower proficiency individuals. Proficiency only modulated P600 amplitude between 650 and 900 ms, whereas the late P600 (beyond 900 ms) depended on group membership and amount of L1 exposure within attriters. Our study is the first to show qualitative and quantitative differences in ERP responses in attriters compared to non‐attriting native speakers. Our results also emphasize that proficiency predicts language processing profiles, even in native‐speakers, and that the P600 should not be considered a monolithic component.     

First steps toward an understanding of procedural fairness

In four experiments, we tested whether 20‐month‐old infants are sensitive to violations of procedural impartiality. Participants were shown videos in which help was provided in two different ways. A main character provided help to two other agents either impartially, by helping them at the same time, or in a biased way, by helping one agent almost immediately while the other after a longer delay. Infants looked reliably longer at the biased than at the unbiased help scenarios despite the fact that in both scenarios help was provided to each beneficiary. This suggests that human infants can attend to departures from impartiality and, in their second year, they already show an initial understanding of procedural fairness.