Abstract
The Lübeck Transformation System supports the refinement of higher order algebraic specifications following sound transformation rules. We discuss the system requirements, describe the specification language and explain the life cycle of a specification in the transformation process. The system analyses various properties of the specification providing user guidance for further design decisions. The refinement relation is implemented by two refinement modes covering the different transformation rules for entire specifications and single axioms. Finally we describe the architecture and the implementation of the system. Throughout the paper, we accompany the presentation with a running example.
| Original language | English |
|---|---|
| Title of host publication | WADT 2001: Recent Trends in Algebraic Development Techniques |
| Number of pages | 14 |
| Publisher | Springer Verlag |
| Publication date | 01.12.2002 |
| Pages | 85-108 |
| ISBN (Print) | 978-3-540-43159-6 |
| ISBN (Electronic) | 978-3-540-45645-2 |
| DOIs | |
| Publication status | Published - 01.12.2002 |
| Event | 15th International Workshop on Recent Trends in Algebraic Development Techniques - Genova, Italy Duration: 01.04.2002 → 03.04.2002 Conference number: 102240 |