Heterogeneous analysis and verification for distributed systems

Bernhard Steffen, Tiziana Margaria, Andreas Claßen

Research output: Contribution to journalArticlepeer-review

Abstract

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.

Original languageEnglish
Pages (from-to)13-25
Number of pages13
JournalSoftware-Concepts and Tools
Volume17
Issue number1
Publication statusPublished - 1996
Externally publishedYes

Keywords

  • Analysis tools
  • Automation analysis
  • Component repository
  • Distributed system design
  • Framework
  • Interactive synthesis
  • Retrieval
  • Software reuse
  • Software tools
  • Verification
  • Verification tools

Fingerprint

Dive into the research topics of 'Heterogeneous analysis and verification for distributed systems'. Together they form a unique fingerprint.

Cite this