In this paper we investigate the foundations of a constraintbased compositional verification method for infinite-state systems. We first consider an asynchronous process calculus which is an abstract formalization of several existing languages based on the blackboard model. For this calculus we define a contraint-based symbolic representation of a compositional model based on traces. The constr...

Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasingly support this style of programming, but programmers get little support from verification tools. Ideally, programmers should be able to verify features independently of each other and use automated compositional reas...

This working paper describes a framework for compositional nonblocking verification of reactive systems modelled as extended finite-state machines. The nonblocking property can capture the absence of livelocks and deadlocks in concurrent systems. Compositional verification is shown in previous work to be effective to verify this property for large discrete event systems. Here, these results are...

Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasingly support this style of programming, but programmers get little support from verification tools. Ideally, programmers should be able to verify features independently of each other and use automated compositional reas...

The large-scale systematic variation in nucleotide composition along mammalian and avian genomes has been a focus of the debate between neutralist and selectionist views of molecular evolution. Here we test whether the compositional variation is due to mutation bias using two new tests, which do not assume compositional equilibrium. In the first test we assume a standard population genetics mod...

Compositional language use shows in creatively associating hitherto unseen meanings and forms in systematic ways. I submit that compositionality, as a key feature of human language, is no reason not to see a continuum between human speech and animal communication. Basic forms of compositional creativity presuppose surprisingly little cognitive sophistication. If changes in agents’ behavioral di...

Detailed composition measurements can be a very powerful means of tracing origins, a fact used regularly by forensic scientists and art historians. One of the main motivating factors for making detailed observations of cosmic rays was always the hope that a unique compositional signature could be found which pointed unambiguously to a particular source. This has proven much harder than expected...

1 Marker gene sequencing of microbial communities has generated big datasets 2 of microbial relative abundances varying across environmental conditions, sam3 ple sites and treatments. These data often come with putative phylogenies, 4 providing unique opportunities to investigate how shared evolutionary history 5 a ects microbial abundance patterns. Here, we present a method to identify the 6 p...

The biplot is a widely and powerful methodology used with multidimensional data sets to describe and display the relationships between observations and variables in an easy way. Compositional data consist of positive vectors each of which is constrained to have a constant sum; due to this property standard biplots can not be performed with compositional data, instead of a previous transformatio...

This paper documents the results of in situ analysis of 306 lava paving stones and 74 possible source rocks using pXRF. Data were collected from sites both in the city of Rome—on major roads beyond the city (including the Viae Flaminia, Cassia, Clodia, Praenestina and Appia)—and in the city of Ostia. Comparison of the pXRF data with lava compositional data from the geological literature allows ...