Human-centric process-aware information systems (HC-PAIS)

Process-Aware Information Systems (PAIS) support organizations in managing and automating their processes. A full automation of processes is in particular industries, such as service-oriented markets, not practicable. The integration of humans in PAIS is necessary to manage and perform processes that require human capabilities, judg- ments and decisions. A challenge of interdisciplinary PAIS research is to provide concepts and solutions that support human integration in PAIS and human orientation of PAIS in a way that provably increase the PAIS users' satisfaction and motivation with working with the Human-Centric Process Aware Information System (HC-PAIS) and consequently in uence users' performance of tasks. This work is an initial step of research that aims at providing a definition of Human-Centric Process Aware Information Systems (HC-PAIS) and future research challenges of HC-PAIS. Results of focus group research are presented.

Designing the information architecture of governmental one-stop portals : on the application and analysis of card sorting

The latest paradigm shift in government, termed Transformational Government, puts the citizen in the centre of attention. Including citizens in the design of online one-stop portals can help governmental organisations to become more customer focussed. This study describes the initial efforts of an Australian state government to develop an information architecture to structure the content of their future one-stop portal. Hereby, card sorting exercises have been conducted and analysed, utilising contemporary approaches found in academic and non-scientific literature. This paper describes the findings of the card sorting exercises in this particular case and discusses the suitability of the applied approaches in general. These are distinguished into non-statistical, statistical, and hybrid approaches. Thus, on the one hand, this paper contributes to academia by describing the application of different card sorting approaches and discussing their strengths and weaknesses. On the other hand, this paper contributes to practice by explaining the approach that has been taken by the authors’ research partner in order to develop a customer-focussed governmental one-stop portal. Thus, they provide decision support for practitioners with regard to different analysis methods that can be used to complement recent approaches in Transformational Government.

Supporting an NGO in Developing Mozambique

Many efforts are made to assist with the advancement of developing economies through the activities of Non Government Organizations (NGOs). There are many management l and engagement issues associated with any successful NGO in a developed economy. When the organization is operating in a developing country, where a lack of infrastructure and education, distrust and corruption are part of the operating environment, the issues multiply. This case study discusses the structure of a NGO started in 2008 and describes the development and interaction of its two main components: a community-based NGO in a developing country and a NGO with a voluntary committee in a developed economy, australia. Despertai Mozambique is the NGO set up in Beira, which provides the necessary support, training and funding to the local poor (defined by the UN as living below the internationally accepted poverty line of US$1.25 a day) to help them set up small, often informal, businesses, to enable them to become sustainable, and ultimately to help alleviate poverty. The partnering Australian organization, Awaken Mozambique, is responsible for providing the necessary intellectual and financial resources required by Despertai Mozambique to operate.

Dynamic weaving in aspect oriented business process management

Reducing complexity in Information Systems is an important topic in both research and industry. One strategy to deal with complexity is separation of concerns, which results in less complex, easily maintainable and more reusable systems. Separation of concerns can be addressed through the Aspect Oriented paradigm. Although this paradigm has been well researched in programming, it is still at the preliminary stage in the area of Business Process Management. While some efforts have been made to extend business process modelling with aspect oriented capability, it has not yet been investigated how aspect oriented business process models should be executed at runtime. In this paper, we propose a generic solution to support execution of aspect oriented business process models based on the principle behind dynamic weaving of aspects. This solution is formally specified using Coloured Petri Nets. The resulting formal specification serves as the blueprint to the implementation of a service module in the framework of a state-of-the-art Business Process Management System. Using this developed artefact, a case study is performed in which two simplified processes from real business in the domain of banking are modelled and executed in an aspect oriented manner. Through this case study, we also demonstrate that adoption of aspect oriented modularization increases the reusability while reducing the complexity of business process models in practice.

Prospects for studying how high-intensity compression waves cause damage in human blast injuries

Since World War I, explosions have accounted for over 70% of all injuries in conflict. With the development of improved personnel protection of the torso, improved medical care and faster aeromedical evacuation, casualties are surviving with more severe injuries to the extremities. Understanding the processes involved in the transfer of blast-induced shock waves through biological tissues is essential for supporting efforts aimed at mitigating and treating blast injury. Given the inherent heterogeneities in the human body, we argue that studying these processes demands a highly integrated approach requiring expertise in shock physics, biomechanics and fundamental biological processes. This multidisciplinary systems approach enables one to develop the experimental framework for investigating the material properties of human tissues that are subjected to high compression waves in blast conditions and the fundamental cellular processes altered by this type of stimuli. Ultimately, we hope to use the information gained from these studies in translational research aimed at developing improved protection for those at risk and improved clinical outcomes for those who have been injured from a blast wave.

The triconnected abstraction of process models

Companies use business process models to represent their working procedures in order to deploy services to markets, to analyze them, and to improve upon them. Competitive markets necessitate complex procedures, which lead to large process specifications with sophisticated structures. Real world process models can often incorporate hundreds of modeling constructs. While a large degree of detail complicates the comprehension of the processes, it is essential to many analysis tasks. This paper presents a technique to abstract, i.e., to simplify process models. Given a detailed model, we introduce abstraction rules which generalize process fragments in order to bring the model to a higher abstraction level. The approach is suited for the abstraction of large process specifications in order to aid model comprehension as well as decomposing problems of process model analysis. The work is based on process structure trees that have recently been introduced to the field of business process management.

Butterfly catastrophe for fronts in a three-component reaction–diffusion system

We study the dynamics of front solutions in a three-component reaction–diffusion system via a combination of geometric singular perturbation theory, Evans function analysis, and center manifold reduction. The reduced system exhibits a surprisingly complicated bifurcation structure including a butterfly catastrophe. Our results shed light on numerically observed accelerations and oscillations and pave the way for the analysis of front interactions in a parameter regime where the essential spectrum of a single front approaches the imaginary axis asymptotically.

Effect of moderate- and high-intensity acute exercise on appetite in obese individuals

Purpose The effect of acute exercise, and exercise intensity, on appetite control in obese individuals requires further study. The aim of this study was to compare the effects of acute isocaloric bouts (250 kcal) of high-intensity intermittent cycling (HIIC) and moderate-intensity continuous cycling (MICC) or short-duration HIIC (S-HIIC) (125 kcal) and a resting control condition on the appetite hormone responses, subjective feelings of appetite, energy intake (EI), and food reward in overweight/obese individuals. Methods This study is a randomized crossover study on 12 overweight/obese volunteers. Participants were assigned to the control, MICC, HIIC, and S-HIIC conditions, 1 wk apart, in a counterbalanced order. Exercise was performed 1 h after a standard breakfast. An ad libitum test lunch was served 3 h after breakfast. Fasting/postprandial plasma samples of insulin, acylated ghrelin, polypeptide YY3–36, and glucagon-like peptide 1 and subjective feelings of appetite were measured every 30 min for 3 h. Nutrient and taste preferences were measured at the beginning and end of each condition using the Leeds Food Preference Questionnaire. Results Insulin levels were significantly reduced, and glucagon-like peptide 1 levels significantly increased during all exercise bouts compared with those during rest. Acylated ghrelin plasma levels were lower in the MICC and HIIC, but not in S-HIIC, compared with those in control. There were no significant differences for polypeptide YY3–36 plasma levels, hunger or fullness ratings, EI, or food reward. Conclusions Our findings suggest that, in overweight/obese individuals, isocaloric bouts of moderate- or high-intensity exercise lead to a similar appetite response. This strengthens previous findings in normal-weight individuals that acute exercise, even at high intensity, does not induce any known physiological adaptation that would lead to increased EI.

Multi-parametric hydrogels support 3D in vitro bioengineered microenvironment models of tumour angiogenesis

Tumour microenvironment greatly influences the development and metastasis of cancer progression. The development of three dimensional (3D) culture models which mimic that displayed in vivo can improve cancer biology studies and accelerate novel anticancer drug screening. Inspired by a systems biology approach, we have formed 3D in vitro bioengineered tumour angiogenesis microenvironments within a glycosaminoglycan-based hydrogel culture system. This microenvironment model can routinely recreate breast and prostate tumour vascularisation. The multiple cell types cultured within this model were less sensitive to chemotherapy when compared with two dimensional (2D) cultures, and displayed comparative tumour regression to that displayed in vivo. These features highlight the use of our in vitro culture model as a complementary testing platform in conjunction with animal models, addressing key reduction and replacement goals of the future. We anticipate that this biomimetic model will provide a platform for the in-depth analysis of cancer development and the discovery of novel therapeutic targets.

Systems-based approach to investigate unsafe pedestrian behaviour at level crossings

Crashes at level crossings are a major issue worldwide. In Australia, as well as in other countries, the number of crashes with vehicles has declined in the past years, while the number of crashes involving pedestrians seems to have remained unchanged. A systematic review of research related to pedestrian behaviour highlighted a number of important scientific gaps in current knowledge. The complexity of such intersections imposes particular constraints to the understanding of pedestrians’ crossing behaviour. A new systems-based framework, called Pedestrian Unsafe Level Crossing framework (PULC) was developed. The PULC organises contributing factors to crossing behaviour on different system levels as per the hierarchical classification of Jens Rasmussen’s Framework for Risk Management. In addition, the framework adapts James Reason’s classification to distinguish between different types of unsafe behaviour. The framework was developed as a tool for collection of generalizable data that could be used to predict current or future system failures or to identify aspects of the system that require further safety improvement. To give it an initial support, the PULC was applied to the analysis of qualitative data from focus groups discussions. A total number of 12 pedestrians who regularly crossed the same level crossing were asked about their daily experience and their observations of others’ behaviour which allowed the extraction and classification of factors associated with errors and violations. Two case studies using Rasmussen’s AcciMap technique are presented as an example of potential application of the framework. A discussion on the identified multiple risk contributing factors and their interactions is provided, in light of the benefits of applying a systems approach to the understanding of the origins of individual’s behaviour. Potential actions towards safety improvement are discussed.

Biliverdin modulates the expression of C5aR in response to endotoxin in part via mTOR signaling

Macrophages play a crucial role in the maintenance and resolution of inflammation and express a number of pro- and anti-inflammatory molecules in response to stressors. Among them, the complement receptor 5a (C5aR) plays an integral role in the development of inflammatory disorders. Biliverdin and bilirubin, products of heme catabolism, exert anti-inflammatory effects and inhibit complement activation. Here, we define the effects of biliverdin on C5aR expression in macrophages and the roles of Akt and mammalian target of rapamycin (mTOR) in these responses. Biliverdin administration inhibited lipopolysaccharide (LPS)-induced C5aR expression (without altering basal expression), an effect partially blocked by rapamycin, an inhibitor of mTOR signaling. Biliverdin also reduced LPS-dependent expression of the pro-inflammatory cytokines TNF-alpha and IL-6. Collectively, these data indicate that biliverdin regulates LPS-mediated expression of C5aR via the mTOR pathway, revealing an additional mechanism underlying biliverdin's anti-inflammatory effects.

Continuous after-the-fact leakage-resilient eCK-secure key exchange

Security models for two-party authenticated key exchange (AKE) protocols have developed over time to capture the security of AKE protocols even when the adversary learns certain secret values. Increased granularity of security can be modelled by considering partial leakage of secrets in the manner of models for leakage-resilient cryptography, designed to capture side-channel attacks. In this work, we use the strongest known partial-leakage-based security model for key exchange protocols, namely continuous after-the-fact leakage eCK (CAFL-eCK) model. We resolve an open problem by constructing the first concrete two-pass leakage-resilient key exchange protocol that is secure in the CAFL-eCK model.