A compositional framework for hardware/software co-design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derive from a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.

Design of a unified data with business rules storage model for OLTP and OLAP systems

This paper reviews the literature concerning the practice of using Online Analytical Processing (OLAP) systems to recall information stored by Online Transactional Processing (OLTP) systems. Such a review provides a basis for discussion on the need for the information that are recalled through OLAP systems to maintain the contexts of transactions with the data captured by the respective OLTP system. The paper observes an industry trend involving the use of OLTP systems to process information into data, which are then stored in databases without the business rules that were used to process information and data stored in OLTP databases without associated business rules. This includes the necessitation of a practice, whereby, sets of business rules are used to extract, cleanse, transform and load data from disparate OLTP systems into OLAP databases to support the requirements for complex reporting and analytics. These sets of business rules are usually not the same as business rules used to capture data in particular OLTP systems. The paper argues that, differences between the business rules used to interpret these same data sets, risk gaps in semantics between information captured by OLTP systems and information recalled through OLAP systems. Literature concerning the modeling of business transaction information as facts with context as part of the modelling of information systems were reviewed to identify design trends that are contributing to the design quality of OLTP and OLAP systems. The paper then argues that; the quality of OLTP and OLAP systems design has a critical dependency on the capture of facts with associated context, encoding facts with contexts into data with business rules, storage and sourcing of data with business rules, decoding data with business rules into the facts with the context and recall of facts with associated contexts. The paper proposes UBIRQ, a design model to aid the co-design of data with business rules storage for OLTP and OLAP purposes. The proposed design model provides the opportunity for the implementation and use of multi-purpose databases, and business rules stores for OLTP and OLAP systems. Such implementations would enable the use of OLTP systems to record and store data with executions of business rules, which will allow for the use of OLTP and OLAP systems to query data with business rules used to capture the data. Thereby ensuring information recalled via OLAP systems preserves the contexts of transactions as per the data captured by the respective OLTP system.

User-intimate requirements hierarchy resolution framework (UI-REF)

Abstract. This paper presents the User-Intimate Requirements Hierarchy Resolution Framework (UI-REF) based on earlier work (Badii 1997-2008) to optimise the requirements engineering process particularly to support userintimate interactive systems co-design. The stages of the UI- EF framework for requirements resolution-and-prioritisation are described. UI-REF has been established to ensure that the most-deeply-valued needs of the majority of stakeholders are elicited and ranked, and the root rationale for requirements evolution is trace-able and contextualised so as to help resolve stakeholder conflicts. UI-REF supports the dynamically evolving requirements of the users in the context of digital economy as under-pinned by online service provisioning. Requirements prioritisation in UI-REF is fully resolved while a promotion path for lower priority requirements is delineated so as to ensure that as the requirements evolve so will their resolution and prioritisation.

Integrated clinical pathway management for medical quality improvement-based on a semiotically inspired systems architecture

Clinical pathway is an approach to standardise care processes to support the implementations of clinical guidelines and protocols. It is designed to support the management of treatment processes including clinical and non-clinical activities, resources and also financial aspects. It provides detailed guidance for each stage in the management of a patient with the aim of improving the continuity and coordination of care across different disciplines and sectors. However, in the practical treatment process, the lack of knowledge sharing and information accuracy of paper-based clinical pathways burden health-care staff with a large amount of paper work. This will often result in medical errors, inefficient treatment process and thus poor quality medical services. This paper first presents a theoretical underpinning and a co-design research methodology for integrated pathway management by drawing input from organisational semiotics. An approach to integrated clinical pathway management is then proposed, which aims to embed pathway knowledge into treatment processes and existing hospital information systems. The capability of this approach has been demonstrated through the case study in one of the largest hospitals in China. The outcome reveals that medical quality can be improved significantly by the classified clinical pathway knowledge and seamless integration with hospital information systems.

Interactive sensory objects for and by people with learning disabilities

This project engages people with learning disabilities to participate as co-researchers and explore museum interpretation through multisensory workshops using microcontrollers and sensors to enable alternative interactive visitor experiences in museums and heritage sites. This article describes how the project brings together artists, engineers, and experts in multimedia advocacy, as well as people with learning disabilities in the co-design of interactive multisensory objects that replicate or respond to objects of cultural significance in our national collections. Through a series of staged multi-sensory art and electronics workshops, people with learning disabilities explore how the different senses could be utilised to augment existing artefacts or create entirely new ones. The co-researchers employ multimedia advocacy tools to reflect on and to communicate their experiences and findings.

Interactive sensory objects for and by people with learning disabilities

This project engages people with learning disabilities to participate as co-researchers and explore museum interpretation through multisensory workshops using microcontrollers and sensors to enable alternative interactive visitor experiences in museums and heritage sites. This article describes how the project brings together artists, engineers, and experts in multimedia advocacy, as well as people with learning disabilities in the co-design of interactive multisensory objects that replicate or respond to objects of cultural significance in our national collections. Through a series of staged multi-sensory art and electronics workshops, people with learning disabilities explore how the different senses could be utilised to augment existing artefacts or create entirely new ones. The co-researchers employ multimedia advocacy tools to reflect on and to communicate their experiences and findings.

Co-operative explanatory capabilities in organizational design and personnel management

Based on an online image archive documenting the construction and history of an early computing company, the fictional story of "Co-Operative Explanatory Capabilities in Organizational Design and Personnel Management” follows the development of an experimental approach to worker productivity into a religious cult. The project investigates the place of creativity in efficiency management and the operation of bureaucratic systems in a post-industrial work environment. The project has spawned a series of collages, featured on the Economic Thought Projects 7" collaboration with Gelbart, The Eleventh Voyage, as well as the film of Co-Operative Explanatory Capabilities in Organizational Design and Personnel Management, which has also been published as a short story in Vertigo of the Modern and on Sacrifice Press.

Design, synthesis and in vitro degradation of a novel co-drug for the treatment of psoriasis

Psoriasis is a common, chronic and relapsing inflammatory skin disease. It affects approximately 2% of the western population and has no cure. Combination therapy for psoriasis often proves more efficacious and better tolerated than monotherapy with a single drug. Combination therapy could be administered in the form of a co-drug, where two or more therapeutic compounds active against the same condition are linked by a cleavable covalent bond. Similar to the pro-drug approach, the liberation of parent moieties post-administration, by enzymatic and/or chemical mechanisms, is a pre-requisite for effective treatment. In this study, a series of co-drugs incorporating dithranol in combination with one of several non-steroidal anti-inflammatory drugs, both useful for the treatment of psoriasis, were designed, synthesized and evaluated. An ester co-drug comprising dithranol and naproxen in a 1:1 stoichiometric ratio was determined to possess the optimal physicochemical properties for topical delivery. The co-drug was fully hydrolyzed in vitro by porcine liver esterase within four hours. When incubated with homogenized porcine skin, 9.5% of the parent compounds were liberated after 24 h, suggesting in situ esterase-mediated cleavage of the co-drug would occur within the skin. The kinetics of the reaction revealed first order kinetics, Vmax = 10.3 μM/min and Km = 65.1 μM. The co-drug contains a modified dithranol chromophore that was just 37% of the absorbance of dithranol at 375 nm and suggests reduced skin/clothes staining. Overall, these findings suggest that the dithranol-naproxen co-drug offers an attractive, novel approach for the treatment of psoriasis.

Crystal design approaches for the synthesis of paracetamol co-crystals

Crystal engineering principles were used to design three new co-crystals of paracetamol. A variety of potential cocrystal formers were initially identified from a search of the Cambridge Structural Database for molecules with complementary hydrogen-bond forming functionalities. Subsequent screening by powder X-ray diffraction of the products of the reaction of this library of molecules with paracetamol led to the discovery of new binary crystalline phases of paracetamol with trans-1,4- diaminocyclohexane (1); trans-1,4-di(4-pyridyl)ethylene (2); and 1,2-bis(4-pyridyl)ethane (3). The co-crystals were characterized by IR spectroscopy, differential scanning calorimetry, and 1H NMR spectroscopy. Single crystal X-ray structure analysis reveals that in all three co-crystals the co-crystal formers (CCF) are hydrogen bonded to the paracetamol molecules through O−H···N interactions. In co-crystals (1) and (2) the CCFs are interleaved between the chains of paracetamol molecules, while in co-crystal (3) there is an additional N−H···N hydrogen bond between the two components. A hierarchy of hydrogen bond formation is observed in which the best donor in the system, the phenolic O−H group of paracetamol, is preferentially hydrogen bonded to the best acceptor, the basic nitrogen atom of the co-crystal former. The geometric aspects of the hydrogen bonds in co-crystals 1−3 are discussed in terms of their electrostatic and charge-transfer components.

Scope and Limitations of The Co-Drug Approach to Topical Drug Delivery

Many currently available drugs show unfavourable physicochemical properties for delivery into or across the skin and temporary chemical modulation of the penetrant is one option to achieve improved delivery properties. Pro-drugs are chemical derivatives of an active drug which is covalently bonded to an inactive pro-moiety in order to overcome pharmaceutical and pharmacokinetic barriers. A pro-drug relies upon conversion within the body to release the parent active drug (and pro-moiety) to elicit its pharmacological effect. The main drawback of this approach is that the pro-moiety is essentially an unwanted ballast which, when released, can lead to adverse effects. The term ‘co-drug’ refers to two or more therapeutic compounds active against the same disease bonded via a covalent chemical linkage and it is this approach which is reviewed for the first time in the current article. For topically applied co-drugs, each moiety is liberated in situ, either chemically or enzymatically, once the stratum corneum barrier has been overcome by the co-drug. Advantages include synergistic modulation of the disease process, enhancement of drug delivery and pharmacokinetic properties and the potential to enhance stability by masking of labile functional groups. The amount of published work on co-drugs is limited but the available data suggest the co-drug concept could provide a significant therapeutic improvement in dermatological diseases. However, the applicability of the co-drug approach is subject to strict limitations pertaining mainly to the availability of compatible moieties and physicochemical properties of the overall molecule.

m-aminobenzoic acid inserted beta-turn in acyclic tripeptides: a peptidomimetic design

X-ray diffraction studies show that peptides Boc-Leu-Aib-m-ABA-OMe (I) (Aib, alpha-aminoisobutyric acid; m-ABA, meta-aminobenzoic acid) and Boc-Phe-Aib-m-ABA-OMe, (II) adopt a type-II beta-turn conformation, solely stabilized by co-operative steric interactions amongst the amino acid residues. This type of U-turn without any intramolecular hydrogen bonding is generally referred to as an open turn. Although there are some examples of constrained cyclic peptides in which o-substituted benzenes have been inserted to mimic the turn region of the neurotrophin, a nerve growth factor, peptides I and II present novel two examples where m-aminobenzoic acid has been incorporated in the beta-turn of acyclic tripeptides. The result also demonstrates the first crystallographic evidence of a beta-turn structure containing an inserted m-aminobenzoic acid, which can be considered as a rigid gamma-aminobutyric acid with an all-trans extended configuration. (c) 2005 Elsevier Ltd. All rights reserved.