Please use this identifier to cite or link to this item: doi:10.22028/D291-38671
Title: Implementation Specifications
Author(s): Beierle, Christoph
Voß, Angelika
Language: English
Year of Publication: 1985
Place of publication: Kaiserslautern
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: Loose specifications of abstract data types (ADTs) have many non-isomorphic algebras as models. An implementation between two loose specifications should therefore consider many abstraction functions together with their source and target algebras. Just like specifications are stepwise refined to restrict their class of models, implementations should be stepwise refinable to restrict the class of abstraction functions. In this scenario specifications and implementations can be developed interwovenly. For example, we can consider implementations of sets by lists where the set simulating list operations are still left open. They may be refined later on so that an implementation of sets by arbitrary lists, by lists without double entries, or by sorted lists is obtained, differing e.g. in the efficiency of the set simulating operations. We suggest to have implementation specifications analogously to loose ADT specifications: Implementations have signatures, models, axioms and sentences thus constituting an institution. Implementation specifications are the theories of this institution and refinements between implementation specifications are its theory morphisms.
Link to this record: urn:nbn:de:bsz:291--ds-386715
hdl:20.500.11880/35048
http://dx.doi.org/10.22028/D291-38671
Series name: Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI
Series volume: 85,8
Date of registration: 30-Jan-2023
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professorship: SE - Sonstige
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
MEMO-SEKI_85-08_Beierle-Voß_Implementation-Specifications.pdf7,18 MBAdobe PDFView/Open


Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.