Balancing the role of the dental school in teaching, research and patient care; including care for underserved areas

Inequalities within dentistry are common and are reflected in wide differences in the levels of oral health and the standard of care available both within and between countries and communities. Furthermore there are patients, particularly those with special treatment needs, who do not have the same access to dental services as the general public. The dental school should aim to recruit students from varied backgrounds into all areas covered by the oral healthcare team and to train students to treat the full spectrum of patients including those with special needs. It is essential, however, that the dental student achieves a high standard of clinical competence and this cannot be gained by treating only those patients with low expectations for care. Balancing these aspects of clinical education is difficult. Research is an important stimulus to better teaching and better clinical care. It is recognized that dental school staff should be active in research, teaching, clinical work and frequently administration. Maintaining a balance between the commitments to clinical care, teaching and research while also taking account of underserved areas in each of these categories is a difficult challenge but one that has to be met to a high degree in a successful, modern dental school.

Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.