Evaluating the effectiveness of Z: The claims made about CICS and where we go from here

There have been few genuine success stories about industrial use of formal methods. Perhaps the best known and most celebrated is the use of Z by IBM (in collaboration with Oxford University's Programming Research Group) during the development of CICS/ESA (version 3.1). This work was rewarded with the prestigious Queen's Award for Technological Achievement in 1992 and is especially notable for two reasons: 1) because it is a commercial, rather than safety- or security-critical, system and 2) because the claims made about the effectiveness of Z are quantitative as well as qualitative. The most widely publicized claims are: less than half the normal number of customer-reported errors and a 9% savings in the total development costs of the release. This paper provides an independent assessment of the effectiveness of using Z on CICS based on the set of public domain documents. Using this evidence, we believe that the case study was important and valuable, but that the quantitative claims have not been substantiated. The intellectual arguments and rationale for formal methods are attractive, but their widespread commercial use is ultimately dependent upon more convincing quantitative demonstrations of effectiveness. Despite the pioneering efforts of IBM and PRG, there is still a need for rigorous, measurement-based case studies to assess when and how the methods are most effective. We describe how future similar case studies could be improved so that the results are more rigorous and conclusive.

An AI formalism for competing claims of identification: capturing the "Smemorato di Collegno" amnesia case

A formal representation is given of the situational structure, and the agents' beliefs about personal identity, in the Smemorato di Collegno amnesia case tried in 1927, in Pollenza, Italy. Another section discusses and formalizes a sample heuristic rule for conjecturing whether an individual identity other than personal, being conveyed by a toponym, was used literally or fictitiously in a given historical corpus of legal casenotes. For example, a landlocked city being named and referred to as though it was a sea port is a fairly good cue for assuming that the toponym is a disguise. Yet, the interpretation is governed by other conventions, when in a play by Shakeaspeare it is stated that a given scene is set on the sea coast of Bohemia. Further discussion of a situational casuistry for identification (especially individual and personal) along with more formal representations will appear in a companion paper "nissanidentifpirandello", also at the disciplinary meet of AI formalisms and legal applications.

Towards the design of a portal framework for web services integration

Web services based systems have recently found their way into many applications such as e-commerce, corporate integration and e-learning. Construction of new services or introducing new functions to existing services requires composition of web services. Current approaches to service composition often require major programming effort; this is time consuming and requires considerable developer expertise. In this paper, we explore the real and rich scenarios found in e-learning where education services are offered through the Internet by networked universities to potentially millions in the world. These services are derived from existing/emerging business operation processes and commonly offered through a web interface, combined with other services such as email and ftp services, to support partial/full business processes. We identify the requirements for a generic portal framework for easy integration of existing expertise and services of individual institutions (enterprises). We examine the existing technologies and standards, and point out the gaps to be filled in designing the architecture of the framework

Explosion in fume cupboard damages several laboratories

An explosion occurred in a busy university laboratory during a few minutes when it happened to be unoccupied. The explosion was puzzling since the laboratory was dedicated to geochemical work, such as digesting rock samples with stable, inorganic reagents. The only unstable substance knowingly stored or handled for this purpose, perchloric acid, was not in use on the day of the incident. The investigation was unable to reach an exact conclusion but did prove that a substantial organic contaminant, not on the laboratory inventory, must have been present

More than a nuisance: personal injury under Rylands

Discusses, by reference to case law, whether damages for personal injury are recoverable under Rylands v Fletcher liability. Considers the issue by reference to a hypothetical scenario in which a claimant suffers personal injury as a result of a chemical leak from a factory for which the factory owner is not at fault. Considers claims based on diminution in amenity and for consequential loss.

'Re-using an existing wheel' developing data architecture for cooperating autonomous and semi-autonomous, agent-based web services

This short position paper considers issues in developing Data Architecture for the Internet of Things (IoT) through the medium of an exemplar project, Domain Expertise Capture in Authoring and Development ­Environments (DECADE). A brief discussion sets the background for IoT, and the development of the ­distinction between things and computers. The paper makes a strong argument to avoid reinvention of the wheel, and to reuse approaches to distributed heterogeneous data architectures and the lessons learned from that work, and apply them to this situation. DECADE requires an autonomous recording system, ­local data storage, semi-autonomous verification model, sign-off mechanism, qualitative and ­quantitative ­analysis ­carried out when and where required through web-service architecture, based on ontology and analytic agents, with a self-maintaining ontology model. To develop this, we describe a web-service ­architecture, ­combining a distributed data warehouse, web services for analysis agents, ontology agents and a ­verification engine, with a centrally verified outcome database maintained by certifying body for qualification/­professional status.

Developing “middle leaders” in the public services? The realities of management and leadership development for public managers

Purpose – This paper aims to assess the actual contribution to organisational change of management and leadership development (MLD) activity for middle managers (MMs) in public service organisations (PSOs). Design/methodology/approach – Using the case study approach, the paper compares the content and outcomes of management and leadership training interventions for MMs in two large PSOs. The organisations, a fire brigade and a train operating company, are leaders in their sectors with respect to management development and “modernisation” of their services. Findings – The paper demonstrates how, in one case, MM development was largely an exercise in regulatory compliance, with little effect on individual MMs' performance or organisational outcomes. The second case demonstrates how MMs were effectively trained to enforce specific human resource policies which contributed to the successful implementation of top-down strategy yet paid little attention to the potential leadership role of MMs. Research limitations/implications – The paper highlights the need for further contextualised research at organisational level into the outcomes of MLD, especially in terms of different public service contexts. Practical implications – The paper demonstrates the dangers of designing and implementing development programmes without sufficient regard to professional practice and the realities of managerial discretion in PSOs. Originality/value – The paper provides an in-depth and contextualised insight into the conditions for success and failure in management development interventions in PSOs.

Deal or no deal

Discusses the pre-action protocol for mortgage possession claims which came into effect on November 19, 2008, highlighting the situations in respect of which it is suggested the lender "considers" not starting proceedings and the lenders entitlement to be informed of progress on the sale of the property. Reviews the guidance on mortgages and arrears issued by the Council for Mortgage Lenders, aimed at assisting lenders in complying with the Financial Services Agency's Mortgage Conduct of Business Rules Pt 13. [From Legal Journals Index]

Economic crisis and public services: note 1, December 2008

The paper examines the impact of the economic crisis on public services, including government reponses and implications for companies operating in public services.

Private equity: financial investors, public services, and employment

The report surveys the activity of private equity and other financial investors in the water, waste and healthcare sectors in Europe. It includes the appraisal of a WEF study on employment effects.

Municipal services: organisations, companies and alternatives

A review of the impact of international institutions and multinational companies on municipal services worldwide, and of campaigns for alternatives.

The role of joint training in practitioner development for learning disability services

The presentation explores and evaluates an innovation in education and training in which two different professional trainings (nursing and social work) are integrated to produce jointly qualified specialist practitioners.