DocumentCode :
2947868
Title :
A declarative language for the design of structures
Author :
Cox, Philip T. ; Smedley, Trevor J.
Author_Institution :
Fac. of Comput. Sci., Dalhousie Univ., Halifax, NS, Canada
fYear :
1997
fDate :
23-26 Sep 1997
Firstpage :
438
Lastpage :
445
Abstract :
Designing and building computer software provides a model for a class of design processes aimed at producing such artifacts as building structures, mechanical or electronic devices, which have structure as well as associated behaviour. Although visual design tools for some domains have been in use for some time, visual programming languages are a relatively recent phenomenon. Because visual programming languages provide general programming constructs, they have the expressive power that most specialised visual design languages lack, and should therefore provide a foundation for more powerful, general visual design languages. In a program, however, the structures being described are usually processes, whereas structured objects in general may be conceptually quite “non-process-like”. Some programming paradigms are inherently less process-oriented, relying instead on high level specification of results. Logic programming has this property, and treats data and algorithms uniformly. On this basis the authors present a visual language for structured design, LSD, as an extension of a visual logic programming language
Keywords :
CAD; logic programming; logic programming languages; structural engineering computing; visual languages; visual programming; algorithms; building structures; computer software building; computer software design; data; declarative language; design processes; electronic devices; expressive power; general programming constructs; high level results specification; logic programming; mechanical devices; programming paradigms; structure design; structured objects; visual design tools; visual logic programming language; visual programming languages; Assembly; Buildings; Computer languages; Computer simulation; Iterative algorithms; Logic programming; Process design; Software; Testing; Visualization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Visual Languages, 1997. Proceedings. 1997 IEEE Symposium on
Conference_Location :
Isle of Capri
ISSN :
1049-2615
Print_ISBN :
0-8186-8144-6
Type :
conf
DOI :
10.1109/VL.1997.626617
Filename :
626617
Link To Document :
بازگشت