Applying a disciplined approach to the development of a context-aware communication application

Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources and user requirements. To meet these challenges, appropriate software engineering abstractions and infrastructure are required as a platform on which to build adaptive applications. In this paper, we demonstrate the use of a disciplined, model-based approach to engineer a context-aware Session Initiation Protocol (SIP) based communication application. This disciplined approach builds on our previously developed conceptual models and infrastructural components, which enable the description, acquisition, management and exploitation of arbitrary types of context and user preference information to enable adaptation to context changes

Is the generation of neo-antigenic determinants by free radicals central to the development of autoimmune rheumatoid disease?

Biomolecules are susceptible to many different post-translational modifications that have important effects on their function and stability, including glycosylation, glycation, phosphorylation and oxidation chemistries. Specific conversion of aspartic acid to its isoaspartyl derivative or arginine to citrulline leads to autoantibody production in models of rheumatoid disease, and ensuing autoantibodies cross-react with native antigens. Autoimmune conditions associate with increased activation of immune effector cells and production of free radical species via NADPH oxidases and nitric oxide synthases. Generation of neo-antigenic determinants by reactive oxygen and nitrogen species ROS and RNS) may contribute to epitope spreading in autoimmunity. The oxidation of amino acids by peroxynitrite, hypochlorous acid and other reactive oxygen species (ROS) increases the antigenicity of DNA, LDL and IgG, generating ligands for which autoantibodies show higher avidity. This review focuses on the evidence for ROS and RNS in promoting the autoimmune responses observed in diseases rheumatoid arthritis (RA) and systemic lupus erythematosus (SLE). It considers the evidence for ROS/RNS-induced antigenicity arising as a consequence of failure to remove or repair ROS/RNS damaged biomolecules and suggests that an associated defect, probably in T cell signal processing or/or antigen presentation, is required for the development of disease.

Does business environment matter to the development of a market orientation?

Developing a market orientation is one of the key issues in market-orientation research. In this study, based on a survey of top managers from 143 Chinese hotels and 72 travel services—two tourism sectors with distinctly different business environments—we explore the effects of environmental conditions on the development of market orientation. In particular we examine whether environmental conditions have a direct impact on the level of market orientation or whether they moderate the relationship between market orientation and its antecedents. We find that the effectiveness of top management emphasis varies under different environmental conditions but that the impact of other antecedents is not influenced by environmental conditions.

Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.