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.

On separation of concurrency and conflicts in acyclic process models

Recently, a new approach for structuring acyclic process models has been introduced. The algorithm is based on a transformation between the Refined Process Structure Tree (RPST) of a control flow graph and the Modular Decomposition Tree (MDT) of ordering relations. In this paper, an extension of the algorithm is presented that allows to partially structure process models in the case when a process model cannot be structured completely. We distinguish four different types of unstructuredness of process models and show that only two are possible in practice. For one of these two types of unstructuredness an algorithm is proposed that returns the maximally structured representation of a process model.

Weak conformance of process models with respect to data objects

Process models specify behavioral aspects by describing ordering constraints between tasks which must be accomplished to achieve envisioned goals. Tasks usually exchange information by means of data objects, i.e., by writing information to and reading information from data objects. A data object can be characterized by its states and allowed state transitions. In this paper, we propose a notion which checks conformance of a process model with respect to data objects that its tasks access. This new notion can be used to tell whether in every execution of a process model each time a task needs to access a data object in a particular state, it is ensured that the data object is in the expected state or can reach the expected state and, hence, the process model can achieve its goals.

Structuring acyclic process models

This paper addresses the problem of transforming a process model with an arbitrary topology into an equivalent well-structured process model. While this problem has received significant attention, there is still no full characterization of the class of unstructured process models that can be transformed into well-structured ones, nor an automated method to structure any process model that belongs to this class. This paper fills this gap in the context of acyclic process models. The paper defines a necessary and sufficient condition for an unstructured process model to have an equivalent structured model under fully concurrent bisimulation, as well as a complete structuring method.

Unveiling hidden unstructured regions in process models

Process models define allowed process execution scenarios. The models are usually depicted as directed graphs, with gateway nodes regulating the control flow routing logic and with edges specifying the execution order constraints between tasks. While arbitrarily structured control flow patterns in process models complicate model analysis, they also permit creativity and full expressiveness when capturing non-trivial process scenarios. This paper gives a classification of arbitrarily structured process models based on the hierarchical process model decomposition technique. We identify a structural class of models consisting of block structured patterns which, when combined, define complex execution scenarios spanning across the individual patterns. We show that complex behavior can be localized by examining structural relations of loops in hidden unstructured regions of control flow. The correctness of the behavior of process models within these regions can be validated in linear time. These observations allow us to suggest techniques for transforming hidden unstructured regions into block-structured ones.

The triconnected abstraction of process models

Companies use business process models to represent their working procedures in order to deploy services to markets, to analyze them, and to improve upon them. Competitive markets necessitate complex procedures, which lead to large process specifications with sophisticated structures. Real world process models can often incorporate hundreds of modeling constructs. While a large degree of detail complicates the comprehension of the processes, it is essential to many analysis tasks. This paper presents a technique to abstract, i.e., to simplify process models. Given a detailed model, we introduce abstraction rules which generalize process fragments in order to bring the model to a higher abstraction level. The approach is suited for the abstraction of large process specifications in order to aid model comprehension as well as decomposing problems of process model analysis. The work is based on process structure trees that have recently been introduced to the field of business process management.

Time- vs. frequency-domain identification of parametric radiation force models for marine structures at zero speed

The dynamics describing the motion response of a marine structure in waves can be represented within a linear framework by the Cummins Equation. This equation contains a convolution term that represents the component of the radiation forces associated with fluid memory effects. Several methods have been proposed in the literature for the identification of parametric models to approximate and replace this convolution term. This replacement can facilitate the model implementation in simulators and the analysis of motion control designs. Some of the reported identification methods consider the problem in the time domain while other methods consider the problem in the frequency domain. This paper compares the application of these identification methods. The comparison is based not only on the quality of the estimated models, but also on the ease of implementation, ease of use, and the flexibility of the identification method to incorporate prior information related to the model being identified. To illustrate the main points arising from the comparison, a particular example based on the coupled vertical motion of a modern containership vessel is presented.

A derivation of high-frequency asymptotic values of 3D added mass and damping based on properties of the Cummins' equation

This brief paper provides a novel derivation of the known asymptotic values of three-dimensional (3D) added mass and damping of marine structures in waves. The derivation is based on the properties of the convolution terms in the Cummins's Equation as derived by Ogilvie. The new derivation is simple and no approximations or series expansions are made. The results follow directly from the relative degree and low-frequency asymptotic properties of the rational representation of the convolution terms in the frequency domain. As an application, the extrapolation of damping values at high frequencies for the computation of retardation functions is also discussed.

Hybrid frequency–time domain models for dynamic response analysis of marine structures

Time-domain models of marine structures based on frequency domain data are usually built upon the Cummins equation. This type of model is a vector integro-differential equation which involves convolution terms. These convolution terms are not convenient for analysis and design of motion control systems. In addition, these models are not efficient with respect to simulation time, and ease of implementation in standard simulation packages. For these reasons, different methods have been proposed in the literature as approximate alternative representations of the convolutions. Because the convolution is a linear operation, different approaches can be followed to obtain an approximately equivalent linear system in the form of either transfer function or state-space models. This process involves the use of system identification, and several options are available depending on how the identification problem is posed. This raises the question whether one method is better than the others. This paper therefore has three objectives. The first objective is to revisit some of the methods for replacing the convolutions, which have been reported in different areas of analysis of marine systems: hydrodynamics, wave energy conversion, and motion control systems. The second objective is to compare the different methods in terms of complexity and performance. For this purpose, a model for the response in the vertical plane of a modern containership is considered. The third objective is to describe the implementation of the resulting model in the standard simulation environment Matlab/Simulink.

Kinematic models for manoeuvring and seakeeping of marine vessels

The motion of marine vessels has traditionally been studied using two different approaches: manoeuvring and seakeeping. These two approaches use different reference frames and coordinate systems to describe the motion. This paper derives the kinematic models that characterize the transformation of motion variables (position, velocity, accelerations) and forces between the different coordinate systems used in these theories. The derivations hereby presented are done in terms of the formalism adopted in robotics. The advantage of this formulation is the use of matrix notation and operations. As an application, the transformation of linear equations of motion used in seakeeping into body-fixed coordinates is considered for both zero and forward speed.

Mice lacking β-Adrenergic receptors have increased bone mass but are not protected from deleterious skeletal effects of ovariectomy

Activation of β2-adrenergic receptors inhibits osteoblastic bone formation and enhances osteoclastic bone resorption. Whether β-blockers inhibit ovariectomy-induced bone loss and decrease fracture risk remains controversial. To further explore the role of β-adrenergic signaling in skeletal acquisition and response to estrogen deficiency, we evaluated mice lacking the three known β-adrenergic receptors (β-less). Body weight, percent fat, and bone mineral density were significantly higher in male β-less than wild-type (WT) mice, more so with increasing age. Consistent with their greater fat mass, serum leptin was significantly higher in β-less than WT mice. Mid-femoral cross-sectional area and cortical thickness were significantly higher in adult β-less than WT mice, as were femoral biomechanical properties (+28 to +49%, P < 0.01). Young male β-less had higher vertebral (1.3-fold) and distal femoral (3.5-fold) trabecular bone volume than WT (P < 0.001 for both) and lower osteoclast surface. With aging, these differences lessened, with histological evidence of increased osteoclast surface and decreased bone formation rate at the distal femur in β-less vs. WT mice. Serum tartrate-resistance alkaline phosphatase-5B was elevated in β-less compared with WT mice from 8–16 wk of age (P < 0.01). Ovariectomy inhibited bone mass gain and decreased trabecular bone volume/total volume similarly in β-less and WT mice. Altogether, these data indicate that absence of β-adrenergic signaling results in obesity and increased cortical bone mass in males but does not prevent deleterious effects of estrogen deficiency on trabecular bone microarchitecture. Our findings also suggest direct positive effects of weight and/or leptin on bone turnover and cortical bone structure, independent of adrenergic signaling.

Probability and story-telling : normative and descriptive models of juridical proof

The operation of the law rests on the selection of an account of the facts. Whether this involves prediction or postdiction, it is not possible to achieve certainty. Any attempt to model the operation of the law completely will therefore raise questions of how to model the process of proof. In the selection of a model a crucial question will be whether the model is to be used normatively or descriptively. Focussing on postdiction, this paper presents and contrasts the mathematical model with the story model. The former carries the normative stamp of scientific approval, whereas the latter has been developed by experimental psychologists to describe how humans reason. Neil Cohen's attempt to use a mathematical model descriptively provides an illustration of the dangers in not clearly setting this parameter of the modelling process. It should be kept in mind that the labels 'normative' and 'descriptive' are not eternal. The mathematical model has its normative limits, beyond which we may need to critically assess models with descriptive origins.

A combined neutralization-reionization mass spectrometric and theoretical study of oxyallyl and other elusive [C3,H4,O] neutrals

Five different anionic [C3′H4′O]•- isomers, i.e. the radical anions of acrolein, acetyl carbene, formyl methyl carbene, methoxy vinylidene, and oxyallyl are generated in an ion beam mass spectrometer and subjected to neutralization-reionization (NR) mass spectrometric experiments including neutral and ion decomposition difference (NIDD) mass spectrometry; the latter allows for the examination of the neutrals' unimolecular reactivity. Further, the anionic, the singlet and triplet neutral, and the cationic [C3′H4′O] •-/0/•+ potentialenergy surfaces are calculated at the B3LYP/6-311++G(d,p) level of theory. For some species, notably the singlet state of oxyallyl, the theoretical treatment is complemented by G2, CASSCF, and MR-CI calculations. Theory and experiment are in good agreement in that at the neutral stage (i) acrolein does not react within the μsec timescale, (ii) acetyl and formyl methyl carbenes isomerize to methyl ketene, (iii) methoxy vinylidene rearranges to methoxy acetylene, (iv) singlet 1A1 oxyallyl undergoes ring closure to cyclopropanone, and (v) triplet 3B2 oxyallyl may have a lifetime sufficient to survive a NR experiment.

Identification of phospholipids in human meibum by nano-electrospray ionisation tandem mass spectrometry

Meibum is believed to be the major source of tear film lipids, which are vital in the prevention of excess evaporation of the aqueous phase. The complete lipid composition of meibum has yet to be established. While earlier studies reported the presence of phospholipids in human meibum, recent mass spectrometric studies have not detected them. In this study we use electrospray ionisation tandem mass spectrometry to investigate the presence of phospholipids in meibum and provide comparison to the phospholipid profile of tears.Lipids were extracted from human meibum and tear samples using standard biphasic methods and analysed by nano-electrospray ionisation tandem mass spectrometry using targeted ion scans. A total of 35 choline-containing phospholipids were identified in meibum and the profile of these was similar to that observed in tears, suggesting tear lipids are derived from meibum. The results shown here highlight the need for a combination of optimised techniques to enable the identification of the large range of lipid classes in meibum. © 2011 Elsevier Ltd.

Systematic differences in membrane acyl composition associated with varying body mass in mammals occur in all phospholipid classes : an analysis of kidney and brain

The acyl composition of membrane phospholipids in kidney and brain of mammals of different body mass was examined. It was hypothesized that reduction in unsaturation index (number of double bonds per 100 acyl chains) of membrane phospholipids with increasing body mass in mammals would be made-up of similar changes in acyl composition across all phospholipid classes and that phospholipid class distribution would be regulated and similar in the same tissues of the different-sized mammals. The results of this study supported both hypotheses. Differences in membrane phospholipid acyl composition (i. e. decreased omega-3 fats, increased monounsaturated fats and decreased unsaturation index with increasing body size) were not restricted to any specific phospholipid molecule or to any specific phospholipid class but were observed in all phospholipid classes. With increase in body mass of mammals both monounsaturates and use of less unsaturated polyunsaturates increases at the expense of the long-chain highly unsaturated omega-3 and omega-6 polyunsaturates, producing decreases in membrane unsaturation. The distribution of membrane phospholipid classes was essentially the same in the different-sized mammals with phosphatidylcholine (PC) and phosphatidylethanolamine (PE) together constituting similar to 91% and similar to 88% of all phospholipids in kidney and brain, respectively. The lack of sphingomyelin in the mouse tissues and higher levels in larger mammals suggests an increased presence of membrane lipid rafts in larger mammals. The results of this study support the proposal that the physical properties of membranes are likely to be involved in changing metabolic rate.