Hypermedia support for argumentation-based rationale: 15 years on from gIBIS and QOC

Having developed, used and evaluated some of the early IBIS-based approaches to design rationale (DR) such as gIBIS and QOC in the late 1980s/mid-1990s, we describe the subsequent evolution of the argumentation-based paradigm through software support, and perspectives drawn from modeling and meeting facilitation. Particular attention is given to the challenge of negotiating the overheads of capturing this form of rationale. Our approach has maintained a strong emphasis on keeping the representational scheme as simple as possible to enable real time meeting mediation and capture, attending explicitly to the skills required to use the approach well, particularly for the sort of participatory, multi-stakeholder requirements analysis demanded by many design problems. However, we can then specialize the notation and the way in which the tool is used in the service of specific methodologies, supported by a customizable hypermedia environment, and interoperable with other software tools. After presenting this approach, called Compendium, we present examples to illustrate the capabilities for support security argumentation in requirements engineering, template driven modeling for document generation, and IBIS-based indexing of and navigation around video records of meetings

Arguing security: validating security requirements using structured argumentation

This paper proposes using both formal and structured informal arguments to show that an eventual realized system can satisfy its security requirements. These arguments, called 'satisfaction arguments', consist of two parts: a formal argument based upon claims about domain properties, and a set of informal arguments that justify the claims. Building on our earlier work on trust assumptions and security requirements, we show how using satisfaction arguments assists in clarifying how a system satisfies its security requirements, in the process identifying those properties of domains that are critical to the requirements

Arguing satisfaction of security requirements

This chapter presents a process for security requirements elicitation and analysis, based around the construction of a satisfaction argument for the security of a system. The process starts with the enumeration of security goals based on assets in the system, then uses these goals to derive security requirements in the form of constraints. Next, a satisfaction argument for the system is constructed, using a problem-centered representation, a formal proof to analyze properties that can be demonstrated, and structured informal argumentation of the assumptions exposed during construction of the argument. Constructing the satisfaction argument can expose missing and inconsistent assumptions about system context and behavior that effect security, and a completed argument provides assurances that a system can respect its security requirements

Adherence to UK national guidance for discharge information: an audit in primary care

Aims: Poor communication of clinical information between healthcare settings is associated with patient harm. In 2008, the UK National Prescribing Centre (NPC) issued guidance regarding the minimum information to be communicated upon hospital discharge. This study evaluates the extent of adherence to this guidance and identifies predictors of adherence. Methods: This was an audit of discharge summaries received by medical practices in one UK primary care trust of patients hospitalized for 24 h or longer. Each discharge summary was scored against the applicable NPC criteria which were organized into: ‘patient, admission and discharge’, ‘medicine’ and ‘therapy change’ information. Results: Of 3444 discharge summaries audited, 2421 (70.3%) were from two teaching hospitals and 906 (26.3%) from three district hospitals. Unplanned admissions accounted for 2168 (63.0%) of the audit sample and 74.6% (2570) of discharge summaries were electronic. Mean (95% CI) adherence to the total NPC minimum dataset was 71.7% [70.2, 73.2]. Adherence to patient, admission and discharge information was 77.3% (95% CI 77.0, 77.7), 67.2% (95% CI 66.3, 68.2) for medicine information and 48.9% (95% CI 47.5, 50.3) for therapy change information. Allergy status, co-morbidities, medication history and rationale for therapy change were the most frequent omissions. Predictors of adherence included quality of the discharge template, electronic discharge summaries and smaller numbers of prescribed medicines. Conclusions: Despite clear guidance regarding the content of discharge information, omissions are frequent. Adherence to the NPC minimum dataset might be improved by using comprehensive electronic discharge templates and implementation of effective medicines reconciliation at both sides of the health interface

Establishing user requirements for a mobile learning environment

This paper presents the rationale, challenges, successes and results of activities to establish the requirements for a mobile learning environment. The effort is part of a European-funded research and development project investigating context-sensitive approaches to informal, problem-based and workplace learning by using key advances in mobile technologies. The techniques used include user observation, participatory design workshops and questionnaires. Analytic techniques include UML and the Volere shell and template

An introduction to IPR as a Participatory Design research method

This paper outlines the method of Interpersonal Process Recall (IPR) as a Participatory Design method, especially in the context of design for mental health and wellbeing. IPR is more commonly used in psychotherapy and other helping professions to help trainees and practitioners and their clients reflect on their process, using AV recordings of interactions for the facilitation of deep and accurate recall. We propose that it can provide a mechanism for reflection on team working and relational aspects of Participatory Design. The paper discusses the rationale for using IPR and the ways in which the method relate to phenomenological inquiry (including the Person-Centred Approach); it describes an IPR research method protocol, and finishes with a discussion of the implications for Participatory Design methodologies

Holistic engineering design : a combined synchronous and asynchronous approach

To aid the creation and through-life support of large, complex engineering products, organizations are placing a greater emphasis on constructing complete and accurate records of design activities. Current documentary approaches are not sufficient to capture activities and decisions in their entirety and can lead to organizations revisiting and in some cases reworking design decisions in order to understand previous design episodes. Design activities are undertaken in a variety of modes; many of which are dichotomous, and thus each require separate documentary mechanisms to capture information in an efficient manner. It is possible to identify the modes of learning and transaction to describe whether an activity is aimed at increasing a level of understanding or whether it involves manipulating information to achieve a tangible task. The dichotomy of interest in this paper is that of synchronous and asynchronous working, where engineers may work alternately as part of a group or as individuals and where different forms of record are necessary to adequately capture the processes and rationale employed in each mode. This paper introduces complimentary approaches to achieving richer representations of design activities performed synchronously and asynchronously, and through the undertaking of a design based case study, highlights the benefit of each approach. The resulting records serve to provide a more complete depiction of activities undertaken, and provide positive direction for future co-development of the approaches

Ground Systems Development Environment (GSDE) interface requirements analysis: Operations scenarios

This report is a preliminary assessment of the functional and data interface requirements to the link between the GSDE GS/SPF (Amdahl) and the Space Station Control Center (SSCC) and Space Station Training Facility (SSTF) Integration, Verification, and Test Environments (IVTE's). These interfaces will be involved in ground software development of both the control center and the simulation and training systems. Our understanding of the configuration management (CM) interface and the expected functional characteristics of the Amdahl-IVTE interface is described. A set of assumptions and questions that need to be considered and resolved in order to complete the interface functional and data requirements definitions are presented. A listing of information items defined to describe software configuration items in the GSDE CM system is included. It also includes listings of standard reports of CM information and of CM-related tools in the GSDE