A new programming paradigm for engineering design software
Currently available programming and database systems are insufﬁcient for engineering applications. The authors contend that a logical progression from a formal conceptual model of the engineering domain to a computational model will lead to new programming paradigms capable of directly supporting engineering applications in a rigorous,concise manner. A formal domain model devised by the authors, the Hybrid Model (HM) of design information, is brieﬂy introduced. It is an extension of axiomatic set theory and is discussed in detail elsewhere. HM forms the basis of Designer, a prototype-based object-oriented programming language supporting a signature-based canonical message passing mechanism and multiple inheritance. Designer is implemented using the Scheme programming language. Because Designer satisﬁes a formal conceptual model, and because it is based on a formally speciﬁed language, its robustness and logical validity is superior to that of other languages not founded on formal principles.Designer combines concepts of functional and object oriented programming to provide the formal rigor and ﬂexibility to capture the complex and strongly interrelated information that designers use. Examples demonstrate how Designer represents design information. The results of the authors’ research indicate that Designer can capture design information(including aspects of functional requirements and design intent) effectively and efﬁciently.
F. A. Salustri and R. D. Venter, A New Programming Paradigm for Engineering Design Software, Engineering with Computers, 10(2):95-111, 1994.