Extending choreography with business contract constraints

Business contracts play a central role in governing commercial interactions between organizations. It is increasingly recognized that business contract conditions need to be closely linked to internal and external business processes, both to reduce the risk of contract violations and to ensure compliance with legislative regimes. Recent research has proposed contract languages allowing the specification of obligations, permissions and prohibitions in business contracts. Business processes that cross-organizational boundaries can be specified in choreography and coordination languages but these do not provide appropriate abstractions for contract constraints. In this paper, we examine the transformation of contract constraints in a business contract language into expressions in a choreography language. An example cross-organizational process is presented, along with a specification of the process in a choreography language and a specification of a set of contract conditions for the process in a business contract language. The contract terms are then translated into choreography expressions that govern the process to ensure compliance. Subsequent discussion explores a number of business and technology issues related to the results. We conclude that cross-organizational business processes can be monitored and enforced according to business contract specifications through the transformation of a contract definition to constraints on process behavior.

Inherent size constraints on prokaryote gene networks due to "accelerating" growth

Networks exhibiting accelerating growth have total link numbers growing faster than linearly with network size and either reach a limit or exhibit graduated transitions from nonstationary-to-stationary statistics and from random to scale-free to regular statistics as the network size grows. However, if for any reason the network cannot tolerate such gross structural changes then accelerating networks are constrained to have sizes below some critical value. This is of interest as the regulatory gene networks of single-celled prokaryotes are characterized by an accelerating quadratic growth and are size constrained to be less than about 10,000 genes encoded in DNA sequence of less than about 10 megabases. This paper presents a probabilistic accelerating network model for prokaryotic gene regulation which closely matches observed statistics by employing two classes of network nodes (regulatory and non-regulatory) and directed links whose inbound heads are exponentially distributed over all nodes and whose outbound tails are preferentially attached to regulatory nodes and described by a scale-free distribution. This model explains the observed quadratic growth in regulator number with gene number and predicts an upper prokaryote size limit closely approximating the observed value. (c) 2005 Elsevier GmbH. All rights reserved.

Hierarchical organisation of neuro-anatomical constraints in interlimb coordination

Based on the observation that bimanual finger tapping movements tend toward mirror symmetry with respect to the body midline, despite the synchronous activation of non-homologous muscles, F. Mechsner, D. Kerzel, G. Knoblich, and W. Prinz (2001) [Perceptual basis of bimanual coordination. Nature, 414, 69-73] suggested that the basis of rhythmic coordination is purely spatial/perceptual in nature, and independent of the neuro-anatomical constraints of the motor system. To investigate this issue further, we employed a four finger tapping task similar to that used by F. Mechsner and G. Knoblich (2004) [Do muscle matter in bimanual coordination? Journal of Experimental Psychology: Human Perception and Performance, 30, 490-503] in which six male participants were required to alternately tap combinations of adjacent pairs of index (1), middle (M) and ring (R) fingers of each hand in time with an auditory metronome. The metronome pace increased continuously from 1 Hz to 3 Hz over the course of a 30-s trial. Each participant performed three blocks of trials in which finger combination for each hand (IM or MR) and mode of coordination (mirror or parallel) were presented in random order. Within each block, the right hand was placed in one of three orientations; prone, neutral and supine. The order of blocks was counterbalanced across the six participants. The left hand maintained a prone position throughout the experiment. On the basis of discrete relative phase analyses between synchronised taps, the time at which the initial mode of coordination was lost was determined for each trial. When the right hand was prone, transitions occurred only from parallel symmetry to mirror symmetry, regardless of finger combination. In contrast, when the right hand was supine, transitions occurred only from mirror symmetry to parallel but no transitions were observed in the opposite direction. In the right hand neutral condition, mirror and parallel symmetry are insufficient to describe the modes of coordination since the hands are oriented orthogonally. When defined anatomically, however, the results in each of the three right hand orientations are consistent. That is, synchronisation of finger tapping is deter-mined by a hierarchy of control of individual fingers based on their intrinsic neuro-mechanical properties rather than on the basis of their spatial orientation. (c) 2005 Elsevier B.V. All rights reserved.

Specification and validation of process constraints for flexible workflows

Workflow systems have traditionally focused on the so-called production processes which are characterized by pre-definition, high volume, and repetitiveness. Recently, the deployment of workflow systems in non-traditional domains such as collaborative applications, e-learning and cross-organizational process integration, have put forth new requirements for flexible and dynamic specification. However, this flexibility cannot be offered at the expense of control, a critical requirement of business processes. In this paper, we will present a foundation set of constraints for flexible workflow specification. These constraints are intended to provide an appropriate balance between flexibility and control. The constraint specification framework is based on the concept of pockets of flexibility which allows ad hoc changes and/or building of workflows for highly flexible processes. Basically, our approach is to provide the ability to execute on the basis of a partially specified model, where the full specification of the model is made at runtime, and may be unique to each instance. The verification of dynamically built models is essential. Where as ensuring that the model conforms to specified constraints does not pose great difficulty, ensuring that the constraint set itself does not carry conflicts and redundancy is an interesting and challenging problem. In this paper, we will provide a discussion on both the static and dynamic verification aspects. We will also briefly present Chameleon, a prototype workflow engine that implements these concepts. (c) 2004 Elsevier Ltd. All rights reserved.

Volcanic resurfacing and the early terrestrial crust: Zircon U-Pb and REE constraints from the Isua Greenstone Belt, southern West Greenland

The oldest known bona fide succession of elastic metasediments Occurs in the Isua Greenstone Belt. SW Greenland and consists of a variety of mica schists and rare metaconglomerates. The metasediments are in direct contact with a felsic metavolcanic lithology that has previously been dated to 3.71 Ga. Based on trace element geochemical data for 30 metasediments, we selected the six samples with highest Zr concentrations for zircon extraction. These samples all yielded very few or no zircon, Those extracted from mica schists yielded ion probe U/Pb ages between 3.70 and 3,71 Ga. One metaconglomerate sample yielded just a single zircon of 3.74 Ga age. The mica schist hosted zircons have U/Pb ages. Th/U ratios, REE patterns and Eu anomalies indistinguishable from zircon in the adjacent 3.71 Ga felsic metavolcanic unit. Trace element modelling requires the bulk of material in the metasediments to be derived from variably weathered mafic lithologies but some metasediments contain substantial contribution from more evolved source lithologies. The paucity of zircon in the mica schists is thus explained by incorporation of material from largely zircon-free volcanic lithologies. The absence of older zircon in the mica schists and the preponderance of mafic source material imply intense, mainly basaltic resurfacing of the early Earth. The implications of this process are discussed, Thermal considerations suggest that horizontal growth of Hadean crust by addition of mafic ultramafic lavas must have triggered self-reorganisation of the protocrust by remelting. Reworking oft Hadean crust may have been aided by burial of hydrated (weathered) metabasalt due to semi-continuous addition of new voluminous basalt Outpouring,;, This process Causes a bias towards eruption of Zr-saturated partial melts at the surface with O-isotope corn posit ion,, potentially different from the mantle. The oldest zircons hosted in sediments would have been buried to substantial depth or formed in plutons that crystallised at some depth from which it took hundreds of millions of years for them to be exhumed and incorporated into much younger sediments. (C) 2005 Elsevier B.V.All rights reserved.

Matching poultry production with available feed resources: issues and constraints

Corn and soyabeans may not be available in many countries particularly those which do not have sufficient foreign currency or the capacity to grow them. This paper outlines strategies that may be important under these circumstances. Alternative feedstuffs and various feeding systems may be used to support poultry production. Alternative ingredients such as rice bran, pearl millet, cottonseed meal and grain legumes are discussed. Evidence is presented showing that amino acid requirements of layers and broilers may be too generous particularly in countries where climate, management and disease can impose production constraints. The ability of finishing broilers to perform well on very low-energy diets allows the inclusion of alternative feeds and by-products into formulations. Very low protein diets based on cereals and free amino acids can be used for layers without loss of performance. Self-selection of feedstuffs may be an important strategy in reducing feed costs of broilers and layers. The concept of matching production with available feed resources may compromise broiler growth and egg production, but in many countries this may be the most economical choice. Countries in the humid tropics usually have reduced poultry performance. The effects of high temperature and humidity are difficult to overcome. The vexed questions of the escalation in the price of fossil fuel and the outbreak of avian influenza, both seemingly without a solution, are clouds hanging over an otherwise buoyant industry.

Neuromuscular-skeletal constraints on the acquisition of skill in a discrete torque production task

The organisation of the human neuromuscular-skeletal system allows an extremely wide variety of actions to be performed, often with great dexterity. Adaptations associated with skill acquisition occur at all levels of the neuromuscular-skeletal system although all neural adaptations are inevitably constrained by the organisation of the actuating apparatus (muscles and bones). We quantified the extent to which skill acquisition in an isometric task set is influenced by the mechanical properties of the muscles used to produce the required actions. Initial performance was greatly dependent upon the specific combination of torques required in each variant of the experimental task. Five consecutive days of practice improved the performance to a similar degree across eight actions despite differences in the torques required about the elbow and forearm. The proportional improvement in performance was also similar when the actions were performed at either 20 or 40% of participants' maximum voluntary torque capacity. The skill acquired during practice was successfully extrapolated to variants of the task requiring more torque than that required during practice. We conclude that while the extent to which skill can be acquired in isometric actions is independent of the specific combination of joint torques required for target acquisition, the nature of the kinetic adaptations leading to the performance improvement in isometric actions is influenced by the neural and mechanical properties of the actuating muscles.

Quality of service in flexible workflows through process constraints

Workflow technology has delivered effectively for a large class of business processes, providing the requisite control and monitoring functions. At the same time, this technology has been the target of much criticism due to its limited ability to cope with dynamically changing business conditions which require business processes to be adapted frequently, and/or its limited ability to model business processes which cannot be entirely predefined. Requirements indicate the need for generic solutions where a balance between process control and flexibility may be achieved. In this paper we present a framework that allows the workflow to execute on the basis of a partially specified model where the full specification of the model is made at runtime, and may be unique to each instance. This framework is based on the notion of process constraints. Where as process constraints may be specified for any aspect of the workflow, such as structural, temporal, etc. our focus in this paper is on a constraint which allows dynamic selection of activities for inclusion in a given instance. We call these cardinality constraints, and this paper will discuss their specification and validation requirements.

40Ar/39Ar geochronological constraints on the evolution of lateritic iron deposits in the Quadrilatero Ferrifero, Minas Gerais, Brazil

Weathering profiles overlying the Sapecado, Pico and Andaime iron ore deposits, Quadrilátero Ferrífero (QF), Minas Gerais, Brazil, reach depths of 150–400 m and host world-class supergene iron orebodies. In addition to hosting supergene ore bodies of global economic significance, weathered banded iron-formations at the Quadrilátero Ferrífero and elsewhere (e.g., Carajás, Hamersley) are postulated to underlie some of the most ancient continuously exposed weathering profiles on earth. Laser incremental-heating 40Ar/39Ar results for 69 grains of hollandite-group manganese oxides extracted from 23 samples collected at depths ranging from 5 to 150 m at the Sapecado, Pico and Andaime deposits reveal ages ranging from ca. 62 to 14 Ma. Older Mn-oxides occur near the surface, while younger Mn-oxides occur at depth. However, many samples collected at the weathering–bedrock interface yield ages in the 51–41 Ma range, suggesting that the weathering profiles in the Quadrilátero Ferrífero had already reached their present depth in the Paleogene. The antiquity of the weathering profiles in the Quadrilátero Ferrífero is comparable to the antiquity of dated weathering profiles on banded iron-formations in the Carajás Region (Brazil) and the Hamersley Province, Western Australia. The age versus depth distributions obtained in this study, but not available for other regions containing similar supergene iron deposits, suggest that little further advance of the weathering front has occurred in the Quadrilátero Ferrífero lateritic profiles during the Neogene. The results suggest that weathering in some of these ancient landscapes is not controlled by the steady-state advance of weathering fronts through time, but may reflect climatic and geomorphological conditions prevailing in a remote past. The geochronological results also confirm that the ancient landsurfaces in the Quadrilátero Ferrífero probably remained immune to erosion for tens of millions of years. Deep weathering, mostly in the Paleogene, combined with low erosion rates, account for the abundance and widespread distribution of supergene iron, manganese, and aluminum orebodies in this region.

40Ar/39Ar geochronology constraints on late miocene weathering rates in Minas Gerais, Brazil

Ar-40/Ar-39 incremental heating ages for twenty one grains of cryptomelane, collected at 0, 42, 45, and 60 in depths in the Cachoeira Mine weathering profile, Minas Gerais, permit calculating long-term (10 Ma time scale) weathering rate (saprolitization rate) in SE Brazil. Pure well-crystallized cryptomelane grains with high K contents (3-5 wt.%) yield reliable geochronological results. The Ar-40/Ar-39 plateau ages obtained decrease from the top to the bottom of the profile (12.7 +/- 0.1 to 7.6 +/- 0.1 Ma at surface; 7.6 +/- 0.2 to 6.1 +/- 0.2 Ma at 42 m; and 7.1 +/- 0.2 to 5.9 +/- 0.1 Ma at 45 in; 6.6 +/- 0.1 to 5.2 +/- 0.1 Ma at 60 in), yielding a weathering front propagation rate of 8.9 +/- 1.1 m/m.y. From the geochronological results and the mineral transformations implicit by the current mineralogy in the weathering profiles, it is possible to calculate the saprolitization rate for the Cachoeira Mine lithologies and for adjacent weathering profiles developed on granodiorites and scbists. The measured weathering front propagation rate yields a saprolitization rate of 24.9 +/- 3.1 t/km(2)/yr. This average long-term (> 10 Ma) saprolitization rate is consistent with mass balance calculations results for present saprolitization rates in weathering watersheds. These results are also consistent with longterm saprolitization rates estimated by combining cosmogenic isotope denudation rates with mass balance calculations. (c) 2005 Elsevier B.V All rights reserved.