Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Probabilistic Action System Trace Semantics

Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.

The interorganizational virtual organization: Defining a Weberian ideal

The concept of the virtual organization (VO) has engendered great interest in the literature, yet there is still little common understanding of the concept, as evidenced by the multitude of labels applied to VOs. In this article, we focus on a “Weberian-ideal-type” definition of the interorganizational VO, posited in our earlier work (Kasper-Fuehrer and Ashkanasy 2001). We argue, however, that this definition left unanswered critical questions relating to the nature and effects of interorganizational VOs. We answer these questions here by explicating the terms in the definition and deriving ten corollaries, or “natural consequences” of our definition. The corollaries posit that interorganizational VOs are temporary in nature, are network organizations, are independent, and are based on swift trust. We suggest further that interorganizational VOs enable small to medium enterprises to exploit market opportunities, and enable VO member organizations to create a value-adding partnership. We also identify information and communication technology (ICT) as the essential enabler of VOs. Finally, we argue that interorganizational VOs act as a single organizational unit and that they therefore constitute a uniquely distinguishable organizational form. We conclude with suggestions for further research, including trust, organizational behavior, transaction economics, virtual HRM, and business strategy.

Religious Information Poverty in Australian State Schools

This paper introduces the concept of religious information poverty in Australian state schools from an information science perspective. Information scientists have been theorising about the global information society for some time, along with its increased provision of vital information for the good of the world. Australian state schools see themselves as preparing children for effective participation in the information society, yet Australian children are currently suffering a religious illiteracy that undermines this goal. Some reasons and theories are offered to explain the existence of religious information poverty in state schools, and suggestions for professional stakeholders are offered for its alleviation.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Modeling control objectives for business process compliance

Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasingly important for businesses in light of recent events that led to some of the largest scandals in corporate history. As organizations strive to meet compliance agendas, there is an evident need to provide systematic approaches that assist in the understanding of the interplay between (often conflicting) business and control objectives during business process design. In this paper, our objective is twofold. We will firstly present a research agenda in the space of business process compliance, identifying major technical and organizational challenges. We then tackle a part of the overall problem space, which deals with the effective modeling of control objectives and subsequently their propagation onto business process models. Control objective modeling is proposed through a specialized modal logic based on normative systems theory, and the visualization of control objectives on business process models is achieved procedurally. The proposed approach is demonstrated in the context of a purchase-to-pay scenario.

Compliance aware business process design

Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which stem from various legislative, standard and business partnership sources. Ensuring the compliance to regulations and industrial standards is an increasingly important issue in the design of business processes. In this paper, we advocate that control objectives should be addressed at an early stage, i.e., design time, so as to minimize the problems of runtime compliance checking and consequent violations and penalties. To this aim, we propose supporting mechanisms for business process designers. This paper specifically presents a support method which allows the process designer to quantitatively measure the compliance degree of a given process model against a set of control objectives. This will allow process designers to comparatively assess the compliance degree of their design as well as be better informed on the cost of non-compliance.

Single amino acid substitutions in alpha-conotoxin PnIA shift selectivity for subtypes of the mammalian neuronal nicotinic acetylcholine receptor

The alpha-conotoxins, a class of nicotinic acetylcholine receptor (nAChR) antagonists, are emerging as important probes of the role played by different nAChR subtypes in cell function and communication, In this study, the native alpha-conotoxins PnIA and PnIB were found to cause concentration-dependent inhibition of the ACh-induced current in all rat parasympathetic neurons examined, with IC50 values of 14 and 33 nM, and a maximal reduction in current amplitude of 87% and 71%, respectively. The modified alpha-conotoxin [N11S]PnIA reduced the ACh-induced current with an IC50 value of 375 nM and a maximally effective concentration caused 91% block, [A10L]PnIA was the most potent inhibitor, reducing the ACh-induced current in similar to 80% of neurons, with an IC50 value of 1.4 nM and 46% maximal block of the total current, The residual current was not inhibited further by alpha-bungarotoxin, but was further reduced by the cu-conotoxins PnIA or PnIB, and by mecamylamine. H-1 NMR studies indicate that PnIA, PnIB, and the analogues, [A10L]PnIA and [N11S]PnIA, have identical backbone structures. We propose that positions 10 and II of PnIA and PnIB influence potency and determine selectivity among alpha 7 and other nAChR subtypes, including alpha 3 beta 2 and alpha 3 beta 4, Four distinct components of the nicotinic ACh-induced current in mammalian parasympathetic neurons have been dissected with these conopeptides.

Palliative care at home: general practitioners working with palliative care teams

Home care is the preferred option for most people with a terminal illness. Providing home care relies on good community-based services, and a general practice workforce competent in palliative care practice and willing to accommodate patients' needs. Structured palliative care training of general practitioners is needed at undergraduate and postgraduate level, with attention to barriers to teamwork and communication. Good palliative care-can be delivered to patients at home by GPs (supported by specialist palliative care teams) and community nurses, with access to an inpatient facility when required. To optimise patient care, careful planning and good communication between all members of the healthcare team is crucial.

What is an effective health consumer? A convergent interviewing approach

This study is part of a larger project on the measurement of effective health consumers in the context of musculoskeletal illness. This complex issue involves the progressive nature of the disease, invisibility of the illness and attendant impairments, complexity of decision-making and negotiation, and urgent need to translate emergent evidence about treatment and management to patients and health professionals. We conducted indepth interviews with patients, family members, general practitioners, specialist clinicians, and health consumer advocates (N = 84) about effective consumers in this context, using a process of convergent interviewing, with convergence conducted within and across groups and countries. The initial set of themes included information seeking and adaptation, decision-making, roles of patients, GPs, and specialists and communication between them, importance of pain and impact of depression, impact of the social environment (including the invisibility of the disease and the need for a normal life), and coping strategies.

A Delphi study of district nursing research priorities in Australia

This study, using a Delphi approach, sought the opinion of a self-selected panel of 320 district nurses regarding research priorities for district nursing in Australia. Over three rounds of questionnaires, the 419 research clinical problem areas requiring research as suggested by the panel were each rated in importance by the panel and then ranked through analysis from high to low average rating scores, thereby, whittling down the list to the top 15% (68) research questions and to a final list of the top 10 research priorities overall. Research questions focusing on discharge planning are dominant in these top 10 priorities, with documentation issues the second most common focus. Other foci in the top 10 priorities are staffing, aged care, palliative care, and assessment. The organization-specific top 10 research priorities focus on wound care, funding, education, and communication issues. Additionally, the top 68 priorities, which are either finitely practice-based or contextual-issues research questions, were categorized into 20 themes. The results will hopefully lead to scarce human and financial resources being directed to practice-relevant research programs that will facilitate improved health for district nursing (primarily home-nursing) clients in Australia and elsewhere. (c) 2005 Elsevier Inc. All rights reserved.

Emotions in organizations: A multi-level perspective

Recent years have seen an upsurge of interest in the study of emotions in organizations. Research, however, has been hampered by the ephemeral nature of emotions and a lack of an integrated multi-level model. This article therefore presents a five-level model of emotions in organizations. At the lowest level is within-person variation, defined in terms of affective events theory. Levels of the model then proceed through individual, dyadic relationship, group, and organization-wide perspectives. The article also outlines the neurophysiological processes that underlie the experience, perception, and communication of emotion; it concludes with a discussion of implications for research and practice.