@prefix schema: <https://schema.org/> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix emsenn: <https://emsenn.net/vocab#> .

&lt;https://emsenn.net/library/domains/engineering/domains/tech/terms/implementing/>
  rdf:type schema:Article ;
  schema:url &lt;https://emsenn.net/library/domains/engineering/domains/tech/terms/implementing/> ;
  schema:name "Implementing" ;
  schema:description "Implementation is a relation C implements A — concrete structure C implements abstract specification A — asserting that there exists a retrieve function R: States(C) → States(A) such that R maps every valid concrete state to a valid abstract state and every concrete operation of C is a refinement of the corresponding abstract operation of A under R. The defining structure: implementation crosses the abstraction boundary from specification to realization; it is not just refinement (which relates two specifications at the same level) and not just satisfaction (which is a logical truth relation). Implementation provides a structural witness — the retrieve function — that shows how the concrete representation realizes the abstract one. The retrieve function is the mathematical certificate of implementation." ;
  schema:datePublished "2026-03-20" ;
  schema:dateModified "2026-03-20" ;
  schema:about &lt;https://emsenn.net/library/domains/engineering/domains/tech/terms/implementing/> ;
  rdfs:seeAlso "Refines, Satisfies, Extends, DataAbstraction, AbstractDataType, RetrieveFunction" ;
  schema:identifier &lt;https://emsenn.net/library/domains/engineering/domains/tech/terms/implementing/> .