Charles Crichton

Learn More
  • G L Smith, C Austin, C Crichton, S Wray
  • 1998
OBJECTIVE This review is an account of the physiological issues involved in the effects of pH on vascular smooth muscle tone. The following criteria were considered when reviewing the literature: (i) the type of smooth muscle, i.e. either tonic or phasic, (ii) the source of the smooth muscle i.e. pulmonary, systemic, large artery, resistance artery, vein or(More)
This paper shows how a formal notion of refinement may be defined for models, and model components, expressed in the Unified Modeling Language (UML). A formal, behavioural semantics is given to combinations of class, object, and state diagrams, using the notation of Communicating Sequential Processes (CSP); this semantics is adequate for the analysis of(More)
Effective data sharing, across government agencies and other organisations, relies upon agreed meanings and representations. A key, technological challenge in electronic governance is to ensure that the meaning of data items is accurately recorded, and accessible in an economical---effectively, automatic---fashion. In response, a variety of data and(More)
BACKGROUND In molecular profiling studies of cancer patients, experimental and clinical data are combined in order to understand the clinical heterogeneity of the disease: clinical information for each subject needs to be linked to tumour samples, macromolecules extracted, and experimental results. This may involve the integration of clinical data sets from(More)
This paper explains how object models written in the Unified Modeling Language (UML) can be translated into formal, behavioural descriptions and used as a basis for automatic test generation. The behavioural descriptions are written in a language of communicating state machines: the Intermediate Format (IF). The translation from UML to IF is based upon an(More)
This paper explains how semantic frameworks can be used to support successful e-Government initiatives by connecting system design to a shared understanding of interactions and processes. It shows how metadata standards and repositories can be used to establish and maintain such an understanding, and how they can be used in the automatic generation and(More)
The CancerGrid approach to clinical trials information systems is based on a metamodel developed from the CONSORT statement of best practice in reporting randomised controlled trials. The metamodel is instantiated with metadata elements drawn from a repository, to create a model of a particular clinical trial. The model is then used to derive automatically(More)