Special Issue on Applications and Advances in Problem Frames
Jon G. Hall,Lucia Rapanotti,Karl Cox,Zhi Jin
DOI: https://doi.org/10.1111/j.1468-0394.2008.00473.x
IF: 3.3
2008-01-01
Expert Systems
Abstract:We are very pleased to be associated with the four papers on problem frames (Jackson, 2001; Cox et al., 2005) that appear in this special issue of Expert Systems, The Journal of Knowledge Engineering. In its 25 years of publication, Expert Systems has seen many changes in the landscape of expert systems. The technologies have matured from their early forms to become robust and the basis of many fine systems. The areas in which they have been applied have expanded and many areas of modern life now contain them. The design of solutions based on knowledge engineering technologies continues apace in many areas of modern relevance: recent volumes of Expert Systems have seen applications to financial market volatility (Oh et al., 2006), heart beat instability (Ubeyli, 2007), water quality improvement (Hatzikos et al., 2007) and even adolescent well-being (Wang et al., 2007). The application of knowledge engineering techniques depends to a large extent on the skills of software engineers; and few would argue against a view of software engineering as overlapping knowledge engineering. Software requirements engineering, for instance, has learned much from reflection on core knowledge engineering techniques of elicitation, representation and classification. The flow is both ways, of course, and the reflective knowledge engineering community is reappraising the work on expert systems in the light of what software engineering has achieved; Sagheb-Tehrani (2006), for instance, provides an investigation of the processes of design of expert systems to determine why many of them have been unsuccessful at their primary task. The critique points to the work of the designer, or knowledge engineer, coming increasingly under scrutiny as technological achievement needs converting into products and services, with notions of fitness-for-purpose becoming of heightened importance in what is now a large industry. The role of designer as knowledge engineer is broad both in scope and application. In terms of scope, we distinguish the designer as radical inventor at one end of the spectrum from normal designer at the other: both are creative, both work iteratively, both work as knowledge engineers, both have a view of the product or service to be provided, but it is techniques and support for those towards the normal design end–those whose role requires an ability to build a product or service that can be assured, in all probability, to satisfy its design goals first time–that can be the basis of a sustainable engineering discipline. Normal design was identified by Vincenti (1990), and is likely to play an increasingly important role in the theory of design, including that of expert systems. One might ask how normal design is practised. One way is through the use of ‘patterns’ (see, for instance, Moynihan et al., 2006), with a pattern describing successful recurring solutions to common problems. Problem frames are a more recent and successful addition to the pattern literature, and are designed to assist in the software requirements phase of software intensive system development by capturing recurring ‘problems’ in software; this theme is continued in Jackson's Foreword to this issue (Jackson, 2008). One important aspect of the normal practice of capturing recurrent problems, rather than solutions, in traditional engineering disciplines is that they lead to practical, rather than technological, specialists, and that is another powerful thesis of Jackson. We hope that you enjoy reading the papers in this issue and any subsequent reflection on your own discipline. The four papers in this volume illustrate the broad applicability of problem frames. Strunk and Knight, in their paper ‘The essential synthesis of problem frames and assurance cases’, tackle the difficult issue of building an assurance case, i.e. a collection of evidence and argument in defence of a system's fitness for purpose, during early problem analysis. A convincing assurance case is the basis of a decision of whether to commission a system and, ultimately, its value to the customer. Lavazza and del Bianco, in ‘Enhancing problem frames with scenarios and histories in UML-based software development’, show how effective and beneficial it is to consider not only the structure and behaviour of a problem's context, but also its typical scenarios and past history. They find that scenarios offer good support for the merging of subproblems, for addressing frame concern issues and for design models, a result of obvious potential importance in problem frames and other knowledge engineering areas. Jørgenson, in ‘Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns’, demonstrates how some very polished Petri net tools can be employed to make the understanding of a problem, expressed in the problem frames' notation, easier to a stakeholder. One exciting element of this work is that it includes not only the behaviour of the system but also the frame concerns, i.e. those arguments that show that early problem analysis has been successful. Lencastre, Araujo, Moreira and Castro, in ‘Towards aspectual problem frames: an example’, show how another modern development technology, aspect orientation, works to provide a more modular, evolvable approach to problem framing. Begun in 2004, the IWAAPF workshop series has encouraged those with an interest in requirements engineering to come together, biannually, to discuss their areas of expertise. The 2006 IWAAPF workshop, at which the original versions of these papers were presented, was successful due to the hard work of everyone involved. Many of the original reviewers helped in the preparation of this special issue, and we thank them greatly for their help. Thanks also to those in Wiley-Blackwell's Expert Systems' office who have made this special issue available in good time. Last, but by no means least, to Michael Jackson go our thanks for presenting such a stimulating avenue of research.