Incorporating design explanation within formal object-oriented method (FOOM)

Requirements engineering is a commencing phase in the development of either software applications or information systems. It is concerned with understanding and specifying the customer's requirements of the system to be delivered. Throughout the literature, this is agreed to be one of the most crucial and, unfortunately, problematic phases in development. Despite the diversity of research directions, approaches and methods, the question of process understanding and management is still limited. Among contemporary approaches to the improvement of the current practice of Requirements Engineering, Formal Object-Oriented Method (FOOM) has been introduced as a new promising solution. The FOOM approach to requirements engineering is based on a synthesis of socio-organisational theory, the object-oriented approach, and mathematical formal specification. The entire FOOM specification process is evolutionary and involves a large volume of changes in requirements. During this process, requirements evolve through various forms of informal, semi-formal, and formal while maintaining a semantic link between these forms and, most importantly, conforming to the customer's requirements. A deep understanding of the complexity of the requirements model and its dynamics is critical in improving requirements engineering process management. This thesis investigates the benefits of documenting both the evolution of the requirements model and the rationale for that evolution. Design explanation explains and justifies the deliberations of, and decisions made during, the design activity. In this thesis, design explanation is used to describe the requirements engineering process in order to improve understandability of, and traceability within, the evolving requirements specification. The design explanation recorded during this research project is also useful in assisting the researcher in gaining insights into the creativity and opportunistic characteristics of the requirements engineering process. This thesis offers an interpretive investigation into incorporating design explanation within FOOM in order to extend and advantage the method. The researcher's interpretation and analysis of collected data highlight an insight-driven and opportunistic process rather than a strictly and systematically predefined one. In fact, the process was not smoothly evolutionary, but involved occasional 'crisis' points at which the model was reconceptualised, simplified and restructured. Therefore, contributions of the thesis lie not only in an effective incorporation of design explanation within FOOM, but also a deep understanding of the dynamic process of requirements engineering. The new understanding of the complexity of the requirements model and its dynamics suggests new directions for future research and forms a basis for a new approach to process management.

Fuzzy concepts and formal methods

It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the information systems problem domain, may be difficult to model in crisp or precise terms. It may also be desirable that formal modelling should commence as early as possible, even when our understanding of parts of the problem domain is only approximate. This thesis suggests fuzzy set theory as a possible representation scheme for this imprecision or approximation. A fuzzy logic toolkit that defines the operators, measures and modifiers necessary for the manipulation of fuzzy sets and relations is developed. The toolkit contains a detailed set of laws that demonstrate the properties of the definitions when applied to partial set membership. It also provides a set of laws that establishes an isomorphism between the toolkit notation and that of conventional Z when applied to boolean sets and relations. The thesis also illustrates how the fuzzy logic toolkit can be applied in the problem domains of interest. Several examples are presented and discussed including the representation of imprecise concepts as fuzzy sets and relations, system requirements as a series of linguistically quantified propositions, the modelling of conflict and agreement in terms of fuzzy sets and the partial specification of a fuzzy expert system. The thesis concludes with a consideration of potential areas for future research arising from the work presented here.

The origins of formal collusion in Australian fire insurance 1870-1920

The market for insurance has become increasingly competitive in recent years. However, it has not always been so. At the end of the nineteenth century, it was characterized by a highly concentrated and tightly controlled oligopolistic market structure. As such, the history of the fire insurance industry provides an interesting case study in the development of collusive behaviour amongst firms. Up to 1897, pricing agreements among firms were generally short-lived, and were followed by periods of intense competition. After this point, an agreement was forged, which proved very resilient to market pressures and formed the basis of premium rate setting until the 1970s. This paper investigates the difference between this agreement and previous efforts to set premium rates, and points to some of the common features of the later compact, which explain its longevity.

The Relationship between TQM Practices and Quality Performance and the Role of Formal TQM Programs: An Australian Empirical Study

This article presents the findings from an empirical study examining the relationship between total quality management (TQM) practices and quality performance in Australian organizations. A comparison is made between organizations that have adopted formal TQM programs and organizations without a formal program in place. It was recognized that the lack of a formal program did not necessarily mean TQM principles were not being practiced. The findings show that the firms adopting formal TQM programs implement several TQM practices at a higher level than those that do not have TQM programs. This difference, however, is not apparent in the case of quality performance. Furthermore, the findings show the strong links between TQM practices and quality performance, and there is no significant difference between organizations implementing formal TQM programs and those organizations simply adopting TQM practices. This suggests that it is the adoption of quality practices that matters rather than formal programs per se.

Developing formal mathematical assessment for 4-to-8-year-olds

The assessment of children in their years before school and their first years of school has been, traditionally, informal. Further, assessment of children's mathematical skills at this level has been infrequent compared to social, emotional and physical assessments. However, there are contexts where reliable, valid, standardised data from assessment in mathematics are required. This paper outlines the development of two assessment tools for mathematics that were originally developed for such contexts. Item Response Theory (IRT) analyses enabled the construction of assessment forms that address the range of abilities of 4- to 8-year-old children, and provided the scales used for constructing formative and summative reports of achievement. A description of the development of the assessment tools and the IRT analysis that provides the reporting formats are presented together with some research uses of the tools.

A comprehensive formal ranking of the popularity of financial ratios in multivariate modeling of corporate collapse

This paper provides a fonnal ranking of the popularity of financial ratios in modeling corporate collapse. The analysis identified 48 financial ratios and ranked them according to their usefulness as portrayed in 53 studies that have utilized such ratios in modeling corporate collapse. The methodologies adopted in those studies are predominantly of the "multivariate" type. The 53 studies extend from 1966 to 2002, inclusive.

Economic freedom and economic growth: Does specification make a difference?

In this paper we apply meta-analytic techniques to the literature on the impact of economic freedom on economic growth and find an overall positive direct association between economic freedom and economic growth. A positive indirect effect of economic freedom on economic growth through the stimulation of physical capital is also identified. However, the literature is affected by specification bias with respect to controls for physical capital. The omission of physical capital results in larger estimates of the economic freedom–economic growth association. Further, the use of panel data leads to smaller estimates of the impact of economic freedom on economic growth. The meta-analysis is confirmed by primary cross-sectional and panel data analysis of 82 countries for the period 1970–1999.

Graphical authentication : an architectural design specification

Graphical authentication is proposed as an alternative to password, smartcard, and biometric authentication as it uses the innate ability of humans to recognise visual stimuli. Despite passionate debate surrounding their privacy and invasiveness issues, smartcards and biometrics require an excessive amount of extra hardware for widespread deployment. Conversely graphical authentication extends existing infrastructure as it builds largely on the foundations of passwords with one important difference: it takes humans into account as they are better at recognising visual stimuli than recalling text-based passwords. This paper follows a preceding proof of concept paper and essentially outlines the architectural and technical design for a graphical authentication solution.

Interpersonal trust and formal controls in hierarchical relationships

This paper examines the influence of the level of interpersonal trust between superior and subordinate managers on the control behaviour of the former. On the basis of a questionnaire survey and interviews of senior managers from business organisations in Sri Lanka, and a survey of managers in Beijing-China the study explores the control behaviour of superior managers when their trust in a subordinate is high or low. Sri Lanka and China, societies in which the dependence on interpersonal trust is believed to be high, were chosen for the study to maximise the effect of interpersonal trust.

The findings of this study indicate that a superior’s high (low) trust in a subordinate is associated with a low (high) level of monitoring and a high (low) level of social interactions. The hypothesis that a superior’s high (low) level of trust is associated with a low (high) level of reliance on formal control was supported only in the Sri Lankan sample. These findings are at least indicative of control behaviour of superior managers in Sri Lanka and China and possibly of other countries in Asia. An understanding of the trust-sensitive control behaviour of managers in this region is particularly important for designing and implementing effective control systems for international organizations operating in the region.

Micro finance programs: caring for those missed by formal social protection mechanism

In line with the current global trend of economic and social restructuring, it has become essential to address the issue of poverty and social protection for the poorer segment of the population who are not covered by formal social protection mechanisms. Micro finance institutions (MFIs) in developing countries have been working towards poverty alleviation and enhancing social protection for the last few decades. MFI’s provision of financial assistance to the poor has been instrumental in improving the overall quality of the impoverished. Based on an in-depth qualitative study conducted across three different types of NGOs (Non Governmental Organization) in the Philippines, this study found a relationship between micro finance programs and improved social protection. The study reveals that MFIs have the ability to make a positive impact on areas such as entrepreneurship, education, housing, job security and income generation.

Probabilistic reasoning of inconsistent belief in protocol analysis

Security protocols have been recently found with subtle flaws due to incomplete or ambiguous specification. Although formal methods have remarkably assisted in protocol analysis, they ignores the effect of hostile/uncertain environment, which might lead to inconsistent belief that can be held by principals in delivered messages. This discrepant belief may prevent us from representing the insecurity and uncertainty in a real trading situation. Unfortunately, the current approaches lack the ability to handle the inconsistent belief. This article presents a probabilistic method, which intuitively measures the belief from different principals that can be put on the goal of the protocol. The experiments demonstrate our method is useful to enhance the protocol analysis.

The role of formal mentoring on business success and self-esteem in participants of a new business start-up program

The current study investigated the relationship between career-related mentoring, psychosocial mentoring, business success, and self-esteem in participants of a program that was designed to assist in the establishment of a new business. Seventy-seven protégés and their matched mentors were included in the study. A comparison of mentor and protégé perceptions revealed that mentors considered themselves to provide higher levels of psychosocial support than did the protégés. Protégé perceptions of business success were predicted by the frequency of mentor contact and the level of career-related support provided by their mentor.

Interpersonal trust and formal controls in low systemic trust societies

This study is concerned with the role of interpersonal trust in management control. On the basis of a questionnaire survey and interviews of senior managers from business organisations in sri lanka, the study explores the control behaviour of superior managers when they trust or distrust their subordinates. Sri lanka, a society in which the dependence on interpersonal trust is high, was chosen for the study to maximise the effect of interpersonal trust.

The findings of this study indicate that a superior's high trust in a subordinate is associated with a low level of monitoring, a high level of social interactions, and a low reliance on formal controls. In contrast, a superior's low level of trust in a subordinate is associated with a high level of monitoring, a low level of social interactions, and a high reliance on formal controls. Because the data emanate from experienced senior managers, these findings are at least indicative of control behaviour of superior managers in sri lanka and possibly of similar countries in asia. An understanding of the control behaviour of managers in this region is particularly important for designing and implementing effective controls systems for firms, subsidiaries, branches or joint-ventures operating in the region.