Abstract:
Applicative approach for getting means for a computer-aided conceptual visualization is presented. We use a term “conceptual visualization” for presenting conceptual information for a visual graphical representation of data in a form of structured and unstructured descriptions of a domain objects and their relations for the best ergonomics and usability. An analysis of wide classes of computer-aided tools for such conceptual information processing is given. The applicative computational model based on a lambda calculus is constructed and means of its support in a form of a set of the specialized combinators providing representation and processing of graphically oriented conceptual data are offered. Applicative character of this computational model allows to offer a method of its further implementation with use of tools of applicative type.
Keywords:domain model, concept, concept dependences, conceptual construction, conceptual domain, type theory, graphical format, graphical objects, diagramming, computational environment, conceptual visualization.