On compliance of business processes with business contracts

This paper addresses the problem of ensuring compliance of business processes, implemented within and across organisational boundaries, with the constraints stated in related business contracts. In order to deal with the complexity of this problem we propose two solutions that allow for a systematic and increasingly automated support for addressing two specific compliance issues. One solution provides a set of guidelines for progressively transforming contract conditions into business processes that are consistent with contract conditions thus avoiding violation of the rules in contract. Another solution compares rules in business contracts and rules in business processes to check for possible inconsistencies. Both approaches rely on a computer interpretable representation of contract conditions that embodies contract semantics. This semantics is described in terms of a logic based formalism allowing for the description of obligations, prohibitions, permissions and violations conditions in contracts. This semantics was based on an analysis of typical building blocks of many commercial, financial and government contracts. The study proved that our contract formalism provides a good foundation for describing key types of conditions in contracts, and has also given several insights into valuable transformation techniques and formalisms needed to establish better alignment between these two, traditionally separate areas of research and endeavour. The study also revealed a number of new areas of research, some of which we intend to address in near future.

Bimanual aiming and overt attention: one law for two hands

Reaching to interact with an object requires a compromise between the speed of the limb movement and the required end-point accuracy. The time it takes one hand to move to a target in a simple aiming task can be predicted reliably from Fitts' law, which states that movement time is a function of a combined measure of amplitude and accuracy constraints (the index of difficulty, ID). It has been assumed previously that Fitts' law is violated in bimanual aiming movements to targets of unequal ID. We present data from two experiments to show that this assumption is incorrect: if the attention demands of a bimanual aiming task are constant then the movements are well described by a Fitts' law relationship. Movement time therefore depends not only on ID but on other task conditions, which is a basic feature of Fitts' law. In a third experiment we show that eye movements are an important determinant of the attention demands in a bimanual aiming task. The results from the third experiment extend the findings of the first two experiments and show that bimanual aiming often relies on the strategic co-ordination of separate actions into a seamless behaviour. A number of the task specific strategies employed by the adult human nervous system were elucidated in the third experiment. The general strategic pattern observed in the hand trajectories was reflected by the pattern of eye movements recorded during the experiment. The results from all three experiments demonstrate that eye movements must be considered as an important constraint in bimanual aiming tasks.

The effects of viscous loading of the human forearm flexors on the stability of coordination

This experiment investigated whether the stability of rhythmic unimanual movements is primarily a function of perceptual/spatial orientation or neuro-mechanical in nature. Eight participants performed rhythmic flexion and extension movements of the left wrist for 30 s at a frequency of 2.25 Hz paced by an auditory metronome. Each participant performed 8 flex-on-the-beat trials and 8 extend-on-the-beat trials in one of two load conditions, loaded and unload. In the loaded condition, a servo-controlled torque motor was used to apply a small viscous load that resisted the flexion phase of the movement only. Both the amplitude and frequency of the movement generated in the loaded and unloaded conditions were statistically equivalent. However, in the loaded condition movements in which participants were required to flex-on-the-beat became less stable (more variable) while extend-on-the-beat movements remained unchanged compared with the unload condition. The small alteration in required muscle force was sufficient to result in reliable changes in movement stability even a situation where the movement kinematics were identical. These findings support the notion that muscular constraints, independent of spatial dependencies, can be sufficiently strong to reliably influence coordination in a simple unimanual task.

Governing coordination: Behavioural principles and neural correlates

The coordination of movement is governed by a coalition of constraints. The expression of these constraints ranges from the concrete—the restricted range of motion offered by the mechanical configuration of our muscles and joints; to the abstract—the difficulty that we experience in combining simple movements into complex rhythms. We seek to illustrate that the various constraints on coordination are complementary and inclusive, and the means by which their expression and interaction are mediated systematically by the integrative action of the central nervous system (CNS). Beyond identifying the general principles at the behavioural level that govern the mutual interplay of constraints, we attempt to demonstrate that these principles have as their foundation specific functional properties of the cortical motor systems. We propose that regions of the brain upstream of the motor cortex may play a significant role in mediating interactions between the functional representations of muscles engaged in sensorimotor coordination tasks. We also argue that activity in these ldquosupramotorrdquo regions may mediate the stabilising role of augmented sensory feedback.

On the relationship between the critical temperature and the London penetration depth in layered organic superconductors

We present an analysis of previously published measurements of the London penetration depth of layered organic superconductors. The predictions of the BCS theory of superconductivity are shown to disagree with the measured zero temperature, in plane, London penetration depth by up to two orders of magnitude. We find that fluctuations in the phase of the superconducting order parameter do not determine the superconducting critical temperature as the critical temperature predicted for a Kosterlitz–Thouless transition is more than an order of magnitude greater than is found experimentally for some materials. This places constraints on theories of superconductivity in these materials.

The deep-sea teleost cornea: a comparative study of gadiform fishes

The corneal structure of three deep-sea species of teleosts (Gadiformes, Teleostei) from different depths (250-4000 m) and photic zones are examined at the level of the light and electron microscopes. Each species shows a similar but complex arrangement of layers with a cornea split into dermal and scleral components. The dermal cornea comprises an epithelium overlying a basement membrane and a dermal stroma with sutures and occasional keratocytes. Nezumia aequalis is the only species to possess a Bowman's layer, although it is not well-developed. The scleral cornea is separated from the dermal cornea by a mucoid layer and, in contrast to shallow-water species, is divided into three main layers; an anterior scleral stroma, a middle or iridescent layer and a posterior scleral stroma. The iridescent layer of collagen and intercalated cells or cellular processes is bounded by a layer of cells and the posterior scleral stroma overlies a Descemet's membrane and an endothelium. In the relatively shallow-water Microgadus proximus, the keratocytes of the dermal stroma, the cells of the iridescent layer and the endothelial cells all contain aligned endoplasmic reticulum, which may elicit an iridescent reflex. No alignment of the endoplasmic reticulum was found in N. aequalis or Coryphanoides (Nematonurus) armatus. The relative differences between shallow-water and deep-sea corneas are discussed in relation to the constraints of light, depth and temperature.

Integrable open-boundary conditions for the q-deformed supersymmetric U model of strongly correlated electrons

A general graded reflection equation algebra is proposed and the corresponding boundary quantum inverse scattering method is formulated. The formalism is applicable to all boundary lattice systems where an invertible R-matrix exists. As an application, the integrable open-boundary conditions for the q-deformed supersymmetric U model of strongly correlated electrons are investigated. The diagonal boundary K-matrices are found and a class of integrable boundary terms are determined. The boundary system is solved by means of the coordinate space Bethe ansatz technique and the Bethe ansatz equations are derived. As a sideline, it is shown that all R-matrices associated with a quantum affine superalgebra enjoy the crossing-unitarity property. (C) 1998 Elsevier Science B.V.

The influence of joint position on the dynamics of perception-action coupling

Six right-handed subjects performed rhythmic flexion and extension movements of the index finger in time with an auditory metronome. On each block of trials, the wrist of the response hand was placed in a extended, neutral or flexed position. In the flex-on-the-beat condition, subjects were instructed to coordinate maximum excursion in the direction of finger flexion with each beat of the metronome. In the extend-on-the-beat condition, subjects were instructed to coordinate maximum excursion in the direction of finger extension with each beat of the metronome. The frequency of the metronome was increased from 2.00 Hz to 3.75 Hz in 8 steps (8 s epochs) of 0.25 Hz. During trials prepared in the extend-on-the-beat pattern, all subjects exhibited transitions to either a flex-on-the-beat pattern or to phase wandering as the frequency of pacing was increased. The time at which these transitions occurred was reliably influenced by the position of the wrist. Four subjects exhibited qualitative departures from the flex-on-the-beat pattern at pacing frequencies that were greater than those at which the extend-on-the-beat pattern could be maintained. The lime at which these departures occurred was not influenced by the position of the wrist. These results are discussed with reference to the constraints imposed on the coordination dynamics by the intrinsic properties of the neuromuscular-skeletal system.

Expokit: A software package for computing matrix exponentials

Expokit provides a set of routines aimed at computing matrix exponentials. More precisely, it computes either a small matrix exponential in full, the action of a large sparse matrix exponential on an operand vector, or the solution of a system of linear ODEs with constant inhomogeneity. The backbone of the sparse routines consists of matrix-free Krylov subspace projection methods (Arnoldi and Lanczos processes), and that is why the toolkit is capable of coping with sparse matrices of large dimension. The software handles real and complex matrices and provides specific routines for symmetric and Hermitian matrices. The computation of matrix exponentials is a numerical issue of critical importance in the area of Markov chains and furthermore, the computed solution is subject to probabilistic constraints. In addition to addressing general matrix exponentials, a distinct attention is assigned to the computation of transient states of Markov chains.

Optics of the developing fish eye: comparisons of Matthiessen's ratio and the focal length of the lens in the black bream Acanthopagrus butcheri (Sparidae, Teleostei)

Matthiessen's ratio (distance from centre of lens to retina: lens radius) was measured in developing black bream, Acanthopagrus butcheri (Sparidae, Teleostei). The value decreased over the first 10 days post-hatch from 3.6 to 2.3 along the nasal and from four to 2.6 along temporal axis. Coincidentally, there was a decrease in the focal ratio of the lens (focal length:lens radius). Morphologically, the accommodatory retractor lentis muscle appeared to become functional between 10-12 days post-hatch. The results suggest that a higher focal ratio compensates for the relatively high Matthiessen's ratio brought about by constraints of small eye size during early development. Combined with differences in axial length, this provides a means for larval fish to focus images from different distances prior to the ability to accommodate. (C) 1999 Elsevier Science Ltd. All rights reserved.

NMR studies of the low-density lipoprotein receptor-binding peptide of apolipoprotein E bound to dodecylphosphocholine micelles

Circular dichroism and NMR spectroscopy have been used to determine the structure of the low-density lipoprotein (LDL) receptor-binding peptide, comprising residues 130-152, of the human apolipoprotein E. This peptide has little persistent three-dimensional structure in solution, but when bound to micelles of dodecylphosphocholine (DPC) it adopts a predominantly alpha-helical structure. The three-dimensional structure of the DPC-bound peptide has been determined by using H-1-NMR spectroscopy: the structure derived from NOE-based distance constraints and restrained molecular dynamics is largely helical. The derived phi and psi angle order parameters show that the helical structure is well defined but with some flexibility that causes the structures not to be superimposable over the full peptide length. Deuterium exchange experiments suggest that many peptide amide groups are readily accessible to the solvent, but those associated with hydrophobic residues exchange more slowly, and this helix is thus likely to be positioned on the surface of the DPC micelles. In this conformation the peptide has one hydrophobic face and two that are rich in basic amino acid side chains. The solvent-exposed face of the peptide contains residues previously shown to be involved in binding to the LDL receptor.

Variable temperature and pressure study of the aquation reactions of cobalt(III) and chromium(III) penta- and tetra-amines

Preparation of a series of specific penta- and tetra-amine derivatives of Co-III and Cr-III with a neutral leaving ligand has been carried out in order to accomplish a fine tuning of the associativeness/dissociativeness of their substitution reactions. Spontaneous aquation reactions of the neutral ligands have been studied at variable temperature and pressure. Although rate constants and thermal activation parameters show an important degree of scatter, the values determined for the activation volumes of the substitution process illustrate the mechanistic fine tuning that may be achieved for these reactions. In all cases, in the absence of important steric constraints in the molecule, electronic inductive effects seem to be the most important factor accounting for the dissociative shifts observed both for pentaamine (i.e.Delta V double dagger=+4.0 or +14.0 cm(3) mol(-1) and +5.2 or +16.5 cm(3) mol(-1) for the aquation of cis- or trans-[Co(MeNH2)(NH3)(4)(DMF)](3+) and cis- or trans-[CoL15(DMF)](3+) respectively, where L-15 represents a pentaamine macrocyclic ligand), and tetraamine systems (i.e.Delta V double dagger=+4.1 or +8.4 cm(3) mol(-1) and -10.8 or -7.4 cm(3) mol(-1) for the aquation of cis-[Co(NH3)(4)Cl(DMAC)](2+) (DMAC=dimethylacetamide) or cis-[Co(en)(2)Cl(DMAC)](2+) and cis-[Cr(NH3)(4)Cl(DMF)](2+) or cis -[Cr(en)(2)Cl(DMF)](2+)). From the results, clear evidence is obtained which indicates that, only when the situation is borderline I-a/I-d, or the steric demands are increased dramatically, dissociative shifts are observed; in all other cases electronic inductive effects seem to be dominant for such a tuning of the substitution process.