Publication
Hets User Guide
Till Mossakowski
Department of Computer Science; Universität Bremen, o.A. 2006.
Abstract
The Heterogeneous Tool Set (Hets) is the main analysis tool for the specification language heterogeneous CASL. Heterogeneous CASL (HetCASL) combines the specification language CASL with CASL extensions and sublanguages, as well as completely different logics and even programming languages such as Haskell. HetCASL extends the structuring mechanisms of CASL: Basic specifications are unstructured specifications or modules written in a specific logic. HEts is based on a graph of logics and logic translations (the latter are also called comorphisms). With heterogeneous structured specifications, it is possible to combine and rename specifications, hide parts thereof, and also translate them to other logics. Hets consists of logic-specific tools for the parsing and static analysis of the different involved logics, as well as a logic-independent parsing and static analysis tool for structured and architectural specifications and libraries. The latter of course needs to call the logic-specific tools whenever a basic specification is encountered.