Fundamentals of process integration

Technologies and languages for integrated processes are a relatively recent innovation. Over that period many divergent waves of innovation have transformed process integration. Like sockets and distributed objects, early workflow systems ordered programming interfaces that connected the process modelling layer to any middleware. BPM systems emerged later, connecting the modelling world to middleware through components. While BPM systems increased ease of use (modelling convenience), long-standing and complex interactions involving many process instances remained di±cult to model. Enterprise Service Buses (ESBs), followed, connecting process models to heterogeneous forms of middleware. ESBs, however, generally forced modellers to choose a particular underlying middleware and to stick to it, despite their ability to connect with many forms of middleware. Furthermore ESBs encourage process integrations to be modelled on their own, logically separate from the process model. This can lead to the inability to reason about long standing conversations at the process layer. Technologies and languages for process integration generally lack formality. This has led to arbitrariness in the underlying language building blocks. Conceptual holes exist in a range of technologies and languages for process integration and this can lead to customer dissatisfaction and failure to bring integration projects to reach their potential. Standards for process integration share similar fundamental flaws to languages and technologies. Standards are also in direct competition with other standards causing a lack of clarity. Thus the area of greatest risk in a BPM project remains process integration, despite major advancements in the technology base. This research examines some fundamental aspects of communication middleware and how these fundamental building blocks of integration can be brought to the process modelling layer in a technology agnostic manner. This way process modelling can be conceptually complete without becoming stuck in a particular middleware technology. Coloured Petri nets are used to define a formal semantics for the fundamental aspects of communication middleware. They provide the means to define and model the dynamic aspects of various integration middleware. Process integration patterns are used as a tool to codify common problems to be solved. Object Role Modelling is a formal modelling technique that was used to define the syntax of a proposed process integration language. This thesis provides several contributions to the field of process integration. It proposes a framework defining the key notions of integration middleware. This framework provides a conceptual foundation upon which a process integration language could be built. The thesis defines an architecture that allows various forms of middleware to be aggregated and reasoned about at the process layer. This thesis provides a comprehensive set of process integration patterns. These constitute a benchmark for the kinds of problems a process integration language must support. The thesis proposes a process integration modelling language and a partial implementation that is able to enact the language. A process integration pilot project in a German hospital is brie°y described at the end of the thesis. The pilot is based on ideas in this thesis.

Privacy compliance verification in cryptographic protocols

To provide privacy protection, cryptographic primitives are frequently applied to communication protocols in an open environment (e.g. the Internet). We call these protocols privacy enhancing protocols (PEPs) which constitute a class of cryptographic protocols. Proof of the security properties, in terms of the privacy compliance, of PEPs is desirable before they can be deployed. However, the traditional provable security approach, though well-established for proving the security of cryptographic primitives, is not applicable to PEPs. We apply the formal language of Coloured Petri Nets (CPNs) to construct an executable specification of a representative PEP, namely the Private Information Escrow Bound to Multiple Conditions Protocol (PIEMCP). Formal semantics of the CPN specification allow us to reason about various privacy properties of PIEMCP using state space analysis techniques. This investigation provides insights into the modelling and analysis of PEPs in general, and demonstrates the benefit of applying a CPN-based formal approach to the privacy compliance verification of PEPs.

Badge : Brisbane Office

This two-storey office building and upper floor interior fit-out, completed for the 25th anniversary of Adelaide-based construction firm, Badge Constructions, is a signature building for the client, and its recently established Brisbane-based operations, and a showpiece for their commercial and industrial construction prowess and dynamic, collaborative and transparent work ethic. Situated in the industrial precinct of Bulimba’s Oxford Street, the building is a continuation of the street’s nearby commercial heart, whilst its architectural language references the adjacent industrial structures. The building’s shed-like skillion roof and western wall have been considered as a folded plane, allowing space to be considered as the inhabitation of the inner surface of this plane. The analogy of a lined garment, tailored to suit its wearer, clarifies the relationship between the western façade plane’s unadorned, monochromatic outer surface and the coloured and patterned inner surface, celebrating inhabitation. The use of typically external construction materials are re-positioned as an integral part of the building’s interior fit-out, alluding to Badge’s construction repertoire, and weakening traditional barriers between interior and exterior commercial space. In reference to its Queensland context, the external glazed line of the building is pulled back from the street, providing an eastern verandah edge and a northern court, as a part of the public realm. The upper floor office incorporates a cantilevered outdoor mezzanine within the northern court, whilst the adjacent reception area and stairwell utilises clear glazing in order to visually connect to the street. The building is designed to take advantage of natural light to the east, whilst shading habitable spaces from the north, a building strategy that reduces solar heat gain and energy consumption. Placement of the building’s amenities core to the west provides substantial bracing and allows maximum activation of the north and east street edge. A collaborative design process has resulted in an affordable commercial building with a high level of design resolution and relationship to its Brisbane context, while also challenging the traditional relationships between exterior and interior commercial space, and informed client and consultant team of allied disciplines.

Combined time- and space-resolved Raman spectrometer for the non-invasive depth profiling of chemical hazards

A time-resolved inverse spatially offset Raman spectrometer was constructed for depth profiling of Raman-active substances under both the lab and the field environments. The system operating principles and performance are discussed along with its advantages relative to traditional continuous wave spatially offset Raman spectrometer. The developed spectrometer uses a combination of space- and time-resolved detection in order to obtain high-quality Raman spectra from substances hidden behind coloured opaque surface layers, such as plastic and garments, with a single measurement. The time-gated spatially offset Raman spectrometer was successfully used to detect concealed explosives and drug precursors under incandescent and fluorescent background light as well as under daylight. The average screening time was 50 s per measurement. The excitation energy requirements were relatively low (20 mW) which makes the probe safe for screening hazardous substances. The unit has been designed with nanosecond laser excitation and gated detection, making it of lower cost and complexity than previous picosecond-based systems, to provide a functional platform for in-line or in-field sensing of chemical substances.

The drift

In this video, text floats on screen amidst a field of swirling coloured orbs and a stock music soundtrack. The text is sourced from Internet dating websites and combine into a single animated portrait charting an array of likes, dislikes, influences, beliefs and hobbies. This work examines the nature of consciousness and identity in a contemporary context. It reworks the languages of Internet dating websites to question how we construct and communicate our sense of self. Drawing on Zygmunt Bauman’s theoretical work on “liquid modernity”, this work presents an exaggerated take on contemporary identity that emphasizes its construction through consumer tastes, lifestyle choices and relationships with popular culture.

Bicycling injuries and perceived risk

Introduction Government promotion of active transport has renewed interest in cycling safety. Research has shown that bicyclists are up to 20 times more likely to be involved in serious injury crashes than drivers. On-road cycling injuries are under-reported in police data, and many non-serious injuries are not recorded in any official database. This study aims to explore the relationships between rider characteristics and environmental factors that influence per kilometre risk of bicycle-related crash and non-crash injuries. Method A survey of 2,532 Queensland adults who had ridden at least once in the past year was conducted from October 2009 to March 2010, with most responses received online (99.3%). Riders were asked where they rode (footpath, bike path, road etc.), average travel speed, purpose of riding, type of bike ridden, how far and how often they rode in. Measures of rider experience, skill, safety perceptions, safety behaviours, crash involvement and demographic characteristics were also collected. RESULTS Increasing exposure and having more expensive bicycles were shown to reduce the risk per km of crash and non-crash injury rates, and to reduce perceived risk. Never wearing bright coloured clothing related to increased crash risk, use of fluorescent and reflective clothing had no effect on crash risk. Riding in low-speed environments, never using a front light, and riding in low-speed environments were associated with reduced non-crash injury risk. Perceived risk was influenced by exposure, use of conspicuity aids and helmets, riding for utilitarian reasons, and group-riding behaviours. DISCUSSION Perceived risk does not appear to influence injury rates and injury rates do not appear to influence the perceived risk of cycling. Riders who perceive cycling to be risky tend not to be commuters, do not engage in group riding and always wear helmets. Not all measures of conspicuity were associated with risk, with rear lights found to have no relationship to injury. The risks of experiencing a crash or non-crash injury were similar, therefore injury prevention strategies should expand their scope to include other factors such as the importance of bicycle set-up.

Operational semantics of aspects in business process management

Aspect orientation is an important approach to address complexity of cross-cutting concerns in Information Systems. This approach encapsulates these concerns separately and compose them to the main module when needed. Although there a different works which shows how this separation should be performed in process models, the composition of them is an open area. In this paper, we demonstrate the semantics of a service which enables this composition. The result can also be used as a blueprint to implement the service to support aspect orientation in Business Process Management area.

Dynamic weaving of aspects for business process management systems

Reducing complexity in Information Systems is a main concern in both research and industry. One strategy for reducing complexity is separation of concerns. This strategy advocates separating various concerns, like security and privacy, from the main concern. It results in less complex, easily maintainable, and more reusable Information Systems. Separation of concerns is addressed through the Aspect Oriented paradigm. This paradigm has been well researched and implemented in programming, where languages such as AspectJ have been developed. However, the rsearch on aspect orientation for Business Process Management is still at its beginning. While some efforts have been made proposing Aspect Oriented Business Process Modelling, it has not yet been investigated how to enact such process models in a Workflow Management System. In this paper, we define a set of requirements that specifies the execution of aspect oriented business process models. We create a Coloured Petri Net specification for the semantics of so-called Aspect Service that fulfils these requirements. Such a service extends the capability of a Workflow Management System with support for execution of aspect oriented business process models. The design specification of the Aspect Service is also inspected through state space analysis.

Restructuring of carbonaceous particles upon exposure to organic vapours

Recent research has described the restructuring of particles upon exposure to organic vapours; however, as yet hypotheses able to explain this phenomenon are limited. In this study, a range of experiments were performed to explore different hypotheses related to carbonaceous particle restructuring upon exposure to organic and water vapours, such as: the effect of surface tension, the role of organics in flocculating primary particles, as well as the ability of vapours to “wet” the particle surface. The change in mobility diameter (dm) was investigated for a range carbonaceous particle types (diesel exhaust, petrol exhaust, cigarette smoke, candle smoke, particles generated in a heptane/toluene flame, and wood smoke particles) exposed to different organic (heptane, ethanol, and dimethyl sulfoxide/water (1:1 vol%) mixture) and water vapours. Particles were first size-selected and then bubbled through an impinger (bubbler) containing either an organic solvent or water, where particles trapped inside rising bubbles were exposed to saturated vapours of the solvent in the impinger. The size distribution of particles was simultaneously measured upstream and downstream from the impinger. A size-dependent reduction in dm was observed when bubbling diesel exhaust, particles generated in a heptane/toluene flame, and candle smoke particles through heptane, ethanol and a dimethyl sulfoxide/water (1:1 vol %) mixture. In addition, the size distributions of particles bubbled through an impinger were broader. Moreover, an increase of the geometric standard deviation (σ) of the size distributions of particles bubbled through an impinger was also found to be size-dependent. Size-dependent reduction in dm and an increase of σ indicate that particles undergo restructuring to a more compact form, which was confirmed by TEM analysis. However, bubbling of these particles through water did not result in a size-dependent reduction in dm, nor in an increase of σ. Cigarette smoke, petrol exhaust, and wood smoke particles did not result in any substantial change in dm, or σ, when bubbled through organic solvents or water. Therefore, size-dependent reduction in the dm upon bubbling through organic solvents was observed only for particles that had a fractal-like structure, whilst particles that were liquid or were assumed to be spherical did not exhibit any reduction in dm. Compaction of fractal-like particles was attributed to the ability of condensing vapours to efficiently wet the particles. Our results also show that the presence of an organic layer on the surface of fractal-like particles, or the surface tension of the condensed liquid do not influence the extent of compaction.

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.

Slow horizon

“Slow Horizon” is comprised of six lenticular panels hung in an even, horizontal sequence. As the viewer moves in front of the work, each panel alternates subtly between two vertical colour gradients. From left to right, the panels move through yellow, orange, magenta and violet to ‘midnight blue’. Together, the coloured panels comprise an abstract horizon line that references the changing nature of light at sunset. The scale, movement and chromatic qualities of the panels also allude to the formal characteristics of the screen technologies that pervade contemporary visual culture. “Slow Horizon” contributes to studies in the field of contemporary art. It is particularly concerned with the relationships between abstraction, colour, signification and perception. Since early Modernity, debates concerning representation and the formal qualities of the picture plane have been fundamental to art practice and theory. These debates have often dovetailed with questions of art’s capacity to generate shifts in thought and perception. Practitioners such as Ellsworth Kelly, James Turrell and Ed Ruscha have variously used block and blended colour to engage in these formal, symbolic and perceptual potentials of colour. Using a practice-led research methodology, “Slow Horizon” furthers this creative inquiry. By conflating the reductive visual logics of abstraction and minimalism with the iconic, romantic evocations of sunset imagery, it questions not only the contemporary relationship between abstraction and image-making, but also art’s ability to create moments of stillness and contemplation in a context significantly shaped by screen technologies. “Slow Horizon” has been exhibited internationally as part of “Supermassive” at LA Louver Gallery, Venice, California in 2013. The exhibition was reviewed in The Los Angeles Times.

Numerical simulation of stochastic ordinary differential equations in biomathematical modelling

In this work we discuss the effects of white and coloured noise perturbations on the parameters of a mathematical model of bacteriophage infection introduced by Beretta and Kuang in [Math. Biosc. 149 (1998) 57]. We numerically simulate the strong solutions of the resulting systems of stochastic ordinary differential equations (SDEs), with respect to the global error, by means of numerical methods of both Euler-Taylor expansion and stochastic Runge-Kutta type.

Were intercalated komatiites and dacites at the Black Swan nickel sulphide mine, Yilgarn Craton, Western Australia, emplaced as extrusive lavas or intrusive bodies? The significance of breccia textures and contact relationships

Intercalated Archean komatiites and dacites sit above a thick footwall dacite unit in the host rock succession at the Black Swan Nickel Mine, north of Kalgoorlie in the Yilgarn Craton, Western Australia. Both lithofacies occur in units that vary in scale from laterally extensive at the scale of the mine lease to localized, thin, irregular bodies, from > 100 m thick to only centimetres thick. Some dacites are only slightly altered and deformed, and are interpreted to post-date major deformation and alteration (late porphyries). However, the majority of the dacites display evidence of deformation, especially at contacts, and metamorphism, varying from silicification and chlorite alteration at contacts to pervasive low grade regional metamorphic alteration represented by common assemblages of chlorite, sericite and albite. Texturally, the dacites vary from entirely massive and coherent to partially brecciated to totally brecciated. Strangely, some dacites are coherent at the margins and brecciated internally. Breccia textures vary from cryptically defined, to blocky, closely packed, in situ jig-saw fit textures with secondary minerals in fractures between clasts, to more apparent matrix rich textures with round clast forms, giving apparent conglomerate textures. Some clast zones have multi-coloured clasts, giving the impression of varied provenance. Strangely however, all these textural variants have gradational relationships with each other, and no bedding or depositional structures are present. This indicates that all textures have an in situ origin. The komatiites are generally altered and pervasively carbonate veined. Preservation of original textures is patchy and local, but includes coarse adcumulate, mesocumulate, orthocumulate, crescumulate-harrisite and occasionally spinifex textures. Where original contacts between komatiites and dacites are preserved intact (i.e. not sheared or overprinted by alteration), the komatiites have chilled margins, whereas the dacites do not. The margins of the dacites are commonly silicified, and inclusions of dacite occur in komatiite, even at the top contacts of komatiite units, but komatiite clasts do not occur in the dacites. The komatiites therefore were emplaced as sills into the dacites, and the intercalated relationships are interpreted as intrusive. The brecciation and alteration in the dacites are interpreted as being largely due to hydraulic fracturing and alteration induced by contact metamorphic effects and hydrothermal alteration deriving from the intrusion of komatiites into the felsic pile. The absence of autobreccia and hyaloclastite textures in the dacites suggest that they were emplaced as an earlier intrusive (sill?) complex at a high level in the crust.

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.

Formal analysis of security properties in trusted computing protocols

This research introduces a general methodology in order to create a Coloured Petri Net (CPN) model of a security protocol. Then standard or user-defined security properties of the created CPN model are identified. After adding an attacker model to the protocol model, the security property is verified using state space method. This approach is applied to analyse a number of trusted computing protocols. The results show the applicability of proposed method to analyse both standard and user-defined properties.