Lipeck, U. Ein algebraischer Kalkul fur einer strukturierten Entwurf von Datenabstraktionen. Ph.D. thesis, Abteilung Informatik, Universitat Dortmund (1983).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....requires a precise definition of the notion of refinement and when a refinement step is considered to be correct. In the following paragraph we summarize the work on this topic presented in [ST 88b] other relevant papers include [GB 80] Ehr 82] EKMP 82] GM 82] Wand 82] Gan 83] Lip 83] Ore 83] and many others. Intuitively, refining a specification corresponds to making design decisions, thus restricting the class of acceptable models. The simplest notion of refinement of one specification SP1 to another 1 SP2 would only require inclusion of model classes, i.e. Mod[SP 2] ....

Lipeck, U. Ein algebraischer Kalkul fur einer strukturierten Entwurf von Datenabstraktionen. Ph.D. thesis, Abteilung Informatik, Universitat Dortmund (1983).

.... [GB 84a,86] to write specifications (as in CLEAR, ASL [ST 86a] or Extended ML [ST 86b] There has been a lot of interesting work done on notions of refinement as well (see e.g. GTW 76] GB 80] Ehr 81] Ehr 82] EKMP 82] EK 82] SW 82] GM 82] Sch 86] BMPW 82] Gan 83] Lip 83] BBC 86] Wand 82] In [SW 83] and then in [ST 85b,87a] we suggested and used a very simple notion of specification refinement which seems appropriate for loose specifications. Namely, we 1 An extended abstract of this paper appeared in [ST 87b] 2 Department of Artificial Intelligence, ....

....SP is implemented by a specification SP 0 via a construction , written SP SP 0 , if SP (SP 0 ) That is, SP refines not to SP 0 directly, but to a specification consisting of the construction on top of SP 0 . This is close to the notions of implementation in [Ehr 81] and [Lip 83] and subsumes most previous notions of implementation in the literature, e.g. GTW 76] Ehr 82] EKMP 82] and [SW 82] since some of these, including that of [Ehr 81] were defined as implementations of one single algebra by another, and some others, like [BBC 86] were formulated in a more ....

[Article contains additional citation context not shown here]

Lipeck, U. Ein algebraischer Kalkul fur einer strukturierten Entwurf von Datenabstraktionen. Ph.D. thesis, Abteilung Informatik, Universitat Dortmund (1983).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC