Business process management—the third wave: business process modelling language (bpml) and its pi-calculus foundations

This paper introduces the ideas behind BPML, the business process modelling language published by BPMI. BPML provides a process-centric (as opposed to a datacentric) metalanguage and execution model for business systems. It is underpinned by a strong mathematical foundation, the pi-calculus. The current paper is derived from supplementary appendices to a book which describes a ‘third wave’ approach to business process management [Business Process Management: The Third Wave, 2003]. The aim is to model business processes directly in an executable form, so that the mobility and mutability inherent in business behaviour is reflected and supported in the corresponding IT systems, erasing the present IT-business divide.     

Mexitl: Multimedia in Executable Interval Temporal Logic

This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements that arise from the multimedia documents application area, and we illustrate these requirements using several examples. Then we present the temporal logic formalism that we use. This logic extends existing interval temporal logic with a number of new features: actions, framing of actions, past operators, a projection-like operator called filter and a new handling of interval length. The notation is applied to the specification of the examples, and in particular a set of logical manipulations, providing feedback to an author, is presented. A model theory, logic and satisfaction relation are defined for the notation.     

Mapping Conjugate Gradient Algorithms for Neutron Diffusion Applications onto SIMD, MIMD, and Mixed-Mode Machines

The performance of conjugate gradient (CG) algorithms for the solution of the system of linear equations that results from the finite-differencing of the neutron diffusion equation was analyzed on SIMD, MIMD, and mixed-mode parallel machines. A block preconditioner based on the incomplete Cholesky factorization was used to accelerate the conjugate gradient search. The issues involved in mapping both the unpreconditioned and preconditioned conjugate gradient algorithms onto the mixed-mode PASM prototype, the SIMD MasPar MP-1, and the MIMD Intel Paragon XP/S are discussed. On PASM , the mixed-mode implementation outperformed either SIMD or MIMD alone. Theoretical performance predictions were analyzed and compared with the experimental results on the MasPar MP-1 and the Paragon XP/S. Other issues addressed include the impact on execution time of the number of processors used, the effect of the interprocessor communication network on performance, and the relationship of the number of processors to the quality of the preconditioning. Applications studies such as this are necessary in the development of software tools for mapping algorithms onto either a single parallel machine or a heterogeneous suite of parallel machines.     

The cut-groove technique to infer interfacial effects during hot rolling

This article presents a novel experimental technique to infer the coupled effects of friction and heat transfer during the hot rolling of steels. The technique, termed the “cut-groove” method, relates the behavior of the deforming grooves cut on the strip surface to the local effects of friction and heat transfer. Validation of the experimentally observed groove shapes involved developing two-dimensional (2-D) and three-dimensional (3-D) finite-element (FE) models that employed a probabilistic distribution diagram (PDD). The PDD framework modeled the roll-strip interface and accounted for the variations in the oxide scale as distinct states that affect both friction and heat transfer. The numerically predicted groove openings are in good agreement with the experimentally observed groove shapes, particularly for the 2-D case. For the 3-D model, deviations are observed at regions close to the strip edges that are affected by nonplanar strain arising from spread during laboratory rolling. S. DAS, formerly Student, Department of Engineering Materials, and later Research Associate, Institute of Microstructural and Mechanical Process Engineering, The University of Sheffield (IMMPETUS), Sheffield, SI 3JD, United Kingdom     

Reward,persuasion, and the Sokal Hoax: A study in citation identities

A citation identity is a list of an author's citees ranked by how frequently that author has cited them in publications covered by the Institute for Scientific Information. The same Dialog software that creates identities can simultaneously show the overall citation counts of citees, which indicate their reputations. Using identities for 28 authors in several disciplines of science and scholarship, I show that the reputational counts of their citees always have an approximately log-normal distribution: citations to very famous names are roughly balanced by citations to obscure ones, and most citations go to authors of middling reputation. These results undercut claims by constructivists that the main function of citation is to marshal “big-name” support for arguments at the expense of crediting lesser-known figures. The results are better explained by Robert K. Merton's norm of universalism, which holds that citers are rewarding use of relevant intellectual property, than by the constructivists' particularism, which holds that citers are trying to persuade through manipulative rhetoric. A universalistic citation pattern appears even in Alan Sokal's famous hoax article, where some of his citing was deliberately particularistic. In fact, Sokal's basic adherence to universalism probably helped his hoax succeed, which suggests the strength of the Mertonian norm. In specimen cases, the constructivists themselves are shown as conforming to it. This revised version was published online in June 2006 with corrections to the Cover Date.     

Complementary Tasks to Measure Working Memory in Distinct Prefrontal Cortex Subregions in Rats.

Acquisition of odor-guided or visually-guided delayed win-shift behavior was evaluated in rats after lidocaine-induced inactivation within the agranular insular area of the prefrontal cortex (PFC) or the prelimbic area of the PFC. Additional sites and tasks were used to control for neuroanatomical and behavioral specificity of lidocaine inactivation of the agranular insular and prelimbic areas. Results showed that acquisition of the odor-guided delayed win-shift task was dependent on the agranular insular area, whereas acquisition of the visually-guided version was dependent on the prelimbic area. This dissociation suggests that the stimulus modality used is critical for revealing working memory functions of different PFC subregions. The described methods provide a complementary means to study working memory in PFC subregions using a radial-arm maze. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Romantic versus realistic views of psychology.

Comments on the article by R. J. Sternberg and E. L. Grigorenko (see record 2001-10045-001), which described an approach to psychology ("unified psychology") that is a multiparadigmatic, multidisciplinary, and integrated study of psychological phenomena through converging operations. According to the present author, Sternberg and Grigorenko ignored fundamental methodological differences within the discipline when they developed their concept of unified psychology. In addition, Sternberg and Grigorenko's conception of a unified psychology was achieved by extending the meanings of converging operations (W. R. Garner et al, 1956) and paradigm (T. S. Kuhn, 1970) beyond their original intent. Sternberg and Grigorenko flagrantly ignored striking differences among contemporary psychologists' criteria for truth or verisimilitude. Instead of viewing psychology within the context of converging operations and paradigms and holding the amorphous conception that psychologists "need adhere to no particular set of methods, to no particular field, and to no particular paradigm," psychologists should consider an alternative, more direct approach: explicitly stating both the nature of the psychological phenomena to be studied and as well as their intended mode of explanation. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Inducing affect about self or other: Effects on generosity in children.

85 7–12 yr olds were asked to discuss happy, sad, or affectively neutral incidents that had been experienced either by themselves or by another child. Following the inducement of affect, the Ss were given the opportunity to share their experimental earnings with some less fortunate children. As predicted, a significant interaction of the discussion topic (self/other) and affect was found. Ss relating sad experiences encountered by another individual shared significantly more than those describing sad incidents that they had experienced. Although older Ss were more generous than the younger Ss in sharing their experimental earnings, age did not interact with the other experimental variables. (11 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Thermodynamic driving forces for PAH isomerization and growth during thermal treatment of polluted soils

For a limiting case of thermodynamic equilibrium, the importance of two classes of thermal chemical reactions that modify the structure and bioactivity of polycyclic aromatic hydrocarbons (PAH) was assessed computationally. These reactions are molecular weight (MW) growth by acetylene addition, and intramolecular rearrangement (isomerization). Temperatures (300-1100 degrees C), and the chemical environment (C(2)H(2)/H(2) molar ratios) were selected for relevancy to thermal treatment of PAH-contaminated soils under oxygen-free conditions. Molecular mechanics methods [MM3(92)] were used to compute thermochemical properties for calculation of equilibrium constants, i.e., heats of formation, standard entropies, and heat capacities for 30 PAH with empirical formulae C(14)H(10), C(16)H(10), C(18)H(10), C(18)H(12), C(20)H(10), and C(20)H(12). Included were 11 PAH containing only six-membered rings and 19 PAH containing both five- and six-membered rings. For each of these PAH the calculations predict that with increasing temperature, isomerization increases the "complexity" of the PAH mixture, i.e., the relative abundance of each PAH isomer in the mixture other than the most stable isomer, increases. Isomerization also partially transforms non-mutagens to mutagens, e.g., pyrene and benzo[e]pyrene to fluoranthene and benzo[a]pyrene, respectively, and partially converts cyclopenta[c, d]pyrene (CPEP) and chrysene, both human cell mutagens, to one and three additional human cell mutagens, respectively. Acetylene addition transforms the non-mutagens phenanthrene and pyrene to the mutagens triphenylene and CPEP, respectively. Some of the predicted PAH have been observed elsewhere among the products of aromatics pyrolysis. This study elucidates PAH reactivity for comparison with measurements, and identifies PAH reactions to be monitored and avoided in soil thermal decontamination and other waste remediation processes.