A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Design transformations are ubiquitous in design derivation systems. Many such transformations have elaborate conditions of applicability known as preconditions. Usually, preconditions have both spatial and temporal components. The temporal (components of the) preconditions are usually specified by associating a dynamic interpretation with the design description at hand. Such dynamic interpretations have a semantic content which is based on interpreting the design description over the domain ofdoi:10.1007/3-540-55179-4_13 fatcat:ehws5mvgejhb5nf4qeikobagne