Heterogeneous analysis and verification for distributed systems

In this paper we present an environment for the development of special-purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of application-specific, heterogeneous tools and 2) providing facilities for the automation of the synthesis process. Based on a specification language that uniformly combines taxonomic component specifications, interface conditions and ordering constraints, our method adds a global view to conventional single-component retrieval. Following a user session, we illustrate the interactive synthesis process, which supports the inclusion of a satisfactory new software component into the repository by proposing an appropriately precomputed default taxonomic classification. This guarantees convenient retrieval for later reuse.