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.
|Title of host publication||WADT 2001: Recent Trends in Algebraic Development Techniques|
|Number of pages||14|
|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