Life of occam-Pi

This paper considers some questions prompted by a brief review of the history of computing. Why is programming so hard? Why is concurrency considered an “advanced” subject? What’s the matter with Objects? Where did all the Maths go? In searching for answers, the paper looks at some concerns over fundamental ideas within object orientation (as represented by modern programming languages), before focussing on the concurrency model of communicating processes and its particular expression in the occam family of languages. In that focus, it looks at the history of occam, its underlying philosophy (Ockham’s Razor), its semantic foundation on Hoare’s CSP, its principles of process oriented design and its development over almost three decades into occam-? (which blends in the concurrency dynamics of Milner’s ?-calculus). Also presented will be an urgent need for rationalisation – occam-? is an experiment that has demonstrated significant results, but now needs time to be spent on careful review and implementing the conclusions of that review. Finally, the future is considered. In particular, is there a future

A Process-Oriented Architecture for Complex System Modelling

A fine-grained massively-parallel process-oriented model of platelets (potentially artificial) within a blood vessel is presented. This is a CSP inspired design, expressed and implemented using the occam-pi language. It is part of the TUNA pilot study on nanite assemblers at the universities of York, Surrey and Kent. The aim for this model is to engineer emergent behaviour from the platelets, such that they respond to a wound in the blood vessel wall in a way similar to that found in the human body -- i.e. the formation of clots to stem blood flow from the wound and facilitate healing. An architecture for a three dimensional model (relying strongly on the dynamic and mobile capabilities of occam-pi) is given, along with mechanisms for visualisation and interaction. The biological accuracy of the current model is very approximate. However, its process-oriented nature enables simple refinement (through the addition of processes modelling different stimulants/inhibitors of the clotting reaction, different platelet types and other participating organelles) to greater and greater realism. Even with the current system, simple experiments are possible and have scientific interest (e.g. the effect of platelet density on the success of the clotting mechanism in stemming blood flow: too high or too low and the process fails). General principles for the design of large and complex system models are drawn. The described case study runs to millions of processes engaged in ever-changing communication topologies. It is free from deadlock, livelock, race hazards and starvation em by design, employing a small set of synchronisation patterns for which we have proven safety theorems

Spontaneous rotational inversion in Phycomyces

The filamentary fungus Phycomyces blakesleeanus undergoes a series of remarkable transitions during aerial growth. During what is known as the Stage IV growth phase, the fungus extends while rotating in a counterclockwise manner when viewed from above (Stage IVa) and then, while continuing to grow, spontaneously reverses to a clockwise rotation (Stage IVb). This phase lasts for 24 - 48 hours and is sometimes followed by yet another reversal (Stage IVc) before the overall growth ends. Here, we propose a continuum mechanical model of this entire process using nonlinear, anisotropic, elasticity and show how helical anisotropy associated with the cell wall structure can induce spontaneous rotation and, under appropriate circumstances, the observed reversal of rotational handedness

Abstract State Machines 1988-1998: Commented ASM Bibliography

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

Effects of demographic noise on the synchronization of a metapopulation in a fluctuating environment

We use the theory of noise-induced phase synchronization to analyze the effects of demographic noise on the synchronization of a metapopulation of predator-prey systems within a fluctuating environment (Moran effect). Treating each local predator–prey population as a stochastic urn model, we derive a Langevin equation for the stochastic dynamics of the metapopulation. Assuming each local population acts as a limit cycle oscillator in the deterministic limit, we use phase reduction and averaging methods to derive the steady state probability density for pairwise phase differences between oscillators, which is then used to determine the degree of synchronization of\ud the metapopulation

Consistent Estimation of Mixed Memberships with Successive Projections

This paper considers the parameter estimation problem in Mixed Membership Stochastic Block Model (MMSB), which is a quite general instance of random graph model allowing for overlapping community structure. We present the new algorithm successive projection overlapping clustering (SPOC) which combines the ideas of spectral clustering and geometric approach for separable non-negative matrix factorization. The proposed algorithm is provably consistent under MMSB with general conditions on the parameters of the model. SPOC is also shown to perform well experimentally in comparison to other algorithms

Na/K pump regulation of cardiac repolarization: Insights from a systems biology approach

The sodium-potassium pump is widely recognized as the principal mechanism for active ion transport across the cellular membrane of cardiac tissue, being responsible for the creation and maintenance of the transarcolemmal sodium and potassium gradients, crucial for cardiac cell electrophysiology. Importantly, sodium-potassium pump activity is impaired in a number of major diseased conditions, including ischemia and heart failure. However, its subtle ways of action on cardiac electrophysiology, both directly through its electrogenic nature and indirectly via the regulation of cell homeostasis, make it hard to predict the electrophysiological consequences of reduced sodium-potassium pump activity in cardiac repolarization. In this review, we discuss how recent studies adopting the Systems Biology approach, through the integration of experimental and modeling methodologies, have identified the sodium-potassium pump as one of the most\ud important ionic mechanisms in regulating key properties of cardiac repolarization and its rate-dependence, from subcellular to whole organ levels. These include the role of the pump in the biphasic modulation of cellular repolarization and refractoriness, the rate control of intracellular sodium and calcium dynamics and therefore of the adaptation of repolarization to changes in heart rate, as well as its importance in regulating pro-arrhythmic substrates through modulation of dispersion of repolarization and restitution. Theoretical findings are consistent across a variety of cell types and species including human, and widely in agreement with experimental findings. The novel insights and hypotheses on the role of the pump in cardiac electrophysiology obtained through this integrative approach could eventually lead to novel therapeutic and diagnostic strategies

Communicating Java Threads

The incorporation of multithreading in Java may be considered a significant part of the Java language, because it provides udimentary facilities for concurrent programming. However, we belief that the use of channels is a fundamental concept for concurrent programming. The channel approach as described in this paper is a realization of a systematic design method for concurrent programming in Java based on the CSP paradigm. CSP requires the availability of a Channel class and the addition of composition constructs for sequential, parallel and alternative processes. The Channel class and the constructs have been implemented in Java in compliance with the definitions in CSP. As a result, implementing communication between processes is facilitated, enabling the programmer to avoid deadlock more easily, and freeing the programmer from synchronization and scheduling constructs. The use of the Channel class and the additional constructs is illustrated in a simple application