Synthesis of orchestrators from service choreographies

Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-peer manner and no service plays a privileged role. In contrast, interactions in an orchestration occur between one particular service, the orchestrator, and a number of subordinated services. Each of these topologies has its trade-offs. This paper considers the problem of migrating a service-oriented system from a choreography style to an orchestration style. Specifically, the paper presents a tool chain for synthesising orchestrators from choreographies. Choreographies are initially represented as communicating state machines. Based on this representation, an algorithm is presented that synthesises the behaviour of an orchestrator, which is also represented as a state machine. Concurrent regions are then identified in the synthesised state machine to obtain a more compact representation in the form of a Petri net. Finally, it is shown how the resulting Petri nets can be transformed into notations supported by commercial tools, such as the Business Process Modelling Notation (BPMN).

The feasibility of a community pharmacy delivered in-pharmacy influenza vaccination service

Pharmacist-administered vaccination is a reality in many counties including USA, Canada, UK, Portugal, Ireland and New Zealand. In Australia the role of pharmacist administered vaccination has long been supported by the profession particularly the Pharmaceutical Society of Australia and Pharmacy Guild of Australia, however legislation prohibits this practice in each state and territory. In 2013 the only available in-pharmacy vaccination services are those delivered by an immunization nurse, nurse practitioner or general practitioner.

Navigating uncertainty in Australia : fostering informed citizenship through teaching controversial issues with pre-service teachers

Australia is a multicultural immigrant society created by public policy and direct state action over a period of two hundred years. It is now one of the world’s most diverse societies. However, like many nations, Australia faces challenges to managing ‘unauthorized arrivals’ who claim to be refugees. The issue of how to deal with unauthorized arrivals is controversial and highly emotive as it challenges public policy and government capacity to manage the multicultural ‘mix’ of Australia’s population. It also raises questions about border security. Given that it is impossible to discern beforehand who is a ‘proper’ refugee and who is not, claims to refugee status by unauthorised arrivals in Australia need to be tested against international convention criteria devised by the United Nations High Commissioner for Refugees (UNHCR). There are no simple solutions to controversial questions such as how and where should unauthorised arrivals, and the children accompanying them, be housed whilst their claims are investigated? Moreover, as this issue continues to prompt division and heated debate in Australian society, teachers new to the profession are often reluctant to explore it in the classroom. However, there are opportunities in national and state curriculum documents for the values dimensions of curriculum inquiries into controversial issues such as this to be addressed. For example, the most recent national statement on the goals for schooling in Australia, the Melbourne Declaration (MCEETYA, 2008), makes clear that Australian students need to be prepared for the challenges of the 21st century and to develop the capacity for innovation and complex problem-solving. The Melbourne Declaration informs the first national curriculum to be implemented in the Australian states and territories, and all other national and state initiatives. Its focus on developing active and informed citizens who can contribute to a socially cohesive society implies a capacity to deal with a range of issues associated with cultural diversity, This chapter explores the ways in which pre-service and early career teachers in one Australian state reflect upon curriculum opportunities to address controversial issues in the social sciences and history classroom. As part of their pre-service education, all the participants in this study completed a final year social science curriculum method unit that embedded a range of controversial issues, including the placement of children in Australian Immigration Detention Centres (IDCs), for investigation. By drawing from interviews and focus groups conducted with different cohorts of pre-service teachers in their final year of university study and beginning years of teaching, this chapter analyses the range of perceptions about how controversial issues can be examined in the secondary classroom as part of fostering informed citizenship. The discussion and analysis of the qualitative data in this study makes no claims for the representativeness of its findings, rather, a range of beginner teacher insights into a complex and important facet of teaching in a period of change and uncertainty is offered.

Recreational needs and service performance expectations

The theoretical contribution of this study lies with its focus on subjective experiencing, that is, the emotional convergence between feeling states, and perceptions of servicescapes and holiday activities. An empirical study models the impact of recreational needs on the perceived importance of destination attributes and intentions to participate in activities. A sample of prospective tourists was asked to indicate how important they considered servicescape elements to be in their general holiday planning. They were also asked to report on their emotional state (orientation) as a proxy for their needs for recreation, and to state their intention and likely involvement with holiday activities. Results suggest that those with high recreational needs (self-reflexive and inward-looking) regard elements of tourism servicescapes as significantly more important than those without (who are outward-looking and energetic), as well as show significant variations in their inclinations to be active and explorative at destinations. Rather, those with higher recreational needs as measured by combinations of lack of energy, self-confidence, and physiological well-being look for creature comfort, coziness, and familiarity, in other words, for things they already know and have experienced before. Subjective experiencing and service performance evaluations are thereby suggested to be influenced by emotional states. These states may also impact tourists' recognition of destination uniqueness as a major component of a destination's competitive advantage that cannot easily be copied. As a consequence, it may be worth reconsidering the role of recreation in tourism service design. Turning an inwardlooking focus bent on recreation to an outward-looking one interested in discovery would enable more tourists to more fully experience the destination before they leave.

Exact ground state and kink-like excitations of a two-dimensional Heisenberg antiferromagnet

A rare example of a two-dimensional Heisenberg model with an exact dimerized ground state is presented. This model, which can be regarded as a variation on the kagome' lattice, has several features of interest: it has a highly (but not macroscopically) degenerate ground state; it is closely related to spin chains studied by earlier authors; in particular, it exhibits domain-wall-like "kink" excitations normally associated only with one-dimensional systems. In some limits it decouples into noninteracting chains; unusually, this happens in the limit of strong, rather than weak, interchain coupling. [S0163-1829(99)50338-X].

An analysis of TLS handshake proxying

Content delivery networks (CDNs) are an essential component of modern website infrastructures: edge servers located closer to users cache content, increasing robustness and capacity while decreasing latency. However, this situation becomes complicated for HTTPS content that is to be delivered using the Transport Layer Security (TLS) protocol: the edge server must be able to carry out TLS handshakes for the cached domain. Most commercial CDNs require that the domain owner give their certificate's private key to the CDN's edge server or abandon caching of HTTPS content entirely. We examine the security and performance of a recently commercialized delegation technique in which the domain owner retains possession of their private key and splits the TLS state machine geographically with the edge server using a private key proxy service. This allows the domain owner to limit the amount of trust given to the edge server while maintaining the benefits of CDN caching. On the performance front, we find that latency is slightly worse compared to the insecure approach, but still significantly better than the domain owner serving the content directly. On the security front, we enumerate the security goals for TLS handshake proxying and identify a subtle difference between the security of RSA key transport and signed-Diffie--Hellman in TLS handshake proxying; we also discuss timing side channel resistance of the key server and the effect of TLS session resumption.

State Estimates of Employment Rates for Persons with Disabilities: Report Summary

Statistics on the states’ employment rates for persons with disabilities relative to their non-disabled peers may be of assistance to providers of employment services for persons with disabilities. Such information can help service providers, policy makers, and disability advocacy leaders to assess whether the employment rate of people with disabilities is improving over time, given policy, regulatory, and service intervention strategies. A recent report from the Cornell University Rehabilitation Research and Training Center (RRTC) for Economic Research on Employment Policy for Persons with Disabilities uses data from the March Current Population Survey to estimate employment rates for persons with and without a disability in the non-institutionalized working-age (aged 25 through 61) civilian population in the United States, and for each state and the District of Columbia for the years 1980 through 1998. The employment rate of persons with a disability relative to that of persons without disabilities are found to vary greatly across states. Over the last 20 years the relative employment rate of those with a disability dramatically declined overall and in most states.

Theory of the mixed valent state

After briefly discussing the question of a distinct mixed valent state and theoretical models for it, the area of greatest theoretical success, namely the mixed valent impurity, is reviewed. Applications to spectroscopy, energetics and Hall effect are then putlined. The independent impurity approximation is inadequate for many properties of the bulk system, which depend on lattice coherence. A recent auxiliary or slave boson approach with a simple mean field limit and fluctuation corrections is summarized. Finally the mixed valent semiconductor is discussed as an outstanding problem.

Dispelling Myths about Doctorates in the Australian Public Service

Many doctoral candidates pursue their studies with the goal of ultimately securing an academic position in a university. There are, however, many other career options for doctoral graduates in non-academic positions, including a career in the public service, either at the state or national level. Public service managers are interested in people who can demonstrate a range of skills and capacities, and most doctoral graduates will have developed a range of these skills.

State Dependent Attempt Rate Modeling of Single Cell IEEE 802.11 WLANs with Homogeneous Nodes and Poisson Arrivals

Analytical models of IEEE 802.11-based WLANs are invariably based on approximations, such as the well-known mean-field approximations proposed by Bianchi for saturated nodes. In this paper, we provide a new approach for modeling the situation when the nodes are not saturated. We study a State Dependent Attempt Rate (SDAR) approximation to model M queues (one queue per node) served by the CSMA/CA protocol as standardized in the IEEE 802.11 DCF. The approximation is that, when n of the M queues are non-empty, the attempt probability of the n non-empty nodes is given by the long-term attempt probability of n saturated nodes as provided by Bianchi's model. This yields a coupled queue system. When packets arrive to the M queues according to independent Poisson processes, we provide an exact model for the coupled queue system with SDAR service. The main contribution of this paper is to provide an analysis of the coupled queue process by studying a lower dimensional process and by introducing a certain conditional independence approximation. We show that the numerical results obtained from our finite buffer analysis are in excellent agreement with the corresponding results obtained from ns-2 simulations. We replace the CSMA/CA protocol as implemented in the ns-2 simulator with the SDAR service model to show that the SDAR approximation provides an accurate model for the CSMA/CA protocol. We also report the simulation speed-ups thus obtained by our model-based simulation.

Exploring the relationships between design & public libraries through the lens of service design

Design is ubiquitous to the life of contemporary societies and key to their progress, but for some, it is an elitist concept. This thesis investigates the role of public libraries contribution to the general public's understanding of 'Design'. This study compared participants views in the context of State Libraries in two cities: Brisbane and Curitiba. Findings revealed that exploring four new aspects in the Development and Deliver Stages of a service design framework for public libraries can be an effective tool to enhance people's access and experiences of Design, and ultimately, it can contribute to the democratization of design.

Exploring the relationships between design and public libraries through the lens of service design

Design is ubiquitous to the life of contemporary societies and key to their progress, but for some, it is an elitist concept. This thesis investigates the role of public libraries contribution to the general public's understanding of "Design". This study compared participants views in the context of State Libraries in two cities: Brisbane and Curitiba. Findings revealed that exploring four new aspects in the Development and Deliver Stages of a service design framework for public libraries can be an effective tool to enhance people"s access and experiences of Design, and ultimately, it can contribute to the democratisation of design.

Computational studies on new chemical species in the gas-phase and the solid-state.

There is intense activity in the area of theoretical chemistry of gold. It is now possible to predict new molecular species, and more recently, solids by combining relativistic methodology with isoelectronic thinking. In this thesis we predict a series of solid sheet-type crystals for Group-11 cyanides, MCN (M=Cu, Ag, Au), and Group-2 and 12 carbides MC2 (M=Be-Ba, Zn-Hg). The idea of sheets is then extended to nanostrips which can be bent to nanorings. The bending energies and deformation frequencies can be systematized by treating these molecules as an elastic bodies. In these species Au atoms act as an 'intermolecular glue'. Further suggested molecular species are the new uncongested aurocarbons, and the neutral Au_nHg_m clusters. Many of the suggested species are expected to be stabilized by aurophilic interactions. We also estimate the MP2 basis-set limit of the aurophilicity for the model compounds [ClAuPH_3]_2 and [P(AuPH_3)_4]^+. Beside investigating the size of the basis-set applied, our research confirms that the 19-VE TZVP+2f level, used a decade ago, already produced 74 % of the present aurophilic attraction energy for the [ClAuPH_3]_2 dimer. Likewise we verify the preferred C4v structure for the [P(AuPH_3)_4]^+ cation at the MP2 level. We also perform the first calculation on model aurophilic systems using the SCS-MP2 method and compare the results to high-accuracy CCSD(T) ones. The recently obtained high-resolution microwave spectra on MCN molecules (M=Cu, Ag, Au) provide an excellent testing ground for quantum chemistry. MP2 or CCSD(T) calculations, correlating all 19 valence electrons of Au and including BSSE and SO corrections, are able to give bond lengths to 0.6 pm, or better. Our calculated vibrational frequencies are expected to be better than the currently available experimental estimates. Qualitative evidence for multiple Au-C bonding in triatomic AuCN is also found.

See you in class: Promoting a quality program for pre-service educators in regional locations through a virtual classroom

The quality of an online university degree is paramount to the student, the reputation of the university and most importantly, the profession that will be entered. At the School of Education within Curtin University, we aim to ensure that students within rural and remote areas are provided with high quality degrees equal to their city counterparts who access face-to-face classes on campus.In 2010, the School of Education moved to flexible delivery of a fully online Bachelor of Education degree for their rural students. In previous years, the degree had been delivered in physical locations around the state. Although this served the purpose for the time, it restricted the degree to only those rural students who were able to access the physical campus. The new model in 2010 allows access for students in any rural area who have a computer and an internet connection, regardless of their geographical location. As a result enrolments have seen a positive increase in new students. Academic staff had previously used an asynchronous environment to deliver learning modules housed within a learning management system (LMS). To enhance the learning environment and to provide high quality learning experiences to students learning at a distance, the adoption of synchronous software was introduced. This software is a real-time virtual classroom environment that allows for communication through Voice over Internet Protocol (VoIP) and videoconferencing, along with a large number of collaboration tools to engage learners. This research paper reports on the professional development of academic staff to integrate a live e-learning solution into their current LMS environment. It involved professional development, including technical orientation for teaching staff and course participants simultaneously. Further, pedagogical innovations were offered to engage the students in a collaborative learning environment. Data were collected from academic staff through semi-structured interviews and participant observation. The findings discuss the perceived value of the technology, problems encountered and solutions sought.