Object-centric process models and the design of flexible processes

Mainstream business process modelling techniques promote a design paradigm wherein the activities to be performed within a case, together with their usual execution order, form the backbone of a process model, on top of which other aspects are anchored. This paradigm, while eective in standardised and production-oriented domains, shows some limitations when confronted with processes where case-by-case variations and exceptions are the norm. In this thesis we develop the idea that the eective design of exible process models calls for an alternative modelling paradigm, one in which process models are modularised along key business objects, rather than along activity decompositions. The research follows a design science method, starting from the formulation of a research problem expressed in terms of requirements, and culminating in a set of artifacts that have been devised to satisfy these requirements. The main contributions of the thesis are: (i) a meta-model for object-centric process modelling incorporating constructs for capturing exible processes; (ii) a transformation from this meta-model to an existing activity-centric process modelling language, namely YAWL, showing the relation between object-centric and activity-centric process modelling approaches; and (iii) a Coloured Petri Net that captures the semantics of the proposed meta-model. The meta-model has been evaluated using a framework consisting of a set of work ow patterns. Moreover, the meta-model has been embodied in a modelling tool that has been used to capture two industrial scenarios.

Adaptive depth estimation in image based visual servo control of dynamic systems

This paper considers the question of designing a fully image based visual servo control for a dynamic system. The work is motivated by the ongoing development of image based visual servo control of small aerial robotic vehicles. The observed targets considered are coloured blobs on a flat surface to which the normal direction is known. The theoretical framework is directly applicable to the case of markings on a horizontal floor or landing field. The image features used are a first order spherical moment for position and an image flow measurement for velocity. A fully non-linear adaptive control design is provided that ensures global stability of the closed-loop system. © 2005 IEEE.

A modified particle filter for simultaneous robot localization and landmark tracking in an indoor environment

This paper presents the implementation of a modified particle filter for vision-based simultaneous localization and mapping of an autonomous robot in a structured indoor environment. Through this method, artificial landmarks such as multi-coloured cylinders can be tracked with a camera mounted on the robot, and the position of the robot can be estimated at the same time. Experimental results in simulation and in real environments show that this approach has advantages over the extended Kalman filter with ambiguous data association and various levels of odometric noise.

Probabilistic visual recognition of artificial landmarks for simultaneous localization and mapping

Probabilistic robotics, most often applied to the problem of simultaneous localisation and mapping (SLAM), requires measures of uncertainly to accompany observations of the environment. This paper describes how uncertainly can be characterised for a vision system that locates coloured landmark in a typical laboratory environment. The paper describes a model of the uncertainly in segmentation, the internal camera model and the mounting of the camera on the robot. It =plains the implementation of the system on a laboratory robot, and provides experimental results that show the coherence of the uncertainly model,

Petri net modeling of spatial and temporal constraints in track allocation problem at railway stations

The track allocation problem (TAP) at a multi-track, multi-platform mainline railway station is defined by the station track layout and service timetable, which implies combinations of spatial and temporal conflicts. Feasible solutions are available from either traditional planning or advanced intelligent searching methods and their evaluations with respect to operational requirements are essential for the operators. To facilitate thorough analysis, a timed Coloured Petri Nets (CPN) model is presented here to encapsulate the inter-relationships of the spatial and temporal constraints in the TAP.

Traffic and climate change impacts on water quality : measuring build-up and wash-off of heavy metals and petroleum hydrocarbons

Understanding the impacts of traffic and climate change on water quality helps decision makers to develop better policy and plans for dealing with unsustainable urban and transport development. This chapter presents detailed methodologies developed for sample collection and testing for heavy metals and total petroleum hydrocarbons, as part of a research study to investigate the impacts of climate change and changes to urban traffic characteristics on pollutant build-up and wash-off from urban road surfaces. Cadmium, chromium, nickel, copper, lead, iron, aluminium, manganese and zinc were the target heavy metals, and selected gasoline and diesel range organics were the target total petroleum hydrocarbons for this study. The study sites were selected to encompass the urban traffic characteristics of the Gold Coast region, Australia. An improved sample collection method referred to as ‘the wet and dry vacuum system’ for the pollutant build-up, and an effective wash-off plan to incorporate predicted changes to rainfall characteristics due to climate change, were implemented. The novel approach to sample collection for pollutant build-up helped to maintain the integrity of collection efficiency. The wash-off plan helped to incorporate the predicted impacts of climate change in the Gold Coast region. The robust experimental methods developed will help in field sample collection and chemical testing of different stormwater pollutants in build-up and wash-off.

The role of sulphates and organic vapours in growth of newly formed particles in a eucalypt forest

The influence of biogenic particle formation on climate is a well recognised phenomenon. To understand the mechanisms underlying the biogenic particle formation, determining the chemical composition of the new particles and therefore the species that drive the particle production is of utmost importance. Due to the very small amount of mass involved, indirect approaches are frequently used to infer the composition. We present here the results of such an indirect approach by simultaneously measuring volatile and hygroscopic properties of newly formed particles in a forest environment. It is shown that the particles are composed of both sulphates and organics, with the amount of sulphate component strongly depending on the available gas-phase sulphuric acid, and the organic components having the same volatility and hygroscopicity as photooxidation products of a monoterpene such as α-pinene. Our findings agree with a two-step process through nucleation and cluster formation followed by simultaneous growth by condensation of sulphates and organics that take the particles to climatically relevant sizes.

The organic fraction of bubble-generated, accumulation mode Sea Spray Aerosol (SSA)

Recent studies have detected a dominant accumulation mode (~100 nm) in the Sea Spray Aerosol (SSA) number distribution. There is evidence to suggest that particles in this mode are composed primarily of organics. To investigate this hypothesis we conducted experiments on NaCl, artificial SSA and natural SSA particles with a Volatility-Hygroscopicity-Tandem-Differential-Mobility-Analyser (VH-TDMA). NaCl particles were atomiser generated and a bubble generator was constructed to produce artificial and natural SSA particles. Natural seawater samples for use in the bubble generator were collected from biologically active, terrestrially-affected coastal water in Moreton Bay, Australia. Differences in the VH-TDMA-measured volatility curves of artificial and natural SSA particles were used to investigate and quantify the organic fraction of natural SSA particles. Hygroscopic Growth Factor (HGF) data, also obtained by the VH-TDMA, were used to confirm the conclusions drawn from the volatility data. Both datasets indicated that the organic fraction of our natural SSA particles evaporated in the VH-TDMA over the temperature range 170–200°C. The organic volume fraction for 71–77 nm natural SSA particles was 8±6%. Organic volume fraction did not vary significantly with varying water residence time (40 secs to 24 hrs) in the bubble generator or SSA particle diameter in the range 38–173 nm. At room temperature we measured shape- and Kelvin-corrected HGF at 90% RH of 2.46±0.02 for NaCl, 2.35±0.02 for artifical SSA and 2.26±0.02 for natural SSA particles. Overall, these results suggest that the natural accumulation mode SSA particles produced in these experiments contained only a minor organic fraction, which had little effect on hygroscopic growth. Our measurement of 8±6% is an order of magnitude below two previous measurements of the organic fraction in SSA particles of comparable sizes. We stress that our results were obtained using coastal seawater and they can’t necessarily be applied on a regional or global ocean scale. Nevertheless, considering the order of magnitude discrepancy between this and previous studies, further research with independent measurement techniques and a variety of different seawaters is required to better quantify how much organic material is present in accumulation mode SSA.

Oxidative potential of logwood and pellet burning particles assessed by a novel profluorescent nitroxide probe

This study reports the potential toxicological impact of particles produced during biomass combustion by an automatic pellet boiler and a traditional logwood stove under various combustion conditions using a novel profluorescent nitroxide probe BPEAnit. This probe is weakly fluorescent, but yields strong fluorescence emission upon radical trapping or redox activity. Samples were collected by bubbling aerosol through an impinger containing BPEAnit solution, followed by fluorescence measurement. The fluorescence of BPEAnit was measured for particles produced during various combustion phases, at the beginning of burning (cold start), stable combustion after refilling with the fuel (warm start) and poor burning conditions. For particles produced by the logwood stove under cold-start conditions significantly higher amounts of reactive species per unit of particulate mass were observed compared to emissions produced during a warm start. In addition, sampling of logwood burning emissions after passing through a thermodenuder at 250oC resulted in an 80-100% reduction of the fluorescence signal of BPEAnit probe, indicating that the majority of reactive species were semivolatile. Moreover, the amount of reactive species showed a strong correlation with the amount of particulate organic material. This indicates the importance of semivolatile organics in particle-related toxicity. Particle emissions from the pellet boiler, although of similar mass concentration, were not observed to lead to an increase in fluorescence signal during any of the combustion phases.

12 fingers or one, it’s how you play? Genetic discrimination in the Australian workforce

For quite some time, debate has raged about what the human race can and should do with its knowledge of genetics. We are now nearly 60 years removed from the work of Watson and Crick who determined the structure of deoxyribonucleic acid (DNA), yet our opinions as how best to employ scientific knowledge of the human genome, remain as diverse and polarised as ever. Human judgment is often shaped and coloured by popular media and culture, so it should come as no surprise that box office movies such as Gattaca (1997) continue to play a role in informing public opinion on genetics. In order to perform well at the box office, movies such as Gattaca take great liberty in sensationalising (and even distorting) the implications that may result from genetic screening and testing. If the public’s opinion on human genetics is strongly derived from the box office and popular media, then it is no wonder that the discourse on human genetics is couched in the polar parlances of future utopias or future dystopias. When legislating in an area like genetic discrimination in the workforce, we must be mindful of not overplaying the causal link between genetic predisposition towards a disability and an employee’s ability to perform the inherent requirements of their job. Genetic information is ultimately about people, it is not about genes. Genetic discrimination is ultimately about actions, it is not about the intrinsic value of genetic information.

Strengthening and formally verifying privacy in identity management systems

In a digital world, users’ Personally Identifiable Information (PII) is normally managed with a system called an Identity Management System (IMS). There are many types of IMSs. There are situations when two or more IMSs need to communicate with each other (such as when a service provider needs to obtain some identity information about a user from a trusted identity provider). There could be interoperability issues when communicating parties use different types of IMS. To facilitate interoperability between different IMSs, an Identity Meta System (IMetS) is normally used. An IMetS can, at least theoretically, join various types of IMSs to make them interoperable and give users the illusion that they are interacting with just one IMS. However, due to the complexity of an IMS, attempting to join various types of IMSs is a technically challenging task, let alone assessing how well an IMetS manages to integrate these IMSs. The first contribution of this thesis is the development of a generic IMS model called the Layered Identity Infrastructure Model (LIIM). Using this model, we develop a set of properties that an ideal IMetS should provide. This idealized form is then used as a benchmark to evaluate existing IMetSs. Different types of IMS provide varying levels of privacy protection support. Unfortunately, as observed by Jøsang et al (2007), there is insufficient privacy protection in many of the existing IMSs. In this thesis, we study and extend a type of privacy enhancing technology known as an Anonymous Credential System (ACS). In particular, we extend the ACS which is built on the cryptographic primitives proposed by Camenisch, Lysyanskaya, and Shoup. We call this system the Camenisch, Lysyanskaya, Shoup - Anonymous Credential System (CLS-ACS). The goal of CLS-ACS is to let users be as anonymous as possible. Unfortunately, CLS-ACS has problems, including (1) the concentration of power to a single entity - known as the Anonymity Revocation Manager (ARM) - who, if malicious, can trivially reveal a user’s PII (resulting in an illegal revocation of the user’s anonymity), and (2) poor performance due to the resource-intensive cryptographic operations required. The second and third contributions of this thesis are the proposal of two protocols that reduce the trust dependencies on the ARM during users’ anonymity revocation. Both protocols distribute trust from the ARM to a set of n referees (n > 1), resulting in a significant reduction of the probability of an anonymity revocation being performed illegally. The first protocol, called the User Centric Anonymity Revocation Protocol (UCARP), allows a user’s anonymity to be revoked in a user-centric manner (that is, the user is aware that his/her anonymity is about to be revoked). The second protocol, called the Anonymity Revocation Protocol with Re-encryption (ARPR), allows a user’s anonymity to be revoked by a service provider in an accountable manner (that is, there is a clear mechanism to determine which entity who can eventually learn - and possibly misuse - the identity of the user). The fourth contribution of this thesis is the proposal of a protocol called the Private Information Escrow bound to Multiple Conditions Protocol (PIEMCP). This protocol is designed to address the performance issue of CLS-ACS by applying the CLS-ACS in a federated single sign-on (FSSO) environment. Our analysis shows that PIEMCP can both reduce the amount of expensive modular exponentiation operations required and lower the risk of illegal revocation of users’ anonymity. Finally, the protocols proposed in this thesis are complex and need to be formally evaluated to ensure that their required security properties are satisfied. In this thesis, we use Coloured Petri nets (CPNs) and its corresponding state space analysis techniques. All of the protocols proposed in this thesis have been formally modeled and verified using these formal techniques. Therefore, the fifth contribution of this thesis is a demonstration of the applicability of CPN and its corresponding analysis techniques in modeling and verifying privacy enhancing protocols. To our knowledge, this is the first time that CPN has been comprehensively applied to model and verify privacy enhancing protocols. From our experience, we also propose several CPN modeling approaches, including complex cryptographic primitives (such as zero-knowledge proof protocol) modeling, attack parameterization, and others. The proposed approaches can be applied to other security protocols, not just privacy enhancing protocols.

Near infrared spectroscopy of the smithsonite minerals

The importance of NIR spectroscopy has been successfully demonstrated in the present study of smithsonite minerals. The fundamental observations in the NIR spectra, in addition to the anions of OH- and CO32- are Fe and Cu in terms of cation content. These ions exhibit broad absorption bands ranging from 13000 to 7000cm-1 (0.77 to 1.43 µm). One broad diagnostic absorption feature centred at 9000 cm-1 (1.11 µm) is the result of ferrous ion spin allowed transition, (5T2g ® 5Eg). The splitting of this band (>1200 cm-1) is a common feature in all the spectra of the studied samples. The light green coloured sample from Namibia show two Cu(II) bands in NIR at 8050 and 10310 cm-1 (1.24 and 0.97 µm) are assigned to 2B1g ® 2A1g and 2B1g ® 2B2g transitions. The effects of structural cations substitution (Ca2+, Fe2+, Cu2+, Cd2+ and Zn2+) on band shifts in the electronic spectra1 region of 11000-7500 cm-1 (0.91-1.33 µm) and vibrational modes of OH- and CO32- anions in 7300 to 4000 cm-1 (1.37-2.50 µm) region were used to distinguish between the smithsonites.

Anion induced displacement studies in naphthalene diimide containing interpenetrated and interlocked structures

This article describes investigations into the development of supramolecular systems capable of sensing anions through either displacement type assays or molecular motion. An electron deficient naphthalene diimide thread and electron rich isophthalamide naphthohydroquinone macrocycle was shown to form a coloured pseudorotaxane assembly. Investigations into the ability of such interpenetrated systems to sense anions colorimetrically were undertaken. Anion complexation to the isophthalamide group of the macrocycle causes displacement of the naphthodiimide thread resulting in the loss of colour. The enhanced mechanically bonded binding strength between the naphthodiimide axle and the naphthohydroquinone groups of the macrocycle wheel in the corresponding rotaxane structure however, was found to negate the anion induced displacement process.

Towards the biofortification of banana fruit for enhanced micronutrient content

In Uganda, vitamin A deficiency (VAD) and iron deficiency anaemia (IDA) are major public health problems with between 15-32% of children under 5 years of age showing VAD and 73% being anaemic. This is largely due to the fact that the staple food crop of the country, banana, is low in pro-vitamin A and iron, therefore leading to dietary deficiencies. Although worldwide progress has been made to control VAD and IDA through supplementation, food fortification and diet diversification, their long term sustainability and impact in developing countries such as Uganda is limited. The approach taken by researchers at Queensland University of Technology (QUT), Australia, in collaboration with the National Agricultural Research Organization (NARO), Uganda, to address this problem, is to generate consumer acceptable banana varieties with significantly increased levels of pro-vitamin A and iron in the fruit using genetic engineering techniques. Such an approach requires the use of suitable, well characterised genes and promoters for targeted transgene expression. Recently, a new banana phytoene synthase gene (APsy2a) involved in the synthesis of pro-vitamin A (pVA) carotenoids was isolated from a high â-carotene banana (F’ei cv Asupina). In addition, sequences of banana ferritin, an iron storage protein, have been isolated from Cavendish banana. The aim of the research described in this thesis was to evaluate the function of these genes to assess their suitability for the biofortification of banana fruit. In addition, a range of banana-derived promoters were characterised to determine their suitability for controlling the expression of transgenes in banana fruit. Due to the time constraints involved with generating transgenic banana fruit, rice was used as the model crop to investigate the functionality of the banana-derived APsy2a and ferritin genes. Using Agrobacterium-mediated transformation, rice callus was transformed with APsy2a +/- the bacterial-derived carotene desaturase gene (CrtI) each under the control of the constitutive maize poly-ubiquitin promoter (ZmUbi) or seed-specific rice glutelin1 (Gt1) promoter. The maize phytoene synthase (ZmPsy1) gene was included as a control. On selective media, with the exception of ZmUbi-CrtI-transgenic callus, all antibiotic resistant callus displayed a yellow-orange colour from which the presence of â-carotene was demonstrated using Raman spectroscopy. Although the regeneration of plants from yellow-orange callus was difficult, 16 transgenic plants were obtained and characterised from callus transformed with ZmUbi-APys2a alone. At least 50% of the T1 seeds developed a yellow-orange coloured callus which was found to contain levels of â-carotene ranging from 4.6-fold to 72-fold higher than that in non-transgenic rice callus. Using the seed-specific Gt1 promoter, 38 transgenic rice plants were generated from APsy2a-CrtI-transformed callus while 32 plants were regenerated from ZmPsy1-CrtI-transformed callus. However, when analysed for presence of transgene by PCR, all transgenic plants contained the APsy2a, ZmPsy1 or CrtI transgene, with none of the plants found to be co-transformed. Using Raman spectroscopy, no â-carotene was detected in-situ in representative T1 seeds. To investigate the potential of the banana-derived ferritin gene (BanFer1) to enhance iron content, rice callus was transformed with constitutively expressed BanFer1 using the soybean ferritin gene (SoyFer) as a control. A total of 12 and 11 callus lines independently transformed with BanFer1 and SoyFer, respectively, were multiplied and transgene expression was verified by RT-PCR. Pearl’s Prussian blue staining for in-situ detection of ferric iron showed a stronger blue colour in rice callus transformed with BanFer1 compared to SoyFer. Using flame atomic absorption spectrometry, the highest mean amount of iron quantified in callus transformed with BanFer1 was 30-fold while that obtained using the SoyFer was 14-fold higher than the controls. In addition, ~78% of BanFer1-transgenic callus lines and ~27% of SoyFer-transgenic callus lines had significantly higher iron content than the non-transformed controls. Since the genes used for enhancing micronutrient content need to be expressed in banana fruit, the activity of a range of banana-derived, potentially fruit-active promoters in banana was investigated. Using uidA (GUS) as a reporter gene, the function of the Expansin1 (MaExp1), Expansin1 containing the rice actin intron (MaExp1a), Expansin4 (MaExp4), Extensin (MaExt), ACS (MaACS), ACO (MaACO), Metallothionein (MaMT2a) and phytoene synthase (APsy2a) promoters were transiently analysed in intact banana fruit using two transformation methods, particle bombardment and Agrobacterium-mediated infiltration (agro-infiltration). Although a considerable amount of variation in promoter activity was observed both within and between experiments, similar trends were obtained using both transformation methods. The MaExp1 and MaExp1a directed high levels of GUS expression in banana fruit which were comparable to those observed from the ZmUbi and Banana bunchy top virus-derived BT4 promoters that were included as positive controls. Lower levels of promoter activity were obtained in both methods using the MaACO and MaExt promoters while the MaExp4, MaACS, and APsy2a promoters directed the lowest GUS activity in banana fruit. An attempt was subsequently made to use agro-infiltration to assess the expression of pVA biosynthesis genes in banana fruit by infiltrating fruit with constructs in which the ZmUbi promoter controlled the expression of APsy2a +/- CrtI, and with the maize phytoene synthase gene (ZmPsy1) included as a control. Unfortunately, the large amount of variation and inconsistency observed within and between experiments precluded any meaningful conclusions to be drawn. The final component of this research was to assess the level of promoter activity and specificity in non-target tissue. These analyses were done on leaves obtained from glasshouse-grown banana plants stably transformed with MaExp1, MaACO, APsy2a, BT4 and ZmUbi promoters driving the expression of the GUS gene in addition to leaves from a selection of the same transgenic plants which were growing in a field trial in North Queensland. The results from both histochemical and fluorometric GUS assays showed that the MaExp1 and MaACO promoters directed very low GUS activities in leaves of stably transformed banana plants compared to the constitutive ZmUbi and BT4 promoters. In summary, the results from this research provide evidence that the banana phytoene synthase gene (APsy2a) and the banana ferritin gene (BanFer1) are functional, since the constitutive over-expression of each of these transgenes led to increased levels of pVA carotenoids (for APsy2a) and iron content (for BanFer1) in transgenic rice callus. Further work is now required to determine the functionality of these genes in stably-transformed banana fruit. This research also demonstrated that the MaExp1 and MaACO promoters are fruit-active but have low activity in non-target tissue (leaves), characteristics that make them potentially useful for the biofortification of banana fruit. Ultimately, however, analysis of fruit from field-grown transgenic plants will be required to fully evaluate the suitability of pVA biosynthesis genes and the fruit-active promoters for fruit biofortification.