The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

Walter Dosch; Sönke Magnussen

doi:10.1007/3-540-45645-7_5

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

Walter Dosch, Sönke Magnussen

Institut für Softwaretechnik und Programmiersprachen

18 Zitate (Scopus)

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.

Originalsprache	Englisch
Titel	WADT 2001: Recent Trends in Algebraic Development Techniques
Seitenumfang	14
Herausgeber (Verlag)	Springer Verlag
Erscheinungsdatum	01.12.2002
Seiten	85-108
ISBN (Print)	978-3-540-43159-6
ISBN (elektronisch)	978-3-540-45645-2
DOIs	https://doi.org/10.1007/3-540-45645-7_5
Publikationsstatus	Veröffentlicht - 01.12.2002
Veranstaltung	15th International Workshop on Recent Trends in Algebraic Development Techniques - Genova, Italien Dauer: 01.04.2002 → 03.04.2002 Konferenznummer: 102240

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Dokumente

10.1007/3-540-45645-7_5

Weitere Links

https://www.scopus.com/pages/publications/84893128656

Zitieren

@inproceedings{95ce6ee1ae65450c9b4a261aa3726782,

title = "The L{\"u}beck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications",

abstract = "The L{\"u}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.",

author = "Walter Dosch and S{\"o}nke Magnussen",

year = "2002",

month = dec,

day = "1",

doi = "10.1007/3-540-45645-7\_5",

language = "English",

isbn = "978-3-540-43159-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "85--108",

booktitle = "WADT 2001: Recent Trends in Algebraic Development Techniques",

note = "15th International Workshop on Recent Trends in Algebraic Development Techniques <br/>, WADT 2001 ; Conference date: 01-04-2002 Through 03-04-2002",

}

Dosch, W & Magnussen, S 2002, The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. in WADT 2001: Recent Trends in Algebraic Development Techniques . Lecture Notes in Computer Science, Bd. 2267 LNCS, Springer Verlag, S. 85-108, 15th International Workshop on Recent Trends in Algebraic Development Techniques
, Genova, Italien, 01.04.02. https://doi.org/10.1007/3-540-45645-7_5

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. / Dosch, Walter; Magnussen, Sönke.
WADT 2001: Recent Trends in Algebraic Development Techniques . Springer Verlag, 2002. S. 85-108 (Lecture Notes in Computer Science; Band 2267 LNCS).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

AU - Dosch, Walter

AU - Magnussen, Sönke

N1 - Conference code: 102240

PY - 2002/12/1

Y1 - 2002/12/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84893128656

U2 - 10.1007/3-540-45645-7_5

DO - 10.1007/3-540-45645-7_5

M3 - Conference contribution

SN - 978-3-540-43159-6

T3 - Lecture Notes in Computer Science

SP - 85

EP - 108

BT - WADT 2001: Recent Trends in Algebraic Development Techniques

PB - Springer Verlag

T2 - 15th International Workshop on Recent Trends in Algebraic Development Techniques <br/>

Y2 - 1 April 2002 through 3 April 2002

ER -

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

Abstract

UN SDGs

Dokumente

Weitere Links

Fingerprint

Zitieren