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 | Size | Format | |
---|---|---|---|---|
MEMO-SEKI_85-08_Beierle-Voß_Implementation-Specifications.pdf | 7,18 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.