Thalassospira xiamenensis sp. nov. and Thalassospira profundimaris sp. nov

Two bacterial strains, M-5T and WP0211T, were isolated from the surface water of a waste-oil pool in a coastal dock and from a deep-sea sediment sample from the West Pacific Ocean, respectively. Analysis of 16S rRNA gene sequences indicated that both strains belonged to the class Alphaproteobacteria and were closely related to Thalassospira lucentensis (96.1 and 96.2%, gene sequence similarity, respectively). Based on the results of physiological and biochemical tests, as well as DNA-DNA hybridization experiments, it is suggested that these isolates represent two novel species of the genus Thalassospira. Various traits allow both novel strains to be differentiated from Thalassospira lucentensis, including oxygen requirement, nitrate reduction and denitrification abilities and major fatty acid profiles, as well as their ability to utilize six different carbon sources. Furthermore, the novel strains may be readily distinguished from each other by differences in their motility, flagellation, growth at 4 °C and 40 °C, their ability to hydrolyse Tween 40 and Tween 80, their utilization of 19 different carbon sources and by quantitative differences in their fatty acid contents. It is proposed that the isolates represent two novel species for which the names Thalassospira xiamenensis sp. nov. (type strain, M-5T = DSM 17429T = CGMCC 1.3998T) and Thalassospira profundimaris sp. nov. (type strain, WP0211T = DSM 17430T = CGMCC 1.3997T) are proposed. © 2007 IUMS.link_to_OA_fulltex

Thalassospira xiamenensis sp. nov. and Thalassospira profundimaris sp. nov

Two bacterial strains, M-5T and WP0211T, were isolated from the surface water of a waste-oil pool in a coastal dock and from a deep-sea sediment sample from the West Pacific Ocean, respectively. Analysis of 16S rRNA gene sequences indicated that both strains belonged to the class Alphaproteobacteria and were closely related to Thalassospira lucentensis (96.1 and 96.2%, gene sequence similarity, respectively). Based on the results of physiological and biochemical tests, as well as DNA-DNA hybridization experiments, it is suggested that these isolates represent two novel species of the genus Thalassospira. Various traits allow both novel strains to be differentiated from Thalassospira lucentensis, including oxygen requirement, nitrate reduction and denitrification abilities and major fatty acid profiles, as well as their ability to utilize six different carbon sources. Furthermore, the novel strains may be readily distinguished from each other by differences in their motility, flagellation, growth at 4 °C and 40 °C, their ability to hydrolyse Tween 40 and Tween 80, their utilization of 19 different carbon sources and by quantitative differences in their fatty acid contents. It is proposed that the isolates represent two novel species for which the names Thalassospira xiamenensis sp. nov. (type strain, M-5T = DSM 17429T = CGMCC 1.3998T) and Thalassospira profundimaris sp. nov. (type strain, WP0211T = DSM 17430T = CGMCC 1.3997T) are proposed. © 2007 IUMS.link_to_OA_fulltex

Model synchronization based on triple graph grammars: correctness, completeness and invertibility

Triple graph grammars (TGGs) have been used successfully to analyze correctness and completeness of bidirectional model transformations, but a corresponding formal approach to model synchronization has been missing. This paper closes this gap by providing a formal synchronization framework with bidirectional update propagation operations. They are generated from a given TGG, which specifies the language of all consistently integrated source and target models. As our main result, we show that the generated synchronization framework is correct and complete, provided that forward and backward propagation operations are deterministic. Correctness essentially means that the propagation operations preserve and establish consistency while completeness ensures that the operations are defined for all possible inputs. Moreover, we analyze the conditions under which the operations are inverse to each other. All constructions and results are motivated and explained by a running example, which leads to a case study, using concrete visual syntax and abstract syntax notation based on typed attributed graphs