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.

Effects of polyunsaturated fatty acids on voltage-gated K+ and Na+ channels in rat olfactory receptor neurons

Although the polyunsaturated fatty acids arachidonic acid (AA) and docosahexaenoic acid (DHA) are enriched in the olfactory mucosa, their possible contribution to olfactory transduction has not been investigated. This study characterized their effects on voltage-gated K+ and Na+ channels of rat olfactory receptor neurons. Physiological (3-10 mum) concentrations of AA and DHA potently and irreversibly inhibited the voltage-gated K+ current in a voltage-independent manner. In addition, both compounds significantly reduced the inhibitory potency of the odorants acetophenone and amyl acetate at these channels. By comparison, the steady-state effects of both AA and DHA on the voltage-gated Na+ channel were relatively weak, with half-maximal inhibition requiring approximate to 35 mum of either compound. However, a surprising finding was that the initial application of 3 mum AA to a naive neuron caused a strong but transient inhibition of the Na+ current. The channels became almost completely resistant to this inhibition within 1 min, and a 2-min wash in control solution was insufficient to restore the strong inhibitory effect. These observations suggest that polyunsaturated fatty acids have the potential to strongly influence the coding of odorant information by olfactory receptor neurons.

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.

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.

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.

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.

The impact of staff empowerment and communication style on customer evaluations: The special case of service failure

Empowering front-line staff to deal with service failures has been proposed as a method of recovering from service breakdown and ensuring greater customer satisfaction. However, no empirical study has investigated consumer responses to empowerment strategies. This research investigates the effect on customer satisfaction and service quality of two employee characteristics: the degree to which the employee is empowered (full, limited, and none), and the employee's communication style (accommodative - informal and personal, and underaccommodative-formal and impersonal). These employee characteristics are studied within the context of service failures. Subjects were shown videotaped service scenarios, and asked to complete satisfaction and service quality ratings. Results revealed that the fully empowered employee produced more customer satisfaction than the other conditions, but only when the service provider used an accommodating style of communication. Fully empowered and nonempowered employees were not judged differently when an underaccommodating style of communication was adopted. (C) 1997 John Wiley & Sons, Inc.