Heterogeneous Analysis and Verification for Distributed Systems.
Bernhard Steffen, Tiziana Margaria, Andreas Claßen · 1996
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. 1 Motivation To master the complexity and variety of system-level distributed system designs flexible environments are required, which efficiently support automation, `design in ...