Multifaceted Modelling of Complex Business Enterprises

We formalise and present a new generic multifaceted complex system approach for modelling complex business enterprises. Our method has a strong focus on integrating the various data types available in an enterprise which represent the diverse perspectives of various stakeholders. We explain the challenges faced and define a novel approach to converting diverse data types into usable Bayesian probability forms. The data types that can be integrated include historic data, survey data, and management planning data, expert knowledge and incomplete data. The structural complexities of the complex system modelling process, based on various decision contexts, are also explained along with a solution. This new application of complex system models as a management tool for decision making is demonstrated using a railway transport case study. The case study demonstrates how the new approach can be utilised to develop a customised decision support model for a specific enterprise. Various decision scenarios are also provided to illustrate the versatility of the decision model at different phases of enterprise operations such as planning and control.

Evaluating business process compliance management frameworks

This research contributes a formal framework to evaluate whether existing CMFs can model and reason about various types of normative requirements. The framework can be used to determine the level of coverage of concepts provided by CMFs, establish mappings between CMF languages and the semantics for the normative concepts and evaluate the suitability of a CMF for issuing a certification of compliance. The developed framework is independent of any specific formalism and it has been formally defined and validated through the examples of such mappings of CMFs.

An effective, economic way of monitoring menstrual cycle hormones in at risk female athletes

PURPOSE: Female athletes, in response to intensive training, competition stress and a lean, athletic physique, are at increased risk of altered hypothalamic-pituitary ovarian (HPO) axis function associated with menstrual cycle disturbance and reduced secretion of the ovarian hormones estrogen and progesterone. Because there is evidence suggesting possible detrimental effects on skeletal health associated with deficiencies in these hormones, a suitable means to asses ovarian hormone concentrations in at risk athletes is needed. The aim of this study was to evaluate a simple, economical means to monitor the ovarian hormone production in athletes, in the setting of intensive training. METHODS: Subjects comprised 14 adolescent rowers, 12 lightweight rowers, and two groups of 10 matched control subjects. Ovarian function was monitored during the competition season by estimation of urinary excretion of estrone glucuronide (E1G) and pregnanediol glucuronide (PdG), enabling the menstrual cycles to be classified as ovulatory or anovulatory. RESULTS: Results indicated 35% and 75% of schoolgirl and lightweight rowers had anovulatory menstrual cycles, respectively. These findings were highlighted by significantly lower excretion of E1G and PdG during phases of intensive training in both the lightweight and schoolgirl rowers, compared with the control subjects. CONCLUSION: It was concluded that the urinary E1G and PdG assays were an effective means to assess the influence of intense training on ovarian hormone concentrations in at risk athletes. It is recommended that this technique be applied more widely as a means of early detection of athletes with low estrogen and progesterone levels, in an attempt to avoid detrimental influences on skeletal health.

Complete and interpretable conformance checking of business processes

This article presents a method for checking the conformance between an event log capturing the actual execution of a business process, and a model capturing its expected or normative execution. Given a business process model and an event log, the method returns a set of statements in natural language describing the behavior allowed by the process model but not observed in the log and vice versa. The method relies on a unified representation of process models and event logs based on a well-known model of concurrency, namely event structures. Specifically, the problem of conformance checking is approached by folding the input event log into an event structure, unfolding the process model into another event structure, and comparing the two event structures via an error-correcting synchronized product. Each behavioral difference detected in the synchronized product is then verbalized as a natural language statement. An empirical evaluation shows that the proposed method scales up to real-life datasets while producing more concise and higher-level difference descriptions than state-of-the-art conformance checking methods.