A General Framework for Architecture Composability

Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the coordination between components. An architecture can be considered as an operator A that, applied to a set of components B, builds a composite component A(B) meeting a characteristic property Φ. Architecture composability is a basic and common problem faced by system designers. In this paper, we propose a formal and general framework for architecture composability based on an associative, commutative and idempotent architecture composition operator ⊕. The main result is that if two architectures A1 and A2 enforce respectively safety properties Φ1 and Φ2 , the architecture A1 ⊕ A2 enforces the property Φ1 ∧ Φ2 , that is both properties are preserved by architecture composition. We also establish preservation of liveness properties by architecture composition. The presented results are illustrated by a running example and a case study

Genetic and morphological analyses indicate high population mixing in the endangered cichlid Alcolapia flock of East Africa

Alcolapia is a minor genus of small-bodied, polymorphic cichlids inhabiting the lagoons and hot springs surrounding the soda lakes Natron (largely in Tanzania) and Magadi (Kenya). Three Alcolapia species are present at Natron (Alcolapia alcalicus, Alcolapia ndalalani and Alcolapia latilabris) and one at Magadi (Alcolapia grahami). All are IUCN Red Listed as either vulnerable or endangered. We performed analyses of morphometric and genetic structure on 13 populations of the Natron Alcolapia flock, and one A. grahami population of Lake Magadi as an out-group. Morphometric analyses revealed significant differentiation in the head and mouth shape of the species at Natron. From a genetic perspective, among 70 mtDNA control region sequences 17 haplotypes were found, showing in the minimum spanning network a star-like pattern around the widespread haplotype 2lat. At Natron, there was limited genetic differentiation between the different populations of A. alcalicus and A. latilabris, despite apparent ecological barriers of extreme alkalinity that suggested their populations were isolated. Instead, there appeared to be some population connectivity, with a rate of 0.5-2.3 migrants per generation suggesting that natural factors, such as intense rains or transmission by large piscivorous birds, facilitate population connectivity and maintain genetic similarity. The outputs of high population connectivity and one genetic unit at the basin level (despite morphological divergence) suggest that any human activities that disrupt the connectivity of the freshwater resources of the Natron catchment could further threaten the integrity and current status of these already threatened fish populations