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.

Management of multiple heterogeneous UAVs using capability and autonomy visualisation: theory, experiment and result

The interest in utilising multiple heterogeneous Unmanned Aerial Vehicles (UAVs) in close proximity is growing rapidly. As such, many challenges are presented in the effective coordination and management of these UAVs; converting the current n-to-1 paradigm (n operators operating a single UAV) to the 1-to-n paradigm (one operator managing n UAVs). This paper introduces an Information Abstraction methodology used to produce the functional capability framework initially proposed by Chen et al. and its Level Of Detail (LOD) indexing scale. This framework was validated through comparing the operator workload and Situation Awareness (SA) of three experiment scenarios involving multiple autonomously heterogeneous UAVs. The first scenario was set in a high LOD configuration with highly abstracted UAV functional information; the second scenario was set in a mixed LOD configuration; and the final scenario was set in a low LOD configuration with maximal UAV functional information. Results show that there is a significant statistical decrease in operator workload when a UAV’s functional information is displayed at its physical form (low LOD - maximal information) when comparing to the mixed LOD configuration.

Direct evidence for base-mediated decomposition of alkyl hydroperoxides (ROOH) in the gas phase

Alkyl hydroperoxides (ROOH) are attributed a key role in the biochemical oxidation of lipids during oxidative stress.1 In this chemistry ROOH compounds, where the R groups are unsaturated fatty acids, are viewed as transient ntermediates which are readily degraded, due to the lability of the RO-OH bond, to yield potentially genotoxic aldehydes and ketones.2 Generally, the decomposition of alkyl hydroperoxides is thought to be mediated by radical abstraction or electron transfer processes usually involving enzymes, transition metals, or recently, Vitamin C.3 In this paper we present the first unambiguous experimental and computational evidence for base-mediated heterolytic decomposition of simple alkyl hydroperoxides by the mechanism outlined in Scheme 1.

Base-induced decomposition of alkyl hydroperoxides in the gas phase. Part 3. Kinetics and dynamics in HO-+CH3OOH, C2H5OOH, and tert-C4H9OOH reactions

The E-CO(2) elimination reactions of alkyl hydroperoxides proceed via abstraction of an (x-hydrogen by a base: X- + (RRHCOOH)-R-1-H-2 -> HX + (RRC)-R-1-C-2=O + HO-. Efficiencies and product distributions for the reactions of the hydroxide anion with methyl, ethyl, and tert-butyl hydroperoxides are studied in the gas phase. On the basis of experiments using three isotopic analogues, HO- + CH3OOH, HO- + CD3OOH, and H18O- + CH3OOH. the overall intrinsic reaction efficiency is determined to be 80% or greater. The E(CO)2 decomposition is facile for these methylperoxide reactions, and predominates over competing proton transfer at the hydroperoxide moiety. The CH3CH2OOH reaction displays a similar E(CO)2 reactivity, whereas proton transfer and the formation of HOO- are the exclusive pathways observed for (CH3)(3)COOH, which has no (x-hydrogen. All results are consistent with the E-CO(2) mechanism, transition state structure, and reaction energy diagrams calculated using the hybrid density functional B3LYP approach. Isotope labeling for HO- + CH3OOH also reveals some interaction between H2O and HO- within the E(CO)2 product complex [H2O center dot center dot center dot CH2=O center dot center dot center dot HO-]. There is little evidence, however. for the formation of the most exothermic products H2O + CH2(OH)O-, which would arise from nuclephilic condensation of CH2=O and HO-. The results suggest that the product dynamics are not totally statistical but are rather direct after the E-CO(2) transition state. The larger HO- + CH3CH2OOH system displays more statistical behavior during complex dissociation.

Investigation of the gas phase reactivity of the 1-adamantyl radical using a distonic radical anion approach

The gas phase reactions of the bridgehead 3-carboxylato-1-adamantyl radical anion were observed with a series of neutral reagents using a modified electrospray ionisation linear ion trap mass spectrometer. This distonic radical anion was observed to undergo processes suggestive of radical reactivity including radical-radical combination reactions, substitution reactions and addition to carbon-carbon double bonds. The rate constants for reactions of the 3-carboxylato-1-adamantyl radical anion with the following reagents were measured ( in units 10(-12) cm(3) molecule(-1) s(-1)): O-18(2) ( 85 +/- 4), NO ( 38.4 +/- 0.4), I-2 ( 50 +/- 50), Br-2 ( 8 +/- 2), CH3SSCH3 ( 12 +/- 2), styrene ( 1.20 +/- 0.03), CHCl3 ( H abstraction 0.41 +/- 0.06, Cl abstraction 0.65 +/- 0.1), CDCl3 ( D abstraction 0.035 +/- 0.01, Cl abstraction 0.723 +/- 0.005), allyl bromide (Br abstraction 0.53 +/- 0.04, allylation 0.25 +/- 0.01). Collision rates were calculated and reaction efficiencies are also reported. This study represents the first quantitative measurement of the gas phase reactivity of a bridgehead radical and suggests that distonic radical anions are good models for the study of their elusive uncharged analogues.

Oxidation of 4-substituted TEMPO derivatives reveals modifications at the 1-and 4-positions

Potenital pathways for the deactivation of hindered amine light stabilisers (HALS) have been investigated by observing reactions of model compounds-based on 4-substituted derivatives of 2,2,6,6-tetramethylpiperidine-N-oxyl (TEMPO)-with hydroxyl radicals. In these reactions, dilute aqueous suspensions of photocatalytic nanoparticulate titanium dioxide were irradiated with UV light in the presence of water-soluble TEMPO derivatives. Electron spin resonance (ESR) and electrospray ionisation mass-spectrometry (ESI-MS) data were acquired to provide complementary structural elucidation of the odd-and even-electron products of these reactions and both techniques show evidence for the formation of 4-oxo-TEMPO (TEMPONE). TEMPONE formation from the 4-substituted TEMPO compounds is proposed to be initiated by hydrogen abstraction at the 4-position by hydroxyl radical. High-level ab initio calculations reveal a thermodynamic preference for abstraction of this hydrogen but computed activation barriers indicate that, although viable, it is less favoured than hydrogen abstraction from elsewhere on the TEMPO scaffold. If a radical is formed at the 4-position however, calculations elucidate two reaction pathways leading to TEMPONE following combination with either a second hydroxyl radical or dioxygen. An alternate mechanism for conversion of TEMPOL to TEMPONE via an alkoxyl radical intermediate is also considered and found to be competitive with the other pathways. ESI-MS analysis also shows an increased abundance of analogous 4-substituted piperidines during the course of irradiation, suggesting competitive modification at the 1-position to produce a secondary amine. This modification is confirmed by characteristic fragmentation patterns of the ionised piperidines obtained by tandem mass spectrometry. The conclusions describe how reaction at the 4-position could be responsible for the gradual depletion of HALS in pigmented surface coatings and secondly, that modification at nitrogen to form the corresponding secondary amine species may play a greater role in the stabilisation mechanisms of HALS than previously considered.

Fragmentations of deprotonated alkyl hydroperoxides (ROO-) upon collisional activation : A combined experimental and computational study

The collision-induced dissociation ( CID) mass spectra of the \[M-H](-) anions of methyl, ethyl, and tert-butyl hydroperoxides have been measured over a range of collision energies in a flowing afterglow - selected ion flow tube (FA-SIFT) mass spectrometer. Activation of the CH3OO- anion is found to give predominantly HO- fragment anions whilst CH3CH2OO- and (CH3)(3)COO- produce HOO- as the major ionic fragment. These results, and other minor fragmentation pathways, can be rationalized in terms of unimolecular rearrangement of the activated anions with subsequent decomposition. The rearrangement reactions occur via initial abstraction of a proton from the alpha-carbon in the case of CH3OO- or the beta-carbon for CH3CH2OO- and (CH3)(3)COO-. Electronic structure calculations suggest that for the CH3CH2OO- anion, which can theoretically undergo both alpha- and beta-proton abstraction, the latter pathway, resulting in HOO- + CH2CH2, is energetically preferred.

Strategic IMC : from abstract concept to marketing management tool

Although integrated marketing communication (IMC) has progressed towards midrange maturity level, its full-scale adoption has been impeded by a lack of consensus on its defining constructs. The purpose of this study is to move from abstraction to define the construct of strategic integration (SI) and develop this into a management tool, thus making an important contribution to both the theory and practice of IMC. Drawing from both IMC and strategic management literature, the construct of SI is operationalised into a number of key factors and a well-cited management model, Fuchs’ ‘integration valuator’ is explored as the starting point of a measurement tool for IMC. To do this, a Delphi study invites the scrutiny of an expert panel of world-leading IMC researchers and practitioners. The panel validated the model construction process,redefined overarching constructs and key factors with a high degree of consensus, supported a process measure, suggested a weighted evaluation measure and recognised the importance of developing such a measure. They delivered clear and consistent imperatives guiding model development. The result is a measure of SI that evaluates organisational proficiency and diagnoses the integration of IMC campaigns. It also advances theory by providing a better understanding of the construct of SI.

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.

Braving a New World : Design Interventions for Changing Climates. Papers from the Subtropical Cities 2013 Fall Conference of the Association of Collegiate Schools of Architecture (ACSA)

We no longer have the luxury of time as the effects of climate change are being felt, according to the latest Intergovernmental Panel on Climate Change report, on every continent and in every ocean. More than 50% of the population of the United States and 85% of Australians live in coastal regions. The number of people living in the world’s coastal regions is expected to increase along with the need to improve capacity to mitigate hazards , and manage the multiple risks that have been identified by the scientific community. Under the auspices of the Association of Collegiate Schools of Architecture (ACSA) design academics and practitioners from the Americas, Asia, and Australia met in Fort Lauderdale, Florida for the fourth Subtropical Cities international conference to share outcomes of research and new pedagogies to address the critical transformation of the physical environments and infrastructures of the world’s vulnerable coastal communities. The theme of Subtropical Cities, adopted by the ACSA for its Fall 2014 Conference, is not confined entirely to a latitudinal or climatic frame of reference. The paper and project presentations addressed a range of theoretical, practice-led, and education-oriented research topics in architecture and urban design related to the subtropics, with emphasis on urban and coastal regions. More than half the papers originate from universities and practices in coastal regions. Threads emerged from a tapestry of localized investigations to reveal a more global understanding about possible futures we are designing for current and future generations. The one hundred-plus conference delegates and presenters represented 33 universities and institutions from across the United States, Mexico, Canada, Australia, the Middle East, Peru and China. Case studies from India, Morocco, Tahiti, Indonesia, Jordan, and Cambodia were also presented, expanding the global knowledge base. Co-authored submissions presented new directions for architecture and design, with a resounding theme of collaboration across diverse disciplines. The ability to deal with abstraction and complexity, and the capacity to develop synthesis and frameworks for defining problem boundaries can be considered key attributes of architectural thinking. Such a unique set of abilities can forge collaboration with different professional disciplines to achieve extraordinary outcomes. As the broad range of papers presented at this conference suggest, existing architectural and urban typologies and practices are increasingly considered part of the cause and not the solution to adapting to climate change and sea level rise. Design responses and the actions needed to generate new and unfamiliar forms of urbanism and infrastructure for defense, adaptation, and retreat in subtropical urban regions are being actively explored in academic design studios and research projects around the world. Many presentations propose provocative and experimental strategies as global climate moves beyond our “comfort zone”. The ideas presented at the Subtropical Cities conference are timely as options for low-energy passive climatic design are becoming increasingly limited in the context of changing climate. At the same time, ways of reducing or obsoleting energy intensive mechanical systems in densely populated urban centres present additional challenges for designers and communities as a whole. The conference was marked by a common theme of trans-disciplinary research, where design integration with emerging technologies resonate with a reaffirmation of the centrality of design thinking, expanding the scope of the traditional architecture studio pedagogy to integrate knowledge from other disciplines and the participation of diverse communities.

Memory management and parallelization of data intensive all-to-all comparison in shared-memory systems

This thesis presents a novel program parallelization technique incorporating with dynamic and static scheduling. It utilizes a problem specific pattern developed from the prior knowledge of the targeted problem abstraction. Suitable for solving complex parallelization problems such as data intensive all-to-all comparison constrained by memory, the technique delivers more robust and faster task scheduling compared to the state-of-the art techniques. Good performance is achieved from the technique in data intensive bioinformatics applications.

NEU-MODEL : a multi-level object-oriented dynamic emulation laboratory

Computational neuroscience aims to elucidate the mechanisms of neural information processing and population dynamics, through a methodology of incorporating biological data into complex mathematical models. Existing simulation environments model at a particular level of detail; none allow a multi-level approach to neural modelling. Moreover, most are not engineered to produce compute-efficient solutions, an important issue because sufficient processing power is a major impediment in the field. This project aims to apply modern software engineering techniques to create a flexible high performance neural modelling environment, which will allow rigorous exploration of model parameter effects, and modelling at multiple levels of abstraction.

Implementing process views in the web service environment

Web service and business process technologies are widely adopted to facilitate business automation and collaboration. Given the complexity of business processes, it is a sought-after feature to show a business process with different views to cater for the diverse interests, authority levels, etc., of different users. Aiming to implement such flexible process views in the Web service environment, this paper presents a novel framework named FlexView to support view abstraction and concretisation of WS-BPEL processes. In the FlexView framework, a rigorous view model is proposed to specify the dependency and correlation between structural components of process views with emphasis on the characteristics of WS-BPEL, and a set of rules are defined to guarantee the structural consistency between process views during transformations. A set of algorithms are developed to shift the abstraction and concretisation operations to the operational level. A prototype is also implemented for the proof-of-concept purpose. © 2010 Springer Science+Business Media, LLC.