Termination of real-time programs: Definitely, definitely not, or maybe

Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings. A refinement ordering based on Dijkstra's weakest precondition only copes with the first alternative. Weakest liberal preconditions allow one to constrain behaviour provided the program terminates, which copes with the third alternative to some extent. However, neither of these handles the case when a program does not terminate. To handle this case a refinement ordering based on relational semantics can be used. In this paper we explore these issues and the definition of loops for real-time programs as well as corresponding refinement laws.

Towards a standards-based autonomic context management system

Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is known as context-awareness. In some cases, context-aware applications must be implemented as autonomic systems which are capable of dynamically discovering and replacing context sources (sensors) at run-time. Unlike other types of application autonomy, this kind of dynamic reconfiguration has not been sufficiently investigated yet by the research community. However, application-level context models are becoming common, in order to ease programming of context-aware applications and support evolution by decoupling applications from context sources. We can leverage these context models to develop general (i.e., application-independent) solutions for dynamic, run-time discovery of context sources (i.e., context management). This paper presents a model and architecture for a reconfigurable context management system that supports interoperability by building on emerging standards for sensor description and classification.

A framework of issues in large process modeling projects

As process management projects have increased in size due to globalised and company-wide initiatives, a corresponding growth in the size of process modeling projects can be observed. Despite advances in languages, tools and methodologies, several aspects of these projects have been largely ignored by the academic community. This paper makes a first contribution to a potential research agenda in this field by defining the characteristics of large-scale process modeling projects and proposing a framework of related issues. These issues are derived from a semi -structured interview and six focus groups conducted in Australia, Germany and the USA with enterprise and modeling software vendors and customers. The focus groups confirm the existence of unresolved problems in business process modeling projects. The outcomes provide a research agenda which directs researchers into further studies in global process management, process model decomposition and the overall governance of process modeling projects. It is expected that this research agenda will provide guidance to researchers and practitioners by focusing on areas of high theoretical and practical relevance.

Deregulation, competition policy and intra-professional contests in medical education

This paper investigates how government policy directions embracing deregulation and market liberalism, together with significant pre-existing tensions within the Australian medical profession, produced ground breaking change in the funding and delivery of medical education for general practitioners. From an initial view between and within the medical profession, and government, about the goal of improving the standards of general practice education and training, segments of the general practice community, particularly those located in rural and remote settings, displayed increasingly vocal concerns about the approach and solutions proffered by the predominantly urban-influenced Royal Australian College of General Practitioners (RACGP). The extent of dissatisfaction culminated in the establishment of the Australian College of Rural and Remote Medicine (ACRRM) in 1997 and the development of an alternative curriculum for general practice. This paper focuses on two decades of changes in general practice training and how competition policy acted as a justificatory mechanism for putting general practice education out to competitive tender against a background of significant intra-professional conflict. The government's interest in increasing efficiency and deregulating the 'closed shop' practices of professions, as expressed through national competition policy, ultimately exposed the existing antagonisms within the profession to public view and allowed the government some influence on the sacred cow of professional training. Government policy has acted as a mechanism of resolution for long standing grievances of the rural GPs and propelled professional training towards an open competition model. The findings have implications for future research looking at the unanticipated outcomes of competition and internal markets.