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.

Clay mineralogical and isotopic (K-Ar, delta O-18, delta D) constraints on the evolution of the North Anatolian Fault Zone, Turkey

This study presents the first attempt to constrain the evolution of the North Anatolian Fault Zone (NAFZ) by age dating and isotope tracing of clay minerals formed during near-surface faulting. Extensive illitic clay mineralisation occurred along the NAFZ related to hydrothermal alteration of the fault gouges and pseudotachylytes. Samples representing the pre-fault protoliths outside the fault zone do not contain authigenic illitic clay minerals indicating that hydrothermal processes were confined to the areas within the fault zone. K-Ar age data indicate that the hydrothermal system and the associated illite authigenesis initiated at similar to 57 Ma. This process is interpreted to reflect the onset of significant strike-slip or transtensional faulting immediately after the continental collision related to the closure of the Neotethys Ocean. Following the initiation of the fault movements in the latest Paleocene-Early Eocene, displacements along the NAFZ have continued, with probably intensified fault activities at similar to 26 Ma and later than similar to 8 Ma. Oxygen isotope compositions of the illitic clays from different locations along the NAFZ are similar, with narrow ranges in delta O-18 values indicating clay precipitation from fluids with similar oxygen isotope compositions and crystallisation temperatures. The delta O-18 and delta D values of the calculated fluid isotopic composition (delta O-18=5.9 parts per thousand to 11.2 parts per thousand, delta D=-59 parts per thousand to -73 parts per thousand) are consistent with metamorphic and magmatic origin of fluids mobilised during active tectonism. The interpretation of the fluid flow history of the NAFZ is in agreement with that reported previously for some well-known large-scale high-angle fault zones, which similarly developed along collisional-type orogenic belts and are commonly associated with significant mesothermal ore mineralisation. (c) 2005 Elsevier B.V. All rights reserved.

A formal object-oriented approach to defining consistency constraints for UML models

We discuss how integrity consistency constraints between different UML models can be precisely defined at a language level. In doing so, we introduce a formal object-oriented metamodeling approach. In the approach, integrity consistency constraints between UML models are defined in terms of invariants of the UML model elements used to define the models at the language-level. Adopting a formal approach, constraints are formally defined using Object-Z. We demonstrate how integrity consistency constraints for UML models can be precisely defined at the language-level and once completed, the formal description of the consistency constraints will be a precise reference of checking consistency of UML models as well as for tool development.