Testing java interrupts and timed waits

Testing concurrent software is difficult due to problems with inherent nondeterminism. In previous work, we have presented a method and tool support for the testing of concurrent Java components. In this paper, we extend that work by presenting and discussing techniques for testing Java thread interrupts and timed waits. Testing thread interrupts is important because every Java component that calls wait must have code dealing with these interrupts. For a component that uses interrupts and timed waits to provide its basic functionality, the ability to test these features is clearly even more important. We discuss the application of the techniques and tool support to one such component, which is a nontrivial implementation of the readers-writers problem.

Obstacles to a totally functional programming style

"Totally functional programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practice in language extensibility and functional programming. Its technical essence extends the role of "fold" functions in structuring functional programs to include methods that make comparisons on elements of data structures. The obstacles that currently prevent the immediate uptake of TFP as a style within functional programming equally indicate future research directions in the areas of theoretical foundations, supporting technical infrastructure, demonstrated practical applicability, and relationship to OOP.

An experiment in the design of distributed programs

This paper describes an experiment in the design of distributed programs. It is based on the theory of Owicki and Gries extended with rules for reasoning about message passing. The experiment is designed to test the effectiveness of the extended theory for designing distributed programs.

Interference between propagating changes and its effect on system failure

Computer-based, socio-technical systems projects are frequently failures. In particular, computer-based information systems often fail to live up to their promise. Part of the problem lies in the uncertainty of the effect of combining the subsystems that comprise the complete system; i.e. the system's emergent behaviour cannot be predicted from a knowledge of the subsystems. This paper suggests uncertainty management is a fundamental unifying concept in analysis and design of complex systems and goes on to indicate that this is due to the co-evolutionary nature of the requirements and implementation of socio-technical systems. The paper shows a model of the propagation of a system change that indicates that the introduction of two or more changes over time can cause chaotic emergent behaviour.

Particle formation during soy protein precipitation

The current success of soy foods is driving soy ingredient manufacturers to develop innovative products for food manufacturers. One such innovation is separating the soy proteins glycinin and beta-conglycinin to take advantage of their individual functional and nutritional properties. Precipitation by acidification is a low-cost method for separating these two proteins. Separation is achieved by preferentially precipitating glycinin at pH ~ 6 while beta-conglycinin remains in solution. Understanding the particle formation during protein precipitation is important as it can influence the efficiency of the precipitation process as well as subsequent downstream processes such as the particle-liquid separation step, usually achieved by centrifugation. Most of the previous soy protein precipitation studies are limited to precipitation at pH 4 as this is the pH range most commonly used in the commercial manufacturing of soy protein isolates. To date, there have been no studies on the particle formation during precipitation at pH > 5.Precipitation of soy protein is generally thought to occur by the rapid formation of primary particles in the size range of 0.1 - 0.3 microns followed by aggregation of these particles via collision to aggregates of size about 1 - 50 microns. The formation of the primary particles occurs on a time scale much shorter than that of the overall precipitation process (Nelson and Glatz, 1985). This study shows that precipitation of soy protein is indeed rapid. At high pH levels, binary liquid-liquid separation occurs forming a protein-rich heavy phase. The protein-rich phase appears as droplets which can be coalesced to form a uniform bulk layer under centrifugation forces. Upon lowering the pH level by the addition of acid, further protein is precipitated as amorphous material which binds the droplets together to form aggregates of amorphous precipitates. Liquid-liquid separation has been observed in many protein solutions but this phenomenon has only scarcely been reported in the literature for soy proteins. It presents an exciting opportunity for an innovative product. Features of the liquid-phase protein such as protein yield and purity will be characterized.

It's all in the game: Teaching software process concepts

A major challenge in teaching software engineering to undergraduates is that most students have limited industry experience, so the problems addressed are unknown and hence unappreciated. Issues of scope prevent a realistic software engineering experience, and students often graduate with a simplistic view of software engineering’s challenges. Problems and Programmers (PnP) is a competitive, physical card game that simulates the software engineering process from requirements specification to product delivery. Deliverables are abstracted, allowing a focus on process issues and for lessons to be learned in a relatively short time. The rules are easy to understand and the game’s physical nature allows for face-to-face interaction between players. The game’s developers have described PnP in previous publications, but this paper reports the game’s use within a larger educational scheme. Students learn and play PnP, and then are required to create a software requirements specification based on the game. Finally, students reflect on the game’s strengths and weaknesses and their experiences in an individual essay. The paper discusses this approach, students’ experiences and overall outcomes, and offers an independent, critical look at the game, its use, and potential improvements.

Model checking Z specifications using SAL

The Symbolic Analysis Laboratory (SAL) is a suite of tools for analysis of state transition systems. Tools supported include a simulator and four temporal logic model checkers. The common input language to these tools was originally developed with translation from other languages, both programming and specification languages, in mind. It is, therefore, a rich language supporting a range of type definitions and expressions. In this paper, we investigate the translation of Z specifications into the SAL language as a means of providing model checking support for Z. This is facilitated by a library of SAL definitions encoding the Z mathematical toolkit.