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.

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.

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.

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.

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.

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.

The promotion and disruption of community service delivery systems

In this paper, we report data drawn from a larger project on the functioning of the Queensland community service delivery system, particularly that providing services to people with disabilities. Our reasoning for focusing at this level is that, from the service user's perspective, support is derived from the service delivery system, not just individual service providers. Defining the service delivery system as formal services and informal support networks, we undertook interviews and focus groups with service providers in six areas in Queensland: inner urban, outer urban, rural and remote. The period on which we report is one in which considerable reform activity had been undertaken by funding bodies of the Commonwealth and State governments. We report on those factors we identified which promote the integrated functioning of the service delivery system, as well as those factors that disrupt it. We conclude with a brief evaluative analysis of the current status of the system.

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.

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.