An MDA approach towards integrating formal and informal modeling languages

This paper shows how formal and informal modeling languages can be cooperatively used in the MDA framework, and how transformations between models in these languages can be achieved using an MDA development environment. The integrated approach also provides an effective V&V technique for the MDA.

Rich task implementation: modernism meets postmodernism

School renewal', 'productive pedagogies', 'rich tasks', 'New Basics', 'key learning areas'--these are some of the discourses of change in selected Queensland schools. This paper will report on teaching as an insider/outsider in a school's Health and Physical Education department during a time of intense pressure for structural, curriculum and pedagogical shifts. As a teacher/researcher, I spent ten weeks in a government secondary school attempting to implement rich tasks as well as collect data using formal and informal interviews, field note, and document analyses, with a focus upon teachers', students' and administrators' sense of change processes and outcomes. It is suggested that the processes of, and barriers to, curriculum change in this context are best explained in terms of tensions between modernist and postmodernist phenomena.

API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

Adolescents' willingness to seek psychological help: Promoting and preventing factors

Although a relatively high percentage of Australian adolescents experience mental health problems, many disturbed adolescents do not receive the help they require, and only a small proportion of adolescents seek professional psychological help. The present study examined adolescents' willingness to seek help and investigated factors that promote and prevent adolescents from seeking help for a mental illness from both formal and informal sources. Secondary school students (254 in number) from schools in Brisbane, Australia completed a questionnaire that examined the relationship between demographic and psychological variables, attitudes toward mental illness, and willingness to seek help for a mental illness. Results suggest that adolescents with greater adaptive functioning, fewer perceived barriers to help seeking, and higher psychological distress were more willing to seek help from formal and informal sources for a mental illness. Greater social support also predicted willingness to seek help from informal sources. Although attitudes toward mental illness did not influence willingness to seek help, less stigmatising attitudes were related to higher knowledge of mental illness, being female, and higher levels of social support. Implications for the present study focus on enhancing the ability of mental health interventions to increase adolescents' willingness to seek psychological help.

Measuring community strength and social capital

Five case study communities in both metropolitan and regional urban locations in Australia are used as test sites to develop measures of 'community strength' on four domains: Natural Capital; Produced Economic Capital; Human Capital; and Social and Institutional Capital. The paper focuses on the fourth domain. Sample surveys of households in the five case study communities used a survey instrument with scaled items to measure four aspects of social capital - formal norms, informal norms, formal structures and informal structures - that embrace the concepts of trust, reciprocity, bonds, bridges, links and networks in the interaction of individuals with their community inherent in the notion social capital. Exploratory principal components analysis is used to identify factors that measure those aspects of social and institutional capital, while a confirmatory analysis based on Cronbach's alpha explores the robustness of the measures. Four primary scales and 15 subscales are identified when defining the domain of social and institutional capital. Further analysis reveals that two measures - anomie, and perceived quality of life and wellbeing - relate to certain primary scales of social capital.

Public and private psychiatry: Can they work together and is it worth the effort?

Objective: Partnerships in mental health care, particularly between public and private psychiatric services, are being increasingly recognized as important for optimizing patient management and the efficient organization of services. However, public sector mental health services and private psychiatrists do not always work well together and there seem to be a number of barriers to effective collaboration. This study set out to investigate the extent of collaborative 'shared care' arrangements between a public mental health service and private psychiatrists practising nearby. It also examined possible barriers to collaboration and some possible solutions to the identified problems. Method: A questionnaire examining the above factors was sent to all public sector mental health clinicians and all private psychiatrists in the area. Results: One hundred and five of the 154 (68.2%) public sector clinicians and 103 of the 194 (53.1%) private psychiatrists returned surveys. The main barriers to successful collaboration identified by members of both sectors were: 'Difficulty communicating' endorsed by 71.4% of public clinicians and 72% of private psychiatrists, 'Confusion of roles and responsibilities' endorsed by 62.9% and 66%, respectively, and 'Different treatment approach' by 47.6% and 45.6%, respectively. Over 60% of private psychiatrists identified problems with access to the public system as a barrier to successful shared care arrangements. It also emerged, as hypothesized, that the public and private systems tend to manage different patient populations and that public clinicians in particular are not fully aware of the private psychiatrists' range of expertise. This would result in fewer referrals for shared care across the sectors. Conclusions: A number of barriers to public sector clinicians and private psychiatrists collaborating in shared care arrangements were identified. The two groups surveyed identified similar barriers. Some of these can potentially be addressed by changes to service systems. Others require cultural shifts in both sectors. Improved communications including more opportunities for formal and informal meetings between people working in the two sectors would be likely to improve the understanding of the complementary sector's perspective and practice. Further changes would be expected to require careful work between the sectors on training, employment and practice protocols and initiatives, to allow better use of the existing services and resources.

Community broadcasting and the enclosure of the public sphere

One of the normative tenets of the Habermasian public sphere is that it should be an open and universally accessible forum. In Australia, one way of achieving this is the provision for community broadcasting in the Broadcasting Services Act. A closer examination of community broadcasting, however, suggests practices that contradict the idea of an open and accessible public sphere. Community broadcasting organizations regulate access to their media assets through a combination of formal and informal structures. This suggests that the public sphere can be understood as a resource, and that community broadcasting organizations can be analysed as ‘commons regimes’. This approach reveals a fundamental paradox inherent in the public sphere: access, participation and the quality of discourse in the public sphere are connected to its enclosure, which limits membership and participation through a system of rules and norms that govern the conduct of a group. By accepting the view that a public sphere is governed by property rights, it follows that an open and universally accessible public sphere is neither possible nor desirable.

Repurchase of renewal rights: A policy option for the National Water Initiative

Management of the Murray-Darling river system involves a large number of users with imprecisely defined rights, and an aggregate rate of resource use that is environmentally unsustainable. One possible policy response is to make formal or informal contracts with users, under which users receive current benefits in return for a commitment to forgo usage rights in future. In this paper, this issue is explored with specific reference to the possibility of repurchasing the renewal rights for irrigation licenses.

Forest logging and institutional thresholds in developing south-east Asian economies: A conceptual model

Many developing south-east Asian governments are not capturing full rent from domestic forest logging operations. Such rent losses are commonly related to institutional failures, where informal institutions tend to dominate the control of forestry activity in spite of weakly enforced regulations. Our model is an attempt to add a new dimension to thinking about deforestation. We present a simple conceptual model, based on individual decisions rather than social or forest planning, which includes the human dynamics of participation in informal activity and the relatively slower ecological dynamics of changes in forest resources. We demonstrate how incumbent informal logging operations can be persistent, and that any spending aimed at replacing the informal institutions can only be successful if it pushes institutional settings past some threshold. (C) 2006 Elsevier B.V. All rights reserved.

I-Spi: innovative shared practical ideas: a support guide for literacy and numeracy in the early years of schooling, for home tutor/supervisors in distance education

Innovative Shared Practical Ideas (I-Spi) is a guide to help you and your children learn together. It is designed to affirm, support and strengthen your role as home tutor/supervisors in your daily learning sessions with your children. In this guide particular emphasis is given to the value of talk, formal and informal early literacy and numeracy practices (including ideas from distance school lessons, from home tutor/supervisors, research, and beyond), assessment of these practices together with informal assessment ideas for gauging your children’s literacy and numeracy progress, and stepping in and building on strategies

An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

Measuring community strength and social capital

In 2001/02 five case study communities in both metropolitan and regional urban locations in Australia were chosen as test sites to develop measures of community strength on four domains: natural capital; produced economic capital; human capital; and social and institutional capital. Secondary data sources were used to develop measures on the first three domains. For the fourth domain social and institutional capital primary data collection was undertaken through sample surveys of households. A structured approach was devised. This involved developing a survey instrument using scaled items relating to four elements: formal norms; informal norms; formal structures; and informal structures which embrace the concepts of trust, reciprocity, bonds, bridges, links and networks in the interaction of individuals with their community inherent in the notion social capital. Exploratory principal components analysis was used to identify factors that measure those aspects of social and institutional capital, with confirmatory analysis conducted using Cronbach's Alpha. This enabled the construction of four primary scales and 15 sub-scales as a tool for measuring social and institutional capital. Further analyses reveals that two measures anomie and perceived quality of life and wellbeing relate to certain primary scales of social capital.

Formal performance appraisal interviews: Can they really be objective, and are they useful anyway?

This paper reports on a qualitative field study conducted in Australia which examined what is occurring in formal performance appraisal interviews in relation to their objectivity and resultant outcomes. Supervisors and subordinates who had recently been involved in performance appraisals were interviewed about their experiences of the process. Perceptions of the utility of, and satisfaction with the interview process were examined. Further, the effect of the relationship between the participants on objectivity was investigated. Results indicated that formal appraisal interviews were not perceived to be of great utility, and that the relationship of the participants influenced the interview.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.