Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Electrochemistry of macrocyclic cobalt(III/II) hexaamines: Electrocatalytic hydrogen evolution in aqueous solution

The macrocyclic cobalt hexaamines [Co(trans-diammac)](3+) and [Co(cis-diammac)](3+) (diammac = 6,13-dimethyl-1,4,8,11-tetraazacyclotetradecane-6,13-diamine) are capable of reducing the overpotential for hydrogen evolution on a mercury cathode in aqueous solution. Protons are reduced in a catalytic process involving reoxidation of the Co-II species to its parent Co-III complex. The cycle is robust at neutral pH with no decomposition of catalyst. The stability of the [Co(trans-diammac)](2+) and [Co(cis-diammac)](2+) complexes depends on the pH of the solution and the coordinating properties of the supporting electrolyte. Electrochemical studies indicate that the adsorbed Co-II complex on the surface of mercury is the active catalyst for the reduction of protons to dihydrogen.

Variable temperature and pressure study of the aquation reactions of cobalt(III) and chromium(III) penta- and tetra-amines

Preparation of a series of specific penta- and tetra-amine derivatives of Co-III and Cr-III with a neutral leaving ligand has been carried out in order to accomplish a fine tuning of the associativeness/dissociativeness of their substitution reactions. Spontaneous aquation reactions of the neutral ligands have been studied at variable temperature and pressure. Although rate constants and thermal activation parameters show an important degree of scatter, the values determined for the activation volumes of the substitution process illustrate the mechanistic fine tuning that may be achieved for these reactions. In all cases, in the absence of important steric constraints in the molecule, electronic inductive effects seem to be the most important factor accounting for the dissociative shifts observed both for pentaamine (i.e.Delta V double dagger=+4.0 or +14.0 cm(3) mol(-1) and +5.2 or +16.5 cm(3) mol(-1) for the aquation of cis- or trans-[Co(MeNH2)(NH3)(4)(DMF)](3+) and cis- or trans-[CoL15(DMF)](3+) respectively, where L-15 represents a pentaamine macrocyclic ligand), and tetraamine systems (i.e.Delta V double dagger=+4.1 or +8.4 cm(3) mol(-1) and -10.8 or -7.4 cm(3) mol(-1) for the aquation of cis-[Co(NH3)(4)Cl(DMAC)](2+) (DMAC=dimethylacetamide) or cis-[Co(en)(2)Cl(DMAC)](2+) and cis-[Cr(NH3)(4)Cl(DMF)](2+) or cis -[Cr(en)(2)Cl(DMF)](2+)). From the results, clear evidence is obtained which indicates that, only when the situation is borderline I-a/I-d, or the steric demands are increased dramatically, dissociative shifts are observed; in all other cases electronic inductive effects seem to be dominant for such a tuning of the substitution process.

Class attainment among British men - A multivariate extension of the CASMIN model of intergenerational class mobility

The CASMIN Project is arguably the most influential contemporary study of class mobility in the world. However, CASMIN results with respect to weak vertical status effects on class mobility have been extensively criticized. Drawing on arguments about how to model vertical mobility, Hout and Hauser (1992) show that class mobility is strongly determined by vertical socioeconomic differences. This paper extends these arguments by estimating the CASMIN model while explicitly controlling for individual determinants of socioeconomic attainment. Using the 1972 Oxford Mobility Data and the 1979 and 1983 British Election Studies, the paper employs mixed legit models to show how individual socioeconomic factors and categorical differences between classes shape intergenerational mobility. The findings highlight the multidimensionality of class mobility and its irreducibility to vertical movement up and down a stratification hierarchy.

Who thinks what about capitalism? Class consciousness and attitudes to economic institutions

Attitudes to the fundamental economic institutions of capitalism, private ownership of productive property, markets as arenas for securing economic outcomes, and working class rights to associate and to strike, are key dimensions of class consciousness. This paper investigates how class location shapes these attitudes in combination with other factors like employment sector and trade union membership. Using data from the 1995 National Social Science Survey, the paper finds systematic class variation on attitudes to economic institutions that is consistent with respondents endorsing or rejecting class-specific strategies of interest realisation according to their own class circumstances. On some attitudes, class structural effects are additionally moderated by organisational norms associated with public sector employment and mediated by the impact of trade union membership.

Cytomegalovirus MHC class I homologues and natural killer

Viruses that establish a persistent infection with their host have evolved numerous strategies to evade the immune system. Consequently, they are useful tools to dissect the complex cellular processes that comprise the immune response. Rapid progress has been made in recent years in defining the role of cellular MHC class I molecules in regulating the response of natural killer (NK) cells. Concomitantly, the roles of the MHC class I homologues encoded by human and mouse cytomegaloviruses in evading or subverting NK cell responses has received considerable interest. This review discusses the results from a number of studies that have pursued the biological function of the viral MHC class I homologues. Based on the evidence from these studies, hypotheses for the possible role of these intriguing molecules are presented. (C) 2000 Editions scientifiques et medicales Elsevier SAS.

Quantum chaos in atom optics

I shall discuss the quantum and classical dynamics of a class of nonlinear Hamiltonian systems. The discussion will be restricted to systems with one degree of freedom. Such systems cannot exhibit chaos, unless the Hamiltonians are time dependent. Thus we shall consider systems with a potential function that has a higher than quadratic dependence on the position and, furthermore, we shall allow the potential function to be a periodic function of time. This is the simplest class of Hamiltonian system that can exhibit chaotic dynamics. I shall show how such systems can be realized in atom optics, where very cord atoms interact with optical dipole potentials of a far-off resonance laser. Such systems are ideal for quantum chaos studies as (i) the energy of the atom is small and action scales are of the order of Planck's constant, (ii) the systems are almost perfectly isolated from the decohering effects of the environment and (iii) optical methods enable exquisite time dependent control of the mechanical potentials seen by the atoms.

MHC class II expression is regulated in dendritic cells independently of invariant chain degradation

We have investigated the mechanisms that control MHC class II (MHC II) expression in immature and activated dendritic cells (DC) grown from spleen and bone marrow precursors. Degradation of the MHC II chaperone invariant chain (li), acquisition of peptide cargo by MHC II, and delivery of MHC II-peptide complexes to the cell surface proceeded similarly in both immature and activated DC. However, immature DC reendocytosed and then degraded the MHC II-peptide complexes much faster than the activated DC. MHC II expression in DC is therefore not controlled by the activity of the protease(s) that degrade Ii, but by the rate of endocytosis of peptide-loaded MHC II. Late after activation, DC downregulated MHC II synthesis both in vitro and in vivo.

Prediction of promiscuous peptides that bind HLA class I molecules

Promiscuous T-cell epitopes make ideal targets for vaccine development. We report here a computational system, multipred, for the prediction of peptide binding to the HLA-A2 supertype. It combines a novel representation of peptide/MHC interactions with a hidden Markov model as the prediction algorithm. multipred is both sensitive and specific, and demonstrates high accuracy of peptide-binding predictions for HLA-A*0201, *0204, and *0205 alleles, good accuracy for *0206 allele, and marginal accuracy for *0203 allele. multipred replaces earlier requirements for individual prediction models for each HLA allelic variant and simplifies computational aspects of peptide-binding prediction. Preliminary testing indicates that multipred can predict peptide binding to HLA-A2 supertype molecules with high accuracy, including those allelic variants for which no experimental binding data are currently available.

Ultra-compact dwarf galaxies: a new class of compact stellar system discovered in the Fornax Cluster

We have used the 2dF spectrograph on the Anglo-Australian Telescope to obtain a complete spectroscopic sample of all objects in the magnitude range, 16.5 < bj < 19.8, regardless of morphology, in an area centred on the Fornax Cluster of galaxies. Among the unresolved targets are five objects which are members of the Fornax Cluster. They are extremely compact stellar systems with scale lengths less than 40 parsecs. These ultra-compact dwarfs are unlike any known type of stellar system, being more compact and significantly less luminous than other compact dwarf galaxies, yet much brighter than any globular cluster.

Function of CMV-encoded MHC class I homologues

Homologues of MHC class I proteins have been identified in the genomes of human, murine and rat cytomegaloviruses (CMVs). Given the pivotal role of the MHC class I protein in cellular immunity, it has been postulated that the viral homologues subvert the normal antiviral immune response of the host, thus promoting virus replication and dissemination in an otherwise hostile environment. This review focuses on recent studies of the CMV MHC class I homologues at the molecular, cellular and whole animal level and presents current hypotheses for their roles in the CMV life cycle.

Flexibility revealed by the 1.85 angstrom crystal structure of the beta sliding-clamp subunit of Escherichia coli DNA polymerase III

The beta subunit of the Escherichia coli replicative DNA polymerase III holoenzyme is the sliding clamp that interacts with the alpha (polymerase) subunit to maintain the high processivity of the enzyme. The beta protein is a ring-shaped dimer of 40.6 kDa subunits whose structure has previously been determined at a resolution of 2.5 Angstrom [Kong et al. (1992), Cell, 69, 425-437]. Here, the construction of a new plasmid that directs overproduction of beta to very high levels and a simple procedure for large-scale purification of the protein are described. Crystals grown under slightly modified conditions diffracted to beyond 1.9 Angstrom at 100 K at a synchrotron source. The structure of the beta dimer solved at 1.85 Angstrom resolution shows some differences from that reported previously. In particular, it was possible at this resolution to identify residues that differed in position between the two subunits in the unit cell; side chains of these and some other residues were found to occupy alternate conformations. This suggests that these residues are likely to be relatively mobile in solution. Some implications of this flexibility for the function of beta are discussed.

Embracing ligands. A synthetic strategy towards new nitrogen-thioether multidentate ligands and characterization of the cobalt(III) complexes

The synthesis of the hexadentate ligand 2,2,9,9-tetra(methyleneamine)-4,7-dithiadecane (EtN(4)S(2)amp) is reported. The ligand is of a type in which bifurcations of the chain occur at atoms other than donor atoms. The cobalt(III) complex [Co(EtN(4)S(2)amp)](3+) (1) was isolated and characterized. The synthetic methodology also results in a number of by-products, notably 2,9,9-tris(methyleneamine)-9-methylenehydroxy-4,7-dithiadecane (Et(HO)N(3)S(2)amp) and an eleven-membered pendant arm macrocyclic ligand 6,10-dimethyl-6,10-bis(methyleneamine)-1,4-dithia-8-azaacycloundec-7- ene (dmatue). The complexes [Co(Et(HO)N(3)S(2)amp)](3+) (2), in which the alcohol is coordinated to the metal ion, and [Co(dmatue)Cl](2+) (4) were isolated and characterized. Et(HO)N(3)S(2)amp also undergoes complexation with cobalt(III) to produce two isomers endo-[Co(Et(HO) N(3)S(2)amp)Cl](2+) (endo-3) and exo-[Co(Et(HO) N(3)S(2)amp)Cl](2+) (exo-3), both with an uncoordinated alcohol group. endo- 3 has the alcohol positioned cis, and exo-3 trans, to the sixth metal coordination site. Reaction of 1 with isobutyraldehyde, paraformaldehyde and base in dimethylformamide results in the encapsulated complex [Co(1,5,5,9,13,13-hexamethyl-18,21-dithia-3,7,11,15-tetraazabicyclo[7.7.6]docosa- 3,14-diene)](ClO4)(3) . 2H(2)O ([Co(Me(6)docosadieneN(4)S(2))](3+) ( 5). All complexes have been characterized by single crystal X-ray study. The low-temperature (11 K) absorption spectrum of 1 has been measured in Nafion films with spin-allowed (1)A(1g) --> T-1(1g) and (1)A(1g) --> T-1(2g) and spin forbidden (1)A(1g) --> T-3(1g) and (1)A(1g) --> T-3(2g) bands observed. The octahedral ligand-field parameters were determined (10Dq = 22570 cm(-1), B = 551 cm(-1); C = 3500 cm(-1)). For 5 10Dq and B were determined (20580 cm(-1); 516 cm(-1), respectively) and compared with those for similar expanded cavity complexes [Co(Me(8)tricosatrieneN(6))](3+) and [Co(Me(5)tricosatrieneN(6))](3+).

Social class and cultural mobility - Reconfiguring the cultural omnivore thesis

This article explores the idea of 'cultural mobility' both as a way of thinking about the polarizing logic of class relations and practices in contemporary society and as a means by which the debate over the cultural omnivore might be advanced. The concept of cultural mobility refers to the differential capacity to engage with or consume cultural goods and services across the entire spectrum of cultural life, an ability which is itself premised upon an unequal, class-related distribution in cultural competence. Cultural mobility, then, is the ability to move at will between cultural realms, a freedom to choose where one is positioned in the cultural landscape. I argue that the concept provides fertile ground for exploring possible interconnections between a number of divergent strands in current social theory which have largely developed independently of each other. At the same time much of this theoretical effort remains divorced from concrete research agendas. Using data collected as part of a major study of Australian cultural consumption, the article provides a case study of cultural mobility and its class moorings which serves to clarify some of the existing confusions concerning the cultural omnivore.