Authors: Doberkat, Ernst-Erich
Title: Generating an Algebraic Specification from an ER-Model
Language (ISO): en
Abstract: Entity-Relationship modelling is a rather intuitive technique for specifying the structure of complex data. The technique is popular in part because the structure of an ER-model is easily grasped, and it is usually supported by diagrams or other visualizing tools. This paper deals with a detailed analysis of ER-modelling with the goal of deriving an algebraic specification for a given ER-model. This is motivated by considerations regarding program specification for data intensive applications. We indicate haw the technique demonstrated here may be combined with formal techniques for specifying the functional behavior of a system.
URI: http://hdl.handle.net/2003/2660
http://dx.doi.org/10.17877/DE290R-15032
Issue Date: 2002-04-04
Provenance: Universität Dortmund
Appears in Collections:LS 10 Software-Technologie

Files in This Item:
File Description SizeFormat 
76.pdfDNB305.66 kBAdobe PDFView/Open
76.ps573.38 kBPostscriptView/Open


This item is protected by original copyright



This item is protected by original copyright rightsstatements.org