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. 相似文献
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 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. 相似文献
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. 相似文献
Participants saw a small number of objects in a visual display and performed a visual detection or visual-discrimination task in the context of task-irrelevant spoken distractors. In each experiment, a visual cue was presented 400 ms after the onset of a spoken word. In experiments 1 and 2, the cue was an isoluminant color change and participants generated an eye movement to the target object. In experiment 1, responses were slower when the spoken word referred to the distractor object than when it referred to the target object. In experiment 2, responses were slower when the spoken word referred to a distractor object than when it referred to an object not in the display. In experiment 3, the cue was a small shift in location of the target object and participants indicated the direction of the shift. Responses were slowest when the word referred to the distractor object, faster when the word did not have a referent, and fastest when the word referred to the target object. Taken together, the results demonstrate that referents of spoken words capture attention. 相似文献
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... 相似文献