Unraveling unstructured process models

A BPMN model is well-structured if splits and joins are always paired into single-entry-single-exit blocks. Well-structuredness is often a desirable property as it promotes readability and makes models easier to analyze. However, many process models found in practice are not well-structured, and it is not always feasible or even desirable to restrict process modelers to produce only well-structured models. Also, not all processes can be captured as well-structured process models. An alternative to forcing modelers to produce well-structured models, is to automatically transform unstructured models into well-structured ones when needed and possible. This talk reviews existing results on automatic transformation of unstructured process models into structured ones.

Connectivity of workflow nets : the foundations of stepwise verification

Behavioral models capture operational principles of real-world or designed systems. Formally, each behavioral model defines the state space of a system, i.e., its states and the principles of state transitions. Such a model is the basis for analysis of the system’s properties. In practice, state spaces of systems are immense, which results in huge computational complexity for their analysis. Behavioral models are typically described as executable graphs, whose execution semantics encodes a state space. The structure theory of behavioral models studies the relations between the structure of a model and the properties of its state space. In this article, we use the connectivity property of graphs to achieve an efficient and extensive discovery of the compositional structure of behavioral models; behavioral models get stepwise decomposed into components with clear structural characteristics and inter-component relations. At each decomposition step, the discovered compositional structure of a model is used for reasoning on properties of the whole state space of the system. The approach is exemplified by means of a concrete behavioral model and verification criterion. That is, we analyze workflow nets, a well-established tool for modeling behavior of distributed systems, with respect to the soundness property, a basic correctness property of workflow nets. Stepwise verification allows the detection of violations of the soundness property by inspecting small portions of a model, thereby considerably reducing the amount of work to be done to perform soundness checks. Besides formal results, we also report on findings from applying our approach to an industry model collection.

The biconnected verification of workflow nets

Formal representations of business processes are used for analysis of the process behavior. Workflow nets are a widely used formalism for describing the behavior of business processes. Structure theory of processes investigates the relation between the structure of a model and its behavior. In this paper, we propose to employ the connectivity property of workflow nets as an angle to their structural analysis. In particular, we show how soundness verification can be organized using biconnected components of a workflow net. This allows for efficient identification and localization of flaws in the behavior of workflow nets and for supporting process analysts with diagnostic information

Process compliance measurement based on behavioural profiles

Process compliance measurement is getting increasing attention in companies due to stricter legal requirements and market pressure for operational excellence. On the other hand, the metrics to quantify process compliance have only been defined recently. A major criticism points to the fact that existing measures appear to be unintuitive. In this paper, we trace back this problem to a more foundational question: which notion of behavioural equivalence is appropriate for discussing compliance? We present a quantification approach based on behavioural profiles, which is a process abstraction mechanism. Behavioural profiles can be regarded as weaker than existing equivalence notions like trace equivalence, and they can be calculated efficiently. As a validation, we present a respective implementation that measures compliance of logs against a normative process model. This implementation is being evaluated in a case study with an international service provider.

Process compliance analysis based on behavioural profiles

Process compliance measurement is getting increasing attention in companies due to stricter legal requirements and market pressure for operational excellence. In order to judge on compliance of the business processing, the degree of behavioural deviation of a case, i.e., an observed execution sequence, is quantified with respect to a process model (referred to as fitness, or recall). Recently, different compliance measures have been proposed. Still, nearly all of them are grounded on state-based techniques and the trace equivalence criterion, in particular. As a consequence, these approaches have to deal with the state explosion problem. In this paper, we argue that a behavioural abstraction may be leveraged to measure the compliance of a process log – a collection of cases. To this end, we utilise causal behavioural profiles that capture the behavioural characteristics of process models and cases, and can be computed efficiently. We propose different compliance measures based on these profiles, discuss the impact of noise in process logs on our measures, and show how diagnostic information on non-compliance is derived. As a validation, we report on findings of applying our approach in a case study with an international service provider.

Causal behavioural profiles : efficient computation, applications, and evaluation

Analysis of behavioural consistency is an important aspect of software engineering. In process and service management, consistency verification of behavioural models has manifold applications. For instance, a business process model used as system specification and a corresponding workflow model used as implementation have to be consistent. Another example would be the analysis to what degree a process log of executed business operations is consistent with the corresponding normative process model. Typically, existing notions of behaviour equivalence, such as bisimulation and trace equivalence, are applied as consistency notions. Still, these notions are exponential in computation and yield a Boolean result. In many cases, however, a quantification of behavioural deviation is needed along with concepts to isolate the source of deviation. In this article, we propose causal behavioural profiles as the basis for a consistency notion. These profiles capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities of a process model. Consistency based on these profiles is weaker than trace equivalence, but can be computed efficiently for a broad class of models. In this article, we introduce techniques for the computation of causal behavioural profiles using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets. We also elaborate on the findings of applying our technique to three industry model collections.

Efficient computation of causal behavioural profiles using structural decomposition

Identification of behavioural contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding workflow model used as implementation. In this paper, we propose causal behavioural profiles as the basis for a consistency notion, which capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities. Existing notions of behavioural equivalence, such as bisimulation and trace equivalence, might also be applied as consistency notions. Still, they are exponential in computation. Our novel concept of causal behavioural profiles provides a weaker behavioural consistency notion that can be computed efficiently using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets.

Vertical alignment of process models – how can we get there?

There is a wide variety of drivers for business process modelling initiatives, reaching from business evolution and process optimisation over compliance checking and process certification to process enactment. That, in turn, results in models that differ in content due to serving different purposes. In particular, processes are modelled on different abstraction levels and assume different perspectives. Vertical alignment of process models aims at handling these deviations. While the advantages of such an alignment for inter-model analysis and change propagation are out of question, a number of challenges has still to be addressed. In this paper, we discuss three main challenges for vertical alignment in detail. Against this background, the potential application of techniques from the field of process integration is critically assessed. Based thereon, we identify specific research questions that guide the design of a framework for model alignment.

Multivariate statistical analysis of hydrochemical data to assess alluvial aquifer–stream connectivity during drought and flood : Cressbrook Creek, southeast Queensland, Australia

A catchment-scale multivariate statistical analysis of hydrochemistry enabled assessment of interactions between alluvial groundwater and Cressbrook Creek, an intermittent drainage system in southeast Queensland, Australia. Hierarchical cluster analyses and principal component analysis were applied to time-series data to evaluate the hydrochemical evolution of groundwater during periods of extreme drought and severe flooding. A simple three-dimensional geological model was developed to conceptualise the catchment morphology and the stratigraphic framework of the alluvium. The alluvium forms a two-layer system with a basal coarse-grained layer overlain by a clay-rich low-permeability unit. In the upper and middle catchment, alluvial groundwater is chemically similar to streamwater, particularly near the creek (reflected by high HCO3/Cl and K/Na ratios and low salinities), indicating a high degree of connectivity. In the lower catchment, groundwater is more saline with lower HCO3/Cl and K/Na ratios, notably during dry periods. Groundwater salinity substantially decreased following severe flooding in 2011, notably in the lower catchment, confirming that flooding is an important mechanism for both recharge and maintaining groundwater quality. The integrated approach used in this study enabled effective interpretation of hydrological processes and can be applied to a variety of hydrological settings to synthesise and evaluate large hydrochemical datasets.

Real-time monitoring of nucleation-growth cycle of carbon nanoparticles in acetylene plasmas

Quantum cascade laserabsorption spectroscopy was used to measure the absolute concentration of acetylene in situ during the nanoparticle growth in Ar + C2H2 RF plasmas. It is demonstrated that the nanoparticle growth exhibits a periodical behavior, with the growth cycle period strongly dependent on the initial acetylene concentration in the chamber. Being 300 s at 7.5% of acetylene in the gas mixture, the growth cycle period decreases with the acetylene concentration increasing; the growth eventually disappears when the acetylene concentration exceeds 32%. During the nanoparticle growth, the acetylene concentration is small and does not exceed 4.2% at radio frequency (RF) power of 4 W, and 0.5% at RF power of 20 W. An injection of a single acetylene pulse into the discharge also results in the nanoparticlenucleation and growth. The absorption spectroscopy technique was found to be very effective for the time-resolved measurement of the hydrocarbon content in nanoparticle-generatingplasmas.

Low-pressure planar magnetron discharge for surface deposition and nanofabrication

Current-voltage characteristics of the planar magnetron are studied experimentally and by numerical simulation. Based on the measured current-voltage characteristics, a model of the planar magnetron discharge is developed with the background gas pressure and magnetic field used as parameters. The discharge pressure was varied in a range of 0.7-1.7 Pa, the magnetic field of the magnetron was of 0.033-0.12 T near the cathode surface, the discharge current was from 1 to 25 A, and the magnetic field lines were tangential to the substrate surface in the region of the magnetron discharge ignition. The discharge model describes the motion of energetic secondary electrons that gain energy by passing the cathode sheath across the magnetic field, and the power required to sustain the plasma generation in the bulk. The plasma electrons, in turn, are accelerated in the electric field and ionize effectively the background gas species. The model is based on the assumption about the prevailing Bohm mechanism of electron conductivity across the magnetic field. A criterion of the self-sustained discharge ignition is used to establish the dependence of the discharge voltage on the discharge current. The dependence of the background gas density on the current is also observed from the experiment. The model is consistent with the experimental results. © 2010 American Institute of Physics.

Foreword

Foreword for the book, "INTERCHANGING: Future designs for responsive transport environments"

Urban Informatics and Public Transport

The holistic urban experience we perceive when immersed in an urban context is at the heart of urban informatics. This experience encompasses all urban elements such as architecture, people, and culture. Urban informatics explores the possibilities and opportunities created by new technologies and information for enhancing the urban experience. Public transport is an essential urban experience. Everyday, urban dwellers takes public transport to commute and move between different parts of the city. Public transport serves people from all over the city and moves them through different places in the city, using different means of transportation. The nature of public transport—involving people, places, and technologies, makes it a fitting context for urban informatics interventions. There are three main aspects of the public transport experience that can readily benefit from urban informatics interventions the: pragmatic aspect, hedonistic aspect, and social aspect. From the pragmatic perspective, these interventions can help people to be more efficient and effective in taking public transport. Hedonistic-related interventions aim to bring enjoyment and fun to our mundane commute. Finally, urban informatics can strengthen the sense of community in a socially-passive context like public transport environments through adopting socially focused interventions.

Survey on BPM Conference impression

In May/June 2014, the Program Committee Chairs of BPM’15 conducted a survey with present and past attendees and submitters to the BPM conference to gather feedback on the general perception of the conference. The survey is available at http://survey.qut.edu.au/f/180586/6bb1/. In particular, the survey included questions about the reputation of the conference, the reasons why survey participants submitted papers, whether they plan to submit to BPM’15, and soliciting input on a number of suggested changes and additions to the conduct of the conference series.

Iron(II) spin-transition complexes with dendritic ligands, part II

The dendritic triazole-based complexes \[Fe(G1-BOC)3](triflate) 2·xH2O (1; G1-BOC = tert-butyl {3-\[3-(3-tert- butoxycarbonylaminopropyl)-5-(\[1,2,4]triazol-4-ylcarbamoyl)-phenyl]propyl} carbamate, triflate = CF3SO3-), \[Fe(G1-BOC) 3]-(tosylate)2·xH2O(2;tosylate = p-CH3PhSO3-),\[Fe(G1-DPBE)3]-(triflate) 2·xH2O {3; G1-DPBE = 3,5-bis(3,5- didodecaoxybenzyloxy)-N-\[1,2,4]triazol-4-ylbenzamide}, \[Fe(G1-DPBE) 3]-(tosylate)2·xH2O (4) and \[Fe(G1-DPBE)3](BF4)2·xH2O (5) were designed and synthesized. Magnetic and thermal properties of these novel complexes were characterized by magnetic susceptibility measurements, 57Fe Mössbauer spectroscopy and thermogravimetric analysis or differential scanning calorimetry, respectively. All dendritic complexes under study show different spin-transition behaviour with respect to the nature of different dendritic ligands and counteranions. Complexes 1 and 2 have pronounced effects of a spin-state change during the first heating process and gradual spintransition properties for further temperature treatments, whereas 3 and 4 exhibited a very sharp spin-state change in the first heating procedures. Complex 5 showed a gradual spin-transition curve. In this paper, we report how the magnetic properties of these complexes are correlated with noncoordinated water molecules and their effects on spin states.