Hypergraph-based modeling of ad-hoc business processes

Process models are usually depicted as directed graphs, with nodes representing activities and directed edges control flow. While structured processes with pre-defined control flow have been studied in detail, flexible processes including ad-hoc activities need further investigation. This paper presents flexible process graph, a novel approach to model processes in the context of dynamic environment and adaptive process participants’ behavior. The approach allows defining execution constraints, which are more restrictive than traditional ad-hoc processes and less restrictive than traditional control flow, thereby balancing structured control flow with unstructured ad-hoc activities. Flexible process graph focuses on what can be done to perform a process. Process participants’ routing decisions are based on the current process state. As a formal grounding, the approach uses hypergraphs, where each edge can associate any number of nodes. Hypergraphs are used to define execution semantics of processes formally. We provide a process scenario to motivate and illustrate the approach.

Framework of a process laboratory for the operational control of service processes

Service processes such as financial advice, booking a business trip or conducting a consulting project have emerged as units of analysis of high interest for the business process and service management communities in practice and academia. While the transactional nature of production processes is relatively well understood and deployed, the less predictable and highly interactive nature of service processes still lacks in many areas appropriate methodological grounding. This paper proposes a framework of a process laboratory as a new IT artefact in order to facilitate the holistic analysis and simulation of such service processes. Using financial services as an example, it will be shown how such a process laboratory can be used to reduce the complexity of service process analysis and facilitate operational service process control.

Dimensions of business processes quality (QoBP)

Conceptual modeling is an important tool for understanding and revealing weaknesses of business processes. Yet, the current practice in reengineering projects often considers simply the as-is process model as a brain-storming tool. This approach heavily relies on the intuition of the participants and misses a clear description of the quality requirements. Against this background, we identify four generic quality categories of business process quality, and populate them with quality requirements from related research. We refer to the resulting framework as the Quality of Business Process (QoBP) framework. Furthermore, we present the findings from applying the QoBP framework in a case study with a major Australian bank, showing that it helps to systematically fill the white space between as-is and to-be process modeling.

Using the internet to assist court processes : delivery of justice in an electronic age

This article presents an overview of two aspects of the role the internet now plays in the court system - first, the extent to which judges, administrators and court officials at the different levels in the court hierarchy are using the internet to deliver enhanced access to the Australian justice system for the community as a whole, and second, how they have embraced that same technology as an aid for accessing information for better judgment delivery and administration.

Formation of two isomeric C3HO radicals from charged precursors in the gas phase. Potential interstellar molecules

Theoretical calculations of the C3HO potential surface at the CCSD(T)/aug-cc-pVDu/B3LYP/6-31G* level indicate that the three radicals HCCCO, CCCHO, and (cyclo-C3H)=O are stable, with HCCCO being the most stable of the three. A fourth isomer, CCHCO, is unstable with respect to cyclization to (cyclo-C3H)=O. Two isomers have been prepared by neutralization of charged precursors, formed as follows: (i) HCCCO, by HC drop C-C(O)-O+(H)(Me) --> HC3O+ + MeOH, and (ii) C2CHO, by (a) Me3SiC drop C-CHO + HO- --> C- drop C-CHO + Me3SiOH and (b) C- drop C-CH(OH)-C drop CH --> C- drop C-CHO + C2H2. A comparison of the CR and -NR+ spectra of -C2CHO indicate that C2CHO is (partially) rearranging to an isomer that shows significant formation of CO.(+) in the -NR+ spectrum of the anion. Ab initio calculations indicate that HCCCO is the product of the isomerism and that a proportion of these isomerized neutrals dissociate to CO and C2H. The neutral HCCCO may be formed by (i) synchronous rearrangement of C2CHO and/or (ii) stepwise rearrangement of C2CHO through (cyclo-C3H)=O. The second of these processes should have the higher rate, as it has the lower barrier in the rate-determining step and the higher Arrhenius pre-exponential A factor.

Cumulenic and heterocumulenic anions : potential interstellar species?

A recent theoretical investigation by Terzieva & Herbst of linear carbon chains, C-n where n greater than or equal to 6, in the interstellar medium has shown that these species can undergo efficient radiative association to form the corresponding anions. An experimental study by Barckholtz, Snow & Bierbaum of these anions has demonstrated that they do not react efficiently with molecular hydrogen, leading to the possibility of detectable abundances of cumulene-type anions in dense interstellar and circumstellar environments. Here we present a series of electronic structure calculations which examine possible anionic candidates for detection in these media, namely the anion analogues of the previously identified interstellar cumulenes CnH and Cn-1CH2 and heterocumulenes CnO (where n = 2-10). The extraordinary electron affinities calculated for these molecules suggest that efficient radiative electron attachment could occur, and the large dipole moments of these simple (generally) linear molecules point to the possibility of detection by radio astronomy.

Generation of two isomers of C5H from the corresponding anions. A theoretically motivated mass spectrometric study

Molecular orbital calculations have predicted the stability of a range of connectivities for the radical C5H potential surface. The most energetically favorable of these include the linear C4CH geometry and two ring-chain structures HC2C3 and C2C3H The corresponding anions are also shown to be theoretically stable, and furthermore, a fourth isomer, C2CHC2, is predicted to be the most stable anion connectivity. These results have motivated experimental efforts. Methodologies for the generation of the non-ring-containing isomeric anions C4CH and C2CHC2 have been developed utilizing negative ion mass spectrometry. The absolute connectivities of the anions have been established using deuterium labeling, charge reversal, and neutralization reionization techniques. The success of the latter experiment confirms theoretical predictions of stability of the corresponding neutral species. This is the first reported observation of the neutral C2CHC2 species that calculations predict to be substantially less stable than the C4CH connectivity but still bound relative to isomerization processes.

Effect of handling and fixation processes on fluorescence spectroscopy of mouse skeletal muscles under two-photon excitation

We investigated the effects of handling and fixation processes on the two-photon fluorescence spectroscopy of endogenous fluorophors in mouse skeletal muscle. The skeletal muscle was handled in one of two ways: either sectioned without storage or sectioned following storage in a freezer. The two-photon fluorescence spectra measured for different storage or fixation periods show a differential among those samples that were stored in water or were fixed either in formalin or methanol. The spectroscopic results indicate that formalin was the least disruptive fixative, having only a weak effect on the two-photon fluorescence spectroscopy of muscle tissue, whereas methanol had a significant influence on one of the autofluorescence peaks. The two handling processes yielded similar spectral information, indicating no different effects between them.

Measures of nutrient processes as indicators of stream ecosystem health

To better understand how freshwater ecosystems respond to changes in catchment land-use, it is important to develop measures of ecological health that include aspects of both ecosystem structure and function. This study investigated measures of nutrient processes as potential indicators of stream ecosystem health across a land-use gradient from relatively undisturbed to highly modified. A total of seven indicators (potential denitrification; an index of denitrification potential relative to sediment organic matter; benthic algal growth on artificial substrates amended with (a) N only, (b) P only, and (c) N and P; and δ15N of aquatic plants and benthic sediment) were measured at 53 streams in southeast Queensland, Australia. The indicators were evaluated by their response to a defined gradient of agricultural land-use disturbance as well as practical aspects of using the indicators as part of a monitoring program. Regression models based on descriptors of the disturbance gradient explained a large proportion of the variation in six of the seven indicators. Denitrification index, algal growth in N amended substrate, and δ15N of aquatic plants demonstrated the best regression. However, the δ15N value of benthic sediment was found to be the best indicator overall for incorporation into a monitoring program, as samples were relatively easy to collect and process, and were successfully collected at more than 90% of the study sites.

The stabilising role of the costovertebral joints and spinous processes on thoracic spine stability

Introduction The importance of in vitro biomechanical testing in today’s understanding of spinal pathology and treatment modalities cannot be stressed enough. Different studies have used differing levels of dissection of their spinal segments for their testing protocols[1, 2]. The aim of this study was to assess the impact of removing the costovertebral joints and partial resection of the spinous process sequentially, on the stiffness of the immature thoracic bovine spinal segment. Materials and Methods Thoracic spines from 6-8 week old calves were used. Each spine was dissected and divided into motion segments with 5cm of attached rib on each side and full spinous processes including levels T4-T11 (n=28). They were potted in polymethylemethacrylate. An Instron Biaxial materials testing machine with a custom made jig was used for testing. The segments were tested in flexion/extension, lateral bending and axial rotation at 37⁰C and 100% humidity, using moment control to a maximum 1.75 Nm with a loading rate of 0.3 Nm per second. They were first tested intact for ten load cycles with data collected from the tenth cycle. Progressive dissection was performed by removing first the attached ribs, followed by the spinous process at its base. Biomechanical testing was carried out after each level of dissection using the same protocol. Statistical analysis of the data was performed using repeated measures ANOVA. Results In combined flexion/extension there was a significant reduction in stiffness of 16% (p=0.002). This was mainly after resection of the ribs (14%, p=0.024) and mainly occurred in flexion where stiffness reduced by 22% (p=0.021). In extension, stiffness dropped by 13% (p=0.133). However there was no further significant change in stiffness on resection of the spinous process (<1%) (p=1.00). In lateral bending there was a significant decrease in stiffness of 13% (p<0.001). This comprised a drop of 11% on resection of the ribs (p=0.009) and a further 8% on resection of the spinous process (p=0.014). There was no difference between left and right bending. In axial rotation there was no significant change in stiffness after each stage of dissection (p=0.253). There was no difference between left and right rotation. Conclusion The costovertebral joints play a significant role in providing stability to the bovine thoracic spine in both flexion/extension and lateral bending, whereas the spinous processes play a minor role. Both elements have little effect on axial rotation stability.

Asymptotic minimax robust and misspecified Lorden quickest change detection for dependent stochastic processes

The quick detection of an abrupt unknown change in the conditional distribution of a dependent stochastic process has numerous applications. In this paper, we pose a minimax robust quickest change detection problem for cases where there is uncertainty about the post-change conditional distribution. Our minimax robust formulation is based on the popular Lorden criteria of optimal quickest change detection. Under a condition on the set of possible post-change distributions, we show that the widely known cumulative sum (CUSUM) rule is asymptotically minimax robust under our Lorden minimax robust formulation as a false alarm constraint becomes more strict. We also establish general asymptotic bounds on the detection delay of misspecified CUSUM rules (i.e. CUSUM rules that are designed with post- change distributions that differ from those of the observed sequence). We exploit these bounds to compare the delay performance of asymptotically minimax robust, asymptotically optimal, and other misspecified CUSUM rules. In simulation examples, we illustrate that asymptotically minimax robust CUSUM rules can provide better detection delay performance at greatly reduced computation effort compared to competing generalised likelihood ratio procedures.

Robust multiple-sensing-modality data fusion using Gaussian Process Implicit Surfaces

The ability to build high-fidelity 3D representations of the environment from sensor data is critical for autonomous robots. Multi-sensor data fusion allows for more complete and accurate representations. Furthermore, using distinct sensing modalities (i.e. sensors using a different physical process and/or operating at different electromagnetic frequencies) usually leads to more reliable perception, especially in challenging environments, as modalities may complement each other. However, they may react differently to certain materials or environmental conditions, leading to catastrophic fusion. In this paper, we propose a new method to reliably fuse data from multiple sensing modalities, including in situations where they detect different targets. We first compute distinct continuous surface representations for each sensing modality, with uncertainty, using Gaussian Process Implicit Surfaces (GPIS). Second, we perform a local consistency test between these representations, to separate consistent data (i.e. data corresponding to the detection of the same target by the sensors) from inconsistent data. The consistent data can then be fused together, using another GPIS process, and the rest of the data can be combined as appropriate. The approach is first validated using synthetic data. We then demonstrate its benefit using a mobile robot, equipped with a laser scanner and a radar, which operates in an outdoor environment in the presence of large clouds of airborne dust and smoke.

Event interval analysis: Why do processes take time?

Through the application of process mining, valuable evidence-based insights can be obtained about business processes in organisations. As a result the field has seen an increased uptake in recent years as evidenced by success stories and increased tool support. However, despite this impact, current performance analysis capabilities remain somewhat limited in the context of information-poor event logs. For example, natural daily and weekly patterns are not considered. In this paper a new framework for analysing event logs is defined which is based on the concept of event gap. The framework allows for a systematic approach to sophisticated performance-related analysis of event logs containing varying degrees of information. The paper formalises a range of event gap types and then presents an implementation as well as an evaluation of the proposed approach.