CaSPiS: A Calculus of Sessions, Pipelines and Services

Service-oriented computing is calling for novel computational models and languages with well disciplined primitives for client-server interaction, structured orchestration and unexpected events handling. We present CaSPiS, a process calculus where the conceptual abstractions of sessioning and pipelining play a central role for modelling service-oriented systems. CaSPiS sessions are two-sided, uniquely named and can be nested. CaSPiS pipelines permit orchestrating the flow of data produced by different sessions. The calculus is also equipped with operators for handling (unexpected) termination of the partner’s side of a session. Several examples are presented to provide evidence of the flexibility of the chosen set of primitives. One key contribution is a fully abstract encoding of Misra et al.’s orchestration language Orc. Another main result shows that in CaSPiS it is possible to program a “graceful termination” of nested sessions, which guarantees that no session is forced to hang forever after the loss of its partner

A taxonomic revision of Hypogena(Coleoptera: Tenebrionidae) and a review of antennal sensory structures in Tenebrionidae

Tenebrionidae is a diverse, worldwide family of beetles comprising approximately 20,000 species in 2,300 genera (Bousquet et al., 2018). Hypogena Dejean 1831 is a genus of 13 species of subcortical, horned beetles in the family. This genus is primarily identified using male specific characters like the presence of cephalic horns and aedeagal structures. Hypogena is currently placed within the tribe Triboliini, but recent phylogenetic work indicates that the current generic composition of Triboliini is paraphyletic. Scanning electron microscopy (SEM) is used to identify cryptic characters in Hypogena that separate it from other Triboliini genera. Additionally, four new species of Hypogena are described here. Within Tenebrionidae, as with most other insects, antennae are important chemoreceptors and are putatively under a significant amount of selection pressure. In the present study, scanning electron microscopy was used to examine stellate sensoria within the family. The presence of stellate sensoria is a highly conserved trait within Tenebrionidae. Sensoria types are mapped onto a recent phylogeny of Tenebrionidae to identify patterns in sensoria evolution and classify the patterns into distinct character states. Results indicate that stellate sensoria, presence and type, are useful for delimiting higher level taxa within Tenebrionidae. Finally, this study outlines a relatively low cost method of antenna specimen preparation for examination with a scanning electron microscope. This will allow future researchers to examine stellate sensoria in other groups of Tenebrionidae to further test hypotheses presented here

Listening to student voices through scenario design: Aligning learning.futures

This paper explores the preferred learning futures of students at the University of Technology Sydney and the alignments of students’ preferred futures with policy changes. The aim of the paper is to describe a different approach to listening to students’ voices and illuminate some possible ways in which the student voice can influence the implementation of higher education learning policies, with the aim of ultimately improving student learning experiences into the future. Students’ preferred futures were explored through a methodology of rapidly formulated collaborative scenario design, then coded thematically using open coding. Broad themes related to the changing context, learning environments, and independent learning, with students seeing ideal learning in higher education being a combination of personal, social and connected experiences. In order to offer a student perspective that is of use to policymakers, we discuss these preferred futures in relation to the University of Technology Sydney’s ‘learning.futures’ approach, which focuses on changing the way that learning happens in the university

A new Aphid genus and species (Hemiptera: Aphididae: Macrosiphini) living on ferns in Costa Rica and Mexico

P. 509-520Aphid species colonising ferns belong to the subfamily Aphidinae (Hemiptera: Aphididae) and the majority of these to the tribe Macrosiphini. A new genus in this tribe and its type species: Gibbomyzus pteridophytorum new genus, new species, are established. Apterous and alate viviparous females are described from specimens collected on Blechnum buchtienii Rosenstock (Blechnaceae) in Costa Rica and on Pteridium aquilinum (Linnaeus) Kuhn (Dennstaedtiaceae) and an unidentified fern in Mexico. The taxonomic validity of the two new taxa is discussed based on morphological and molecular data. Morphologically, the new genus is compared with genera with swollen siphunculi recorded in the New World, and also with genera living on ferns anywhere in the world. The identification key by Blackman and Eastop to aphids living on ferns is modified. Molecular analyses were carried out on the sequences of a fragment of the mitochondrial gene encoding for cytochrome c oxidase subunit 1 and of a fragment of the nuclear gene encoding elongation factor-1 alpha. In both analyses, G. pteridophytorum new species sequences showed considerable divergence (,4% or more) from those of 23 other species from diverse genera of Macrosiphini, supporting the conclusions of the morphological study and justifying the establishment of the new genusS

A Semantics of Business Configurations Using Symbolic Graphs

In this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML: business configurations. To achieve this goal we use symbolic graph transformation systems. We formalize the semantics using this graph transformation system and illustrating it with a simple running example of a trip booking agent.Peer Reviewe

Identifying as in, out, or sexually inexperienced: Perception of sex-related personal disclosures

The current research explored perceptions of disclosing the information of "I am gay", "I am heterosexual", and "I am a virgin" to a variety of audiences. Participants were 842 undergraduate students who evaluated the valence of each disclosure, listed the associated feelings, and rated the comfort of disclosing such information to various audiences (e.g., a family member, online community). Participants rated the statement consistent with their own sexual orientation as being significantly more positive. No significant difference was found between gay and heterosexual participants’ ratings about disclosing virginity, and disclosure of virginity status was ranked as the most uncomfortable of the three disclosures. Both heterosexual and gay respondents indicated it would be more comfortable to disclose a heterosexual orientation than a gay one, despite gay participants rating a gay orientation as more positive. The audience ranked most to least comfortable to disclose varied with sexual orientation and disclosure content. Perceived closeness of audience was correlated with comfort of disclosure for known (family, partner, friend, colleague) audiences, but not professional (counsellor) or unknown (stranger, online) audiences. These findings are discussed with reference to the literature on “coming out”, addressing important differences in the perceptions of in-group and out-group disclosure of sexual orientation, and sex-related personal information

KM-SORE: Knowledge Management for Service Oriented Requirements Engineering

Service-oriented Software Engineering is a new style for creating software using reusable services which are available over the web. The biggest challenge in this process is to discover and select the appropriate services that match system requirements. Currently, none of the proposed approach has been accepted by research community as a standard. There is very little empirical work available that addresses requirements engineering in service oriented paradigm. The aim of this study is to propose a framework for requirements engineering in SOSE. The framework is based on a new idea, that integrating Knowledge Management in Service Oriented development would improve requirement engineering phase as it does for traditional software engineering. The framework is developed in the light of the issues and challenges identified by published literature and the feedback of practitioners and researchers working on service oriented projects

Affective Dissent

This article identifies a form of affective bio-politics more intimate, engrained and corporeally enacted than that identified in recent work emphasising the affective qualities of activism and labour. While these latter reinforce and bolster existing analyses through the identification of further affective concerns, affective bio-politics suggests that neoliberalism supports and sustains itself quite fundamentally through, what have generally been, unrecognised affective means. While such affective regulation can only ever be partial and imprecise its unrecognised, and thus implicitly concealed, character lends it a particular cogency. Illuminating the mechanisms through which such affective regulatory modulation is achieved thus has a powerful potential to clarify further opportunities to disrupt and counter neoliberalism. This account juxtaposes an analysis of affective bio-politics with existing analyses of the affective, and performative, dimensions to activist politics, in order to facilitate the identification of specific opportunities for further affective contestationary strategies

The Emerging Internet of Things Marketplace From an Industrial Perspective: A Survey

The Internet of Things (IoT) is a dynamic global information network consisting of internet-connected objects, such as Radio-frequency identification (RFIDs), sensors, actuators, as well as other instruments and smart appliances that are becoming an integral component of the future internet. Over the last decade, we have seen a large number of the IoT solutions developed by start-ups, small and medium enterprises, large corporations, academic research institutes (such as universities), and private and public research organisations making their way into the market. In this paper, we survey over one hundred IoT smart solutions in the marketplace and examine them closely in order to identify the technologies used, functionalities, and applications. More importantly, we identify the trends, opportunities and open challenges in the industry-based the IoT solutions. Based on the application domain, we classify and discuss these solutions under five different categories: smart wearable, smart home, smart, city, smart environment, and smart enterprise. This survey is intended to serve as a guideline and conceptual framework for future research in the IoT and to motivate and inspire further developments. It also provides a systematic exploration of existing research and suggests a number of potentially significant research directions.Comment: IEEE Transactions on Emerging Topics in Computing 201

Review on Smart Electro-Clothing Systems (SeCSs)

This review paper presents an overview of the smart electro-clothing systems (SeCSs) targeted at health monitoring, sports benefits, fitness tracking, and social activities. Technical features of the available SeCSs, covering both textile and electronic components, are thoroughly discussed and their applications in the industry and research purposes are highlighted. In addition, it also presents the developments in the associated areas of wearable sensor systems and textile-based dry sensors. As became evident during the literature research, such a review on SeCSs covering all relevant issues has not been presented before. This paper will be particularly helpful for new generation researchers who are and will be investigating the design, development, function, and comforts of the sensor integrated clothing materials